(original) (raw)

{"entities":{"Q7239631":{"pageid":7142923,"ns":0,"title":"Q7239631","lastrevid":2233488530,"modified":"2024-08-22T03:31:48Z","type":"item","id":"Q7239631","labels":{"en":{"language":"en","value":"predicate functor logic"},"pt":{"language":"pt","value":"L\u00f3gica do functor predicado"}},"descriptions":{"en":{"language":"en","value":"algebraization of first-order logic"}},"aliases":{},"claims":{"P3827":[{"mainsnak":{"snaktype":"value","property":"P3827","hash":"799a07eb058d57d13f05ba5d2340f58ba7c5f06e","datavalue":{"value":"predicate-functor-logic","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7239631$7A747CC0-EACC-4269-9A5D-EB3DD0C4C6BB","rank":"normal"}],"P6366":[{"mainsnak":{"snaktype":"value","property":"P6366","hash":"1144bd8dfe97a6aeff46ef7f68cebb13e4b8862e","datavalue":{"value":"2039508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7239631$23219089-9F4B-4460-93A7-5AB73931D057","rank":"normal"}],"P646":[{"mainsnak":{"snaktype":"value","property":"P646","hash":"9c3fe21cf47185377997431dc4b2b24de9cf8092","datavalue":{"value":"/m/03hn_px","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7239631$74895487-2102-4455-B44F-BE40571A55E0","rank":"normal"}],"P10283":[{"mainsnak":{"snaktype":"value","property":"P10283","hash":"4f6ebed37259a2f132b15b86ca8d308e11d14534","datavalue":{"value":"C2039508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7239631$2D8D393B-FFD7-49B1-996C-205C43EC3512","rank":"normal","references":[{"hash":"c13ba4d7902ead2693f79396bc25bd35d4d14030","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"4a4f26a5361b5707266e48e425bf2be2f99fd2ab","datavalue":{"value":{"entity-type":"item","numeric-id":107507571,"id":"Q107507571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"435834d08182bb9f3dbe974ba9840af0f12899cc","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}\],"P854":\[{"snaktype":"value","property":"P854","hash":"a4a4bf53f22268815c51ec10fed608da703c9c7f","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}\]},"snaks-order":\["P248","P813","P854"\]}\]}\]},"sitelinks":{"enwiki":{"site":"enwiki","title":"Predicate functor logic","badges":[],"url":"https://en.wikipedia.org/wiki/Predicate\_functor\_logic"},"ptwiki":{"site":"ptwiki","title":"L\\u00f3gica do functor predicado","badges":[],"url":"https://pt.wikipedia.org/wiki/L%C3%B3gica\_do\_functor\_predicado"}}}}}