{"entities":{"Q1223089":{"pageid":1233838,"ns":120,"title":"Item:Q1223089","lastrevid":70356249,"modified":"2026-04-13T14:13:13Z","type":"item","id":"Q1223089","labels":{"en":{"language":"en","value":"An extended joint consistency theorem for free logic with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3501462"}},"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":"Q1223089$8527BDB1-DD68-4BD7-83D0-9384F9A4FF5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2ae0d3ab104d74827923a818ea2232e9237906d","datavalue":{"value":{"text":"An extended joint consistency theorem for free logic with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1223089$689CEE91-B01A-4D2B-B8BC-F2759877B799","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8994604411f29cebeca4c90df0b4d4601ae7ea11","datavalue":{"value":"0321.02012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1223089$70427747-DACC-46D8-8221-CFBFAEB0712B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22f7ff2f43ce936e3ad3d9a363a7384486643f17","datavalue":{"value":{"entity-type":"item","numeric-id":229736,"id":"Q229736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1223089$A3228B44-F61D-4753-B0D8-BB0291468461","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1223089$49AA3A75-DF43-4184-8039-2ED8268DBF54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1223089$E069DB6A-1BAB-4E6E-94DF-23D421B4C4AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1223089$97FFFF44-66B6-40D2-B484-74420F800668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2b2e12785b9ce7afe5d74afd2e64537ed644834","datavalue":{"value":"3501462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1223089$2B5CB797-9BFD-4664-B87C-8C2FD541A6DC","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":"Q1223089$26DD34A5-9929-4192-BC81-92F371665CC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77ca6bc4fcf985cc3ca467d6c0f642d1c0efc341","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093882539","type":"string"},"datatype":"url"},"type":"statement","id":"Q1223089$05244470-DBF1-45C7-A051-AB030D6942FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a4cddec968fd1bac79a0947b6db45a3f80c7730","datavalue":{"value":"W1998346339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1223089$D2453418-7844-4714-A25A-70D17A65F8E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b1dce3ec9a1380dd4aeab8ad94ac74ce75ba69c","datavalue":{"value":"10.1305/NDJFL/1093882539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1223089$0E973873-B49C-4B55-97D3-CDC2E6D9C12A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extended joint consistency theorem for free logic with equality","badges":[]}}}}}