{"entities":{"Q5738964":{"pageid":7768516,"ns":120,"title":"Item:Q5738964","lastrevid":58598688,"modified":"2026-04-05T22:45:18Z","type":"item","id":"Q5738964","labels":{"en":{"language":"en","value":"Polynomial-time computation via local inference relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729773"}},"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":"Q5738964$7BAAA18B-2E64-4A52-93A6-BDE66FD352B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa29d96528234c1ebb033c9c84a0f199e3bff9f1","datavalue":{"value":{"text":"Polynomial-time computation via local inference relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738964$C4629F73-7CC8-4630-A830-3F23C8C7442A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad98316c4ef04b147e8d53072508efc652c30657","datavalue":{"value":"1365.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$AEC2FC52-CB01-444F-8C67-BBCD9A9879E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab758868b3d7e2e8381f0d48e0544016541ec652","datavalue":{"value":"10.1145/566385.566387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$830C9E54-D979-4C9F-9295-D59491112B7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb5106ba49154afabb9f9946542b2d455346f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1102217,"id":"Q1102217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738964$F697FA75-3B54-4E74-9301-AF34CAA9CCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f84c1abdc6f71bf3212024a04a41bd93ede90bf","datavalue":{"value":{"entity-type":"item","numeric-id":1610710,"id":"Q1610710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738964$0F36CEC3-465D-4FC8-A7A7-1B6C8F1D79AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738964$39530F82-2D08-4028-A2E2-481CAF2CCCEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738964$C59DB242-F47D-4B92-9E80-31B38D6A9492","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c81b7020a302d05ad078b786494386894371382f","datavalue":{"value":"https://arxiv.org/abs/cs/0007020","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738964$7285C9C3-C752-44DE-89A5-043BDA7CD7E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$359F52F9-79A1-49C6-916A-1B58EEF87CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$BD700BCA-399B-43A2-8AB3-F6470A702697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$48EB5457-3FFB-49CA-BBB4-12F73FF5CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$88498D56-99E3-47CE-A67B-50556D186090","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8a6d7999d4a0ff7dbfe504a9daf80be165ba86b","datavalue":{"value":"6729773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$48E03AAC-F3A0-43A9-B03C-A16211DDC258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738964$F7A58BE1-6F24-470D-8FE8-D62607436E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738964$4C88347E-ECD6-4590-A701-6B9CB8E9096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738964$AB659C8C-E2E7-489D-898C-1BD63DBBAE46","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":"Q5738964$0BF568A4-B007-4A03-ACB8-0700C94B48D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97c9b7c0e911853a7261aa653fbb67e5e8ccdac8","datavalue":{"value":"W2151097580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738964$04407CDB-5734-4281-90A1-70DDF11AC32F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece50ca79a1a0539d7bfcff55c16013664880d82","datavalue":{"value":{"entity-type":"item","numeric-id":5958645,"id":"Q5958645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe8d0692f3291e04e4c839abcd21ff68e70f5ee","datavalue":{"value":{"amount":"+0.8762565","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":"Q5738964$5BB73FD0-C480-48CB-9551-EE73F436475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58053b0f9c9591bccf7dd8e76a3ac6b3398e13c2","datavalue":{"value":{"entity-type":"item","numeric-id":4304131,"id":"Q4304131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addc0b8c5745e164a57f0092391e2e5c003dc791","datavalue":{"value":{"amount":"+0.8744219","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":"Q5738964$F04B50C3-CC3B-4F3A-AA47-4F6B9CD7806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7af6e6f2115f82b78b2f21e90f50953efaeea9","datavalue":{"value":{"entity-type":"item","numeric-id":2364655,"id":"Q2364655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ff3937a84d10e5390e96cb0328109db19782c2","datavalue":{"value":{"amount":"+0.8716787","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":"Q5738964$1860FD61-48DA-4E0D-B046-CB9755BFF969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f8ca485fb30bc35e54604e6548852048dc73cb","datavalue":{"value":{"entity-type":"item","numeric-id":4684357,"id":"Q4684357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47027006168a91f57d536fb99a6e65dc8b154297","datavalue":{"value":{"amount":"+0.8695524","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":"Q5738964$64F81D40-1017-46C0-81FF-8706C4DEE49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f7667550558b98dc3cb8ffc54a893a7c13b8a4","datavalue":{"value":{"entity-type":"item","numeric-id":1186606,"id":"Q1186606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbcc3b4e2d6959043f996a671ece8bb7063a2ff","datavalue":{"value":{"amount":"+0.8675714","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":"Q5738964$17238CB3-652C-4CE1-9FEA-CBB067942C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c85214c6893aa6423eadb5a8f3d755e72e01953","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfc9a19444afa87b4d905ec19acb1422f0f6f4c","datavalue":{"value":{"amount":"+0.86549944","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":"Q5738964$AE90EB0A-1FD7-400B-B967-5994227157A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03620465fe12ccaa024596240620d9be60a2953","datavalue":{"value":{"entity-type":"item","numeric-id":3347297,"id":"Q3347297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d4c5722f0a64f49acb94c7102853bef512d3d6","datavalue":{"value":{"amount":"+0.8642508","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":"Q5738964$CA69DFB3-89CD-4399-B375-E54549E0B4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12c271a82b39c9dd208afb47c3810759329abe4","datavalue":{"value":{"entity-type":"item","numeric-id":5747634,"id":"Q5747634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f9ac1a0c2edc355ce579d5c8804e06096a6182","datavalue":{"value":{"amount":"+0.8614025","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":"Q5738964$77F08DAE-8F37-4DDC-A51C-CF3179E02737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f7881f86f308faed7549e24ff0faacd18739f7","datavalue":{"value":{"entity-type":"item","numeric-id":3758805,"id":"Q3758805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1155facc5fbff85b5b77278e35d8bac2b325c2","datavalue":{"value":{"amount":"+0.8612158","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":"Q5738964$07E13D4F-314C-4DDC-85E0-5062BFF291EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738964","badges":[]}}}}}