{"entities":{"Q5286164":{"pageid":7315738,"ns":120,"title":"Item:Q5286164","lastrevid":46345326,"modified":"2025-12-24T14:57:03Z","type":"item","id":"Q5286164","labels":{"en":{"language":"en","value":"Automatic recognition of tractability in inference relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223630"}},"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":"Q5286164$64429733-30CE-4F53-B882-F9A8C359E9F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79312cb0932f532327c5b43c4189b3614e3345b7","datavalue":{"value":{"text":"Automatic recognition of tractability in inference relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5286164$9DC789BB-0CF3-4DF9-A6DC-695EEC96F6AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48bfa475ed7cff98d892ebcc7b4b6e9339eddc08","datavalue":{"value":"0770.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286164$4017EF2F-3CF2-484F-A9D8-63077D0446ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b82b84d1b77a806bdf3c98d16bce5eb55f8712cc","datavalue":{"value":"10.1145/151261.151265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286164$A25F8043-D9E6-4050-9A5E-841FF47FDBE2","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":"Q5286164$08714D35-8D63-4F32-90C6-2B2B9B80831B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286164$E2E6C09E-0320-4F29-88A3-282989740F01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5286164$5A46BB7B-F14E-4EEF-BFEB-6DEAA791073E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f62a25956d3744047c8fc6bcfcf18a9ed64fabc","datavalue":{"value":"http://hdl.handle.net/1721.1/6528","type":"string"},"datatype":"url"},"type":"statement","id":"Q5286164$F415037E-1054-4FFA-972D-E138A67ADDB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286164$41911529-0476-4AE0-9F24-3DD6D06C04A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"525b09b0d5073f1e8c14016b996ce30d69796e28","datavalue":{"value":"223630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286164$DC1CBF6C-7936-4F5F-87CD-68AA4F3B6104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$21F4CB30-9720-4867-BAE2-FF21AB4D7B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$986DBE9C-D6FB-4122-86D7-6D0C3996D1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$6E0E8036-9B72-4E1F-8477-CF7193C9F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$F47AD60C-AE36-451A-A5B1-0F5E1449593A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c120614ad5366f1665c44f83eae006991bb0a3","datavalue":{"value":"machine inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$3396349E-41B3-4EB6-AF7D-8C2D8C2DCDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2363d166b5b9fc791a0d6228cc5a474e45585fdd","datavalue":{"value":"polynomial-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$FD49CDBD-71BF-4247-BEE9-7B5D606D55DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$8BF7973E-A46D-41F8-8AED-7704E858629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$89285657-BEC7-4C0C-A5EF-BE4C8F643520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$99C2A834-6541-48FB-9D80-46A6F6CA4C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286164$EC0E4094-0B09-45C8-80AA-6228367DAF57","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":"Q5286164$99589D9E-CBBB-4ED9-8046-3CC0FE4FE5EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62c0bf43292c19047153ebc0bab7498d5ac9ce74","datavalue":{"value":"W1973745704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286164$4D37B229-3D9E-4A17-8A5C-B3EB3DB7BD5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9427b33686316205e4e51e21e17ab29158fabb31","datavalue":{"value":{"entity-type":"item","numeric-id":5738964,"id":"Q5738964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"940d56c7729e1df22b45d23338561bf29680c247","datavalue":{"value":{"amount":"+0.7576653957366943","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":"Q5286164$3342FBF0-587D-4DA4-9E01-ED28F273F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9480238db18ae8a6b8a4d67cb64eccbd150478","datavalue":{"value":{"entity-type":"item","numeric-id":4928430,"id":"Q4928430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4fd5ddaed7b2c211e141b519ac4a30d072d519","datavalue":{"value":{"amount":"+0.7574211955070496","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":"Q5286164$09588FA4-A39F-40A8-BF2D-90B29DC10DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f304525eb9a0f02204a977071a4d16810a50d3b8","datavalue":{"value":{"entity-type":"item","numeric-id":4228078,"id":"Q4228078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cb0158ec89200958123ace7ea22e565f24ef41","datavalue":{"value":{"amount":"+0.7431620955467224","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":"Q5286164$1069E48D-73E7-4995-80FD-49693E6B24F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4614b9bc4bf2c4d2bc0b5dc69d60a62b1d58b4f3","datavalue":{"value":{"entity-type":"item","numeric-id":1978251,"id":"Q1978251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a3106e506d73ff683c11b970ca6a3921f948d0","datavalue":{"value":{"amount":"+0.7412428259849548","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":"Q5286164$719F743C-2109-4562-BB89-80AAC195DFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c438a58924de2b8232c8e42a6dc014b3d28531","datavalue":{"value":{"entity-type":"item","numeric-id":5286163,"id":"Q5286163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07010a729d8a1416783f9aec696338b5cf3ad6f4","datavalue":{"value":{"amount":"+0.7368190884590149","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":"Q5286164$B15C5E55-D66A-4F9E-9879-22B11C7C85DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5286164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5286164"}}}}}