{"entities":{"Q6271319":{"pageid":13408015,"ns":120,"title":"Item:Q6271319","lastrevid":103175927,"modified":"2026-06-06T06:28:10Z","type":"item","id":"Q6271319","labels":{"en":{"language":"en","value":"First-Order Logic with Isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900275555"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6271319$10F01881-3717-4712-B0B0-1187133083B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcefc10613dfba994bca5094600721a8bb07857","datavalue":{"value":{"time":"+2016-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6271319$F92F6DBF-1A82-4721-A0BB-4A62D001D2C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55b1b46e2d14ef2247b6b69bd307b8092bb0173","datavalue":{"value":{"entity-type":"item","numeric-id":1708877,"id":"Q1708877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6271319$C7FCF060-CDB5-4B86-AEA7-2BFF76E1CE2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6271319$9CB6B3FA-F668-403C-841B-6B197ACE157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6271319$1C5F2E89-0141-444B-B7FE-5F3FAEFF54D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6271319$E0DDA50B-6B8D-4943-8D22-F6D2C4477F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6271319$F232631C-830F-4D3A-BDD4-98F8B72FDEE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8df433095e4ef18f2b823f01ed2b3342e1ca3b6f","datavalue":{"value":"900275555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6271319$A607CDB5-C375-462E-AAB5-4154DC8B0E20","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6271319$93E74003-A31B-4B47-BA60-CC0F7722D978","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"9184f2afee6a99455c4f2d5d9437477601c3112a","datavalue":{"value":"https://github.com/dimtsem/FOLiso","type":"string"},"datatype":"url"},"type":"statement","id":"Q6271319$40DEB3B5-82D8-4C1D-A5FB-278E7F15DEEC","rank":"normal","references":[{"hash":"7d457491dd8d2cdefbf8a61c3710f956c7a9b5f9","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"9cd4a3ad34ffaef8afca9789b67d3e6bfca74b60","datavalue":{"value":"https://paperswithcode.com/paper/first-order-logic-with-isomorphism","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"f846dfc57207c7640d2726d8f72d9e8a317f0bcf","datavalue":{"value":"repository README","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-Order Logic with Isomorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-Order_Logic_with_Isomorphism"}}}}}