{"entities":{"Q4000672":{"pageid":6030500,"ns":120,"title":"Item:Q4000672","lastrevid":47070874,"modified":"2025-12-31T14:06:21Z","type":"item","id":"Q4000672","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 54580"}},"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":"Q4000672$C0235B03-9C23-4799-85A7-B1225B4479E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0db359290357627e6be82ddd6b76072abd2f8e40","datavalue":{"value":"0749.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000672$A9E01649-2E98-434C-9954-D3E5F9FB9F82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ffb4cd4ba9b8d2811b95183f6987a2da2bb8452","datavalue":{"value":{"entity-type":"item","numeric-id":1181490,"id":"Q1181490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4000672$87BF9432-6F35-4B13-B5C4-C077B970F430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4000672$000160B4-72DA-4210-B6CF-706E69A2C93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df95783bb34b64e5050f63888f30dbc8cced1b7","datavalue":{"value":{"entity-type":"item","numeric-id":674403,"id":"Q674403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4000672$E9F4F177-FC7D-427A-8DA2-F944CEC20299","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4000672$6EEF30AF-3AAB-48D4-949B-6F1517A7810D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000672$A6B954C9-03DF-4D1A-8FDC-9DABD6A2C9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000672$9563F5F8-1A22-4ED2-8BE3-51DC519F2112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"816583b816b7f69afff6aa8e909171fccb120757","datavalue":{"value":"54580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000672$E688BCA5-90ED-42DB-B067-0C97B7E37AA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000672$670684CC-4ABB-4E0C-8471-6D528B161A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000672$F2C711ED-12B9-4C75-B6EB-3C14EA0BCCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000672$6F9AF852-7AFC-4999-80B0-338C6522E540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3347501b72225cbc8dee051498e1b31bf4d02367","datavalue":{"value":"Gentzen- type sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000672$E0940D5B-BF24-4323-A843-556ACEDE75C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9170346c6552c0e708bbcf2672a7eefe43771cc8","datavalue":{"value":"intuitionistic relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000672$398A78F4-5E20-4305-9FAA-0FE81A67A33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000672$734B2E5A-52EA-457C-82D1-32B9022F59A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3043b95adceef83ce11af7aa5e98a397beb8bb50","datavalue":{"value":"upper bound for the decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000672$D9EEBAC4-F598-4221-B833-CBA011A37351","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":"Q4000672$030E3A27-48E8-4760-A672-4515A5E72360","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66dbc1c7946709f0da84bc648ed0c6a2db12ab65","datavalue":{"value":{"entity-type":"item","numeric-id":1181491,"id":"Q1181491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a85f8e53a0404b63cb70be68bcac0297303d738","datavalue":{"value":{"amount":"+0.7900049686431885","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":"Q4000672$B7F405DB-7F74-48FA-8B37-64BC3467746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963cc027539d7a8bd8b606723ffb0c68eb54a655","datavalue":{"value":{"amount":"+0.7759848833084106","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":"Q4000672$2C3C8AF7-C376-47DB-A342-9FA8F8E59A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c2a5c6256dd6cbca81f795852ca264521fc74","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963cc027539d7a8bd8b606723ffb0c68eb54a655","datavalue":{"value":{"amount":"+0.7759848833084106","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":"Q4000672$64E09429-67A5-4ABE-9534-4FDD1D0E182D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a62867a627535126ec177d2823231939a46aabb","datavalue":{"value":{"entity-type":"item","numeric-id":688732,"id":"Q688732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02f2df815302bcc8beb9124c83153753268f852","datavalue":{"value":{"amount":"+0.7563958764076233","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":"Q4000672$F6CBBD02-497E-419D-8CA8-DCA557F45D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3a8f1d481118bf34f164d7d041c4c6204e25c","datavalue":{"value":{"entity-type":"item","numeric-id":3752367,"id":"Q3752367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5684472cd48a5f172d2417ad3277b40361de57","datavalue":{"value":{"amount":"+0.7560747861862183","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":"Q4000672$C168CD9B-DD2A-472D-923F-D6FE0FFE332A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4000672","badges":[]}}}}}