{"entities":{"Q4649561":{"pageid":6679142,"ns":120,"title":"Item:Q4649561","lastrevid":51601706,"modified":"2026-01-19T00:42:16Z","type":"item","id":"Q4649561","labels":{"en":{"language":"en","value":"Two-variable universal logic with transitive closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109847"}},"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":"Q4649561$B17D56C1-7803-48F4-B4AD-739797E9A7DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76a5d682f3982758162f71a761cd616bc45f5353","datavalue":{"value":"1252.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649561$05F1AD4A-6B12-4A3F-8D0B-745B9B149ED2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649561$531E4D98-FBA0-414A-BF2E-CBEFED2BDDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649561$74EA658E-75FC-4B1D-ACA1-D8961032AAF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649561$A7A9909E-6AA1-4003-8044-68CFF1BF9BEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649561$B76DAB75-D975-421F-AA3C-A46C02531319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649561$7CA11F0E-F8B2-4478-9E1D-38772D38686B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649561$91BC1E13-1EAE-4AF2-8318-77A27B1A1E8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab7c157a7b4723f332a03c5eeb144f5c1f7f6807","datavalue":{"value":"6109847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649561$6520B1C6-93DF-4A32-917E-3CE6CDB886E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649561$C519EAAD-F411-4C96-9D9C-3955E9851491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649561$64DED618-2036-43F4-8301-28A3C630A015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649561$CED12164-397D-441C-8AA9-E94B552C02BB","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":"Q4649561$5925015F-9E06-4B61-A2D6-D76FB6F98E8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ffb9a5dd32a0575aedbd8686471c256ae79579d","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2012.396","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649561$9D66C8C7-F8F9-4663-8615-103D9CF3BA38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a45c9bc79e29339d483b6be7f7aa6e56ee0a5278","datavalue":{"value":"W2258592034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649561$26A67387-FC3F-4644-924B-DBB9EF594F35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b832f3f2cc80243ed7b57914e9f0cc9f89bdb738","datavalue":{"value":{"text":"Two-Variable Universal Logic with Transitive Closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649561$1FBACC62-734E-46DE-A695-379F63219474","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1baf58f17cbe40e0a34ec7a6b86716cd6fd48b8","datavalue":{"value":"10.4230/LIPICS.CSL.2012.396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649561$4EAD33AF-A3E6-4490-BB16-AFACFD4EB686","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e5f74fd2d88b826f67efccc16a579722b7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976e46fb21e76c43d876761bb0ac8fabf48c0eab","datavalue":{"value":{"amount":"+0.8384053707122803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649561$9C2626AB-4557-40BE-B64A-ED9448FE64FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1794f4d181ff9292adc21e3e99cb9b0446c1496","datavalue":{"value":{"entity-type":"item","numeric-id":4635613,"id":"Q4635613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c6ef64941ba3c67ec406def1cae154680ffb27","datavalue":{"value":{"amount":"+0.8377806544303894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649561$9C79C1A9-749B-4592-BE51-4C6B918287F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9577de63a82711088442928b38a8d0d6c54658cc","datavalue":{"value":{"entity-type":"item","numeric-id":5212557,"id":"Q5212557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5649d27666c4f7c458e71736f4d804927bb46406","datavalue":{"value":{"amount":"+0.8362804651260376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649561$B7E54441-1021-4794-8D0E-E6F7162DC7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb91c7c455bd925b700a558521cf05483beb60e","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa49a6fe5c928675b45763d6462b6c0948cf4e7","datavalue":{"value":{"amount":"+0.8112414479255676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649561$A4C86638-D00D-4289-89F6-A69EFE66C8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56dd684016184938d6ac97cae8cac93f07a7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cecf0bd4d5f0881ea28e385109502cf57655bd8","datavalue":{"value":{"amount":"+0.8109309077262878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649561$A5D95A5B-6CBB-4F38-820A-B493E14A8B1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649561"}}}}}