{"entities":{"Q3003264":{"pageid":3013988,"ns":120,"title":"Item:Q3003264","lastrevid":45234016,"modified":"2025-12-03T14:35:28Z","type":"item","id":"Q3003264","labels":{"en":{"language":"en","value":"Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900005"}},"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":"Q3003264$45252F4F-D0FA-42C2-8157-BF95565DC088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ee4c238a675350a61794d0e77a3fa1505f481d3","datavalue":{"value":{"text":"Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003264$8D701EF4-56FF-4EAE-9837-5B93BC0C89FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87ab7f6323ebfa9bff1db39f6a7468fb39b355f3","datavalue":{"value":"1327.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003264$2584A0A2-C5EA-401B-B042-A0A47A9E51A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7303f67449a6417bc7eed57820ab122f09f39205","datavalue":{"value":"10.1007/978-3-642-20895-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003264$64849E15-4AAE-44AC-A099-821986881057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04bec051d04b3524f670265dcce325e94b5275b8","datavalue":{"value":{"entity-type":"item","numeric-id":2296764,"id":"Q2296764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003264$7BB866B8-722D-40B7-AB00-19F77AAD69DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003264$37F7A22B-0E95-4D9F-8774-38693AEB7CB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003264$9C1EF8B3-BB5E-4CC4-9427-EAFCD4DE48C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-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":"Q3003264$8CAE6B9F-367F-46E1-AC5C-34D00086E877","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003264$44F54236-F05E-4AD7-B660-D2E155A282B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003264$A3D6B712-BE62-4F3D-90CB-2ACD1406C335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93f4a46a00bb0eeb121b7fa585ec6553b4e0b432","datavalue":{"value":"5900005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003264$9EB72447-8A38-4BA3-A202-417C9AD46BA2","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":"Q3003264$40E02339-38CF-471A-A946-5E38B411D851","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe21a0009bc182d2de385b6912d96cdc52de2d29","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20895-9_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003264$2A68BFDC-1F56-4521-9DAB-71A0CBB464E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"862c8f0230087baa5fc8fcb3c7c47d242e9a68a4","datavalue":{"value":"W1566498025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003264$8284100A-0EB9-40E8-A60E-E27E479F62DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f9ea99facb96ca31c1bfc054548b5f88dbe53e","datavalue":{"value":{"entity-type":"item","numeric-id":3830973,"id":"Q3830973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb663aed487bd94f24edd87f9d3be8847afa1a1","datavalue":{"value":{"amount":"+0.90456915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$68AC980A-DD90-4740-A876-D73F065BFA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea3aeea95115335e31eef1ed55eaca89186065e","datavalue":{"value":{"entity-type":"item","numeric-id":5092560,"id":"Q5092560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0eea6c40d8558787940c2f24206d3ad64e6a8d7","datavalue":{"value":{"amount":"+0.8919954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$0D612125-E187-4242-AF0B-6029B0060CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1179168ea748bad64e061b90599e7cecbbb4c3","datavalue":{"value":{"entity-type":"item","numeric-id":5241521,"id":"Q5241521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d068bb1e8ee1cded4c3b7eaaadbc07e484e0f3","datavalue":{"value":{"amount":"+0.8784034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$87EB8E23-A34A-4677-913A-2B18F3D07AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8142c2ad0f8c237969f6779318e8c01ebb2234","datavalue":{"value":{"entity-type":"item","numeric-id":3281055,"id":"Q3281055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599ed40b5a29f5420aa430eb3da1c252c9bb3dd6","datavalue":{"value":{"amount":"+0.8669266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$50EEC86E-888E-4D00-9AF4-62D98F8642B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6477bb7ae0f56e0049c1d2833cab82000ca131","datavalue":{"value":{"entity-type":"item","numeric-id":4009140,"id":"Q4009140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d969bfaaa847015b7425073161534eec47af4d","datavalue":{"value":{"amount":"+0.8664539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$3FEE2EDB-3660-46F1-A850-7CA49755F119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffcb92eef2acd46d07bcb1bcef5809f45e36607","datavalue":{"value":{"entity-type":"item","numeric-id":1893137,"id":"Q1893137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2461c0107f75232b19fb859ed7565251cc254f23","datavalue":{"value":{"amount":"+0.865762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$40D27D5D-8535-450E-944D-B864068D09D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583e8f05f24a712b989d1f165c33bb66f501606b","datavalue":{"value":{"entity-type":"item","numeric-id":5241519,"id":"Q5241519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9936261a34bc33cbd941f43043ef7e7b5dea4663","datavalue":{"value":{"amount":"+0.8616273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$FD380043-8B0B-4650-A165-E9B8040556A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73dee90f83dc4dbcec4920338ed6915842e84d1d","datavalue":{"value":{"entity-type":"item","numeric-id":5213770,"id":"Q5213770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece2a8abde8be854ca978b0797b438de6b09c747","datavalue":{"value":{"amount":"+0.86015403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$527871F6-7429-4E5B-AFFA-37EE7CF98861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b6bbbd84cd459aa19e2fe7abee03ee846af9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4542600,"id":"Q4542600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547055a98f1c44b9278ca28b6c128007a4e649fb","datavalue":{"value":{"amount":"+0.8600043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003264$EC454B2C-D084-4FE9-AA67-B6FF3BAD0AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003264"}}}}}