{"entities":{"Q3147430":{"pageid":3158146,"ns":120,"title":"Item:Q3147430","lastrevid":47988916,"modified":"2026-01-03T07:00:29Z","type":"item","id":"Q3147430","labels":{"en":{"language":"en","value":"A Resolution/Tableaux Algorithm for Projective Approximations in IPC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1802999"}},"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":"Q3147430$E656A0DD-C2E9-426A-8FB8-43D8829CC366","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8833798a5a09411e7d06e5279b9d972e9dfe184","datavalue":{"value":{"text":"A Resolution/Tableaux Algorithm for Projective Approximations in IPC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3147430$3F15C9BF-C599-45C6-9611-0DB4D48B3DBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c50b72ce27371f96e820e7b3027ddaeb89bbd0d","datavalue":{"value":"1005.03504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147430$EEC62F25-6702-40AB-A429-1905DF241225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147430$9091004A-8F28-44BE-94F6-81D23258548E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6dbb53951f919290e376175da236c1c966ab3f","datavalue":{"value":{"time":"+2003-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3147430$DE641350-A239-45CA-95DB-4D94BE19F2FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147430$F9B5319C-7993-4A0C-B3D0-88137EA6CF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147430$19B919A4-ACC3-41A0-B82C-BEE7E40ADA2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c23343c95bee131d7a9ed0050af77e69b3cc4a5","datavalue":{"value":"1802999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147430$9985A777-F51C-4477-8688-55E2B221AB3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcf84584bad3fe3604d99501f4fec1b7404f6c2","datavalue":{"value":"E-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$97A836CE-4BC9-4964-9DC8-BEC9B1442BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c37ac9e8a9dae9e4378a9f4d0d66af7903a2ef","datavalue":{"value":"exact formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$62169552-87EA-48BD-9EEA-19FACBC95197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$C49EED22-B3E3-4DE2-AF93-2A87B307585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$D692BB46-92FA-4A47-A0F6-3370CF311851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$9176D873-8A8E-4FD8-9D19-629CA5F0E314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6970e425d71286d699e2892426c6182c72cfbeb","datavalue":{"value":"projectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$9D6AB24A-C7A4-4D5F-812F-31984FA26B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$3BFBBC3A-AAE7-4A6E-83A2-D6099D14692E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c9ebf6dee0432f1be284bf953b424edfc4cb84","datavalue":{"value":"projective approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$F2A07230-AEC4-43D5-A607-80CEF4B653A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$013D8773-5FFA-4408-A7B1-B8102553BBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$8B38903F-4E42-4119-8CB6-2EAB3146E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147430$37B356A4-BB58-4B1B-9357-A9D0BF5090CB","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":"Q3147430$58228FEF-7CB5-4ECE-A6B6-FBDCB10A1B64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"495e08c0bf0345b3584e7603eb120994c6aa169f","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.3.229","type":"string"},"datatype":"url"},"type":"statement","id":"Q3147430$8C20C8D4-EBE1-4F87-9E9C-91B40BD7FC48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8393366250b91d4b30dd2fed46d52e17040cc90c","datavalue":{"value":"W2075172817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147430$9880F7D1-BDF0-446D-87AA-2E09A5A67BB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b39715b899831bc2459e920a296939b8e745fa89","datavalue":{"value":"10.1093/JIGPAL/10.3.229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147430$76854100-F7A4-4502-9A90-F132F23E8325","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147430$C5D42D61-D68A-46A2-9085-A48047C30C81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844acb5474afc3dc69be1de38f918432d0ad8341","datavalue":{"value":{"amount":"+0.7307769060134888","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":"Q3147430$1E7589EB-0D11-4382-A22B-2A60016044FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a4f0a94e2fb2f6a34831e40611e049f8bb7ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3435230,"id":"Q3435230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5276271d210f299aad09abbafb9b08c867bf7782","datavalue":{"value":{"amount":"+0.7258148193359375","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":"Q3147430$92B0228A-96C1-4C91-B000-5716C02F21BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a869dec8bfaaf08a0d71340913ca9a032bff115","datavalue":{"value":{"entity-type":"item","numeric-id":5292641,"id":"Q5292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e422b30eb5c14ce291ce5da15e66c025fa5e9c8a","datavalue":{"value":{"amount":"+0.7243436574935913","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":"Q3147430$2561D217-21AE-48CE-AA4C-B43B39C5E496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeec50ecc56ce7c62b439ac57efd4fcfeee2134c","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24b4c3452f1eac6addc8b0a449d2840bdec61f1","datavalue":{"value":{"amount":"+0.7139694094657898","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":"Q3147430$08F120FB-F7BF-45A2-B6C6-5217C872B386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f07adb79d287443d839a696210660b41f5b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3832245082187ff5ba3226355d2a56fecc94c6","datavalue":{"value":{"amount":"+0.7102546095848083","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":"Q3147430$3B8A71CA-9C96-475D-A4C6-711124EFD246","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3147430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3147430"}}}}}