{"entities":{"Q3067862":{"pageid":3078578,"ns":120,"title":"Item:Q3067862","lastrevid":51162770,"modified":"2026-01-17T00:35:27Z","type":"item","id":"Q3067862","labels":{"en":{"language":"en","value":"Generic inference. A unifying theory for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835900"}},"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":"Q3067862$D41F8E44-2883-46ED-B94C-D5CD1859A77C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32bf837afa14123b2ca0dbe5a350c05778bd88fd","datavalue":{"value":{"text":"Generic Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067862$AD76DFBD-FF04-45BE-8B19-3878D905676D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae3f3ae199df127112c119988ebf586d254bebbf","datavalue":{"value":"1252.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$DE05897C-2999-4F01-9B45-87964F35B6C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"262fa6788e730031421f022379c6c2e2400a1e7d","datavalue":{"value":"10.1002/9781118010877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$18B32C1A-5F7D-4609-8761-70DC24A95DC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de2ad840e454c667585a91f95e0bf02a8ad5d154","datavalue":{"value":{"entity-type":"item","numeric-id":414890,"id":"Q414890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067862$4F4B60AC-0B43-47AC-9345-70B24BC30951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"421915db1754f2c10104b3c84e8f09b81ed49718","datavalue":{"value":{"entity-type":"item","numeric-id":414889,"id":"Q414889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067862$1D0DF26A-6B06-4A27-88FC-9759FC85AF6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a97c1d6fc2599d06259094f1abb3cc946622f97a","datavalue":{"value":{"time":"+2011-01-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":"Q3067862$55952092-4424-42CF-8EDB-9E2977342A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$7FF99247-FD86-495D-B033-78E82D2B5593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$DBF5BDE9-4BEF-4522-AD7F-2D96A62929B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$4C696B7A-E63C-47A6-8530-E7C2E91FBE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$3BDDCE82-0A51-4592-BE90-C4F9962E3735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$33F2074D-31CC-408A-A3A6-0CC914231C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$75D41FB2-569D-460C-B238-28BB9DFF9930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$46FCFC9C-CE17-4616-8530-933D12304886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b40c2a4c94994497fedbe131372834e66dc2b466","datavalue":{"value":"5835900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$D3FB18C4-A36E-4FE3-959F-6B45312CCAAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067862$930807D8-5531-446F-93FF-A67DBD07F0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067862$906EA140-F007-42FA-BBF9-CEE5652F76C6","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":"Q3067862$39D83D5E-1837-452C-A033-BB0150100339","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f060a94f96094c401a036f4014d1f390793c357c","datavalue":{"value":"https://doi.org/10.1002/9781118010877","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067862$45F6D788-C094-4BCD-AB7E-9654DBF30419","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d850dd84d098b2339596cef9cfd829dd9d470bd","datavalue":{"value":"W4206760595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067862$105DDEB7-8281-4BE4-9C8B-B74651D32EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285ca357bda1e9e720478acde9dd77df614e1afe","datavalue":{"value":{"entity-type":"item","numeric-id":4408097,"id":"Q4408097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84ccdaf99fbee738884f0f7cfb752c11dc31df8","datavalue":{"value":{"amount":"+0.7706018090248108","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":"Q3067862$E538ECF1-1691-43A1-88DA-E3B436B61D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cc9840145fafc0b23cf70f78d0ed48128753f7","datavalue":{"value":{"entity-type":"item","numeric-id":4881605,"id":"Q4881605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5808e2ae7c79f0557b380cadf5cf1db4f09d1933","datavalue":{"value":{"amount":"+0.7664873003959656","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":"Q3067862$6AEC37E5-7228-48D5-B2C2-2036DED85713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69778ccbbb29cd43d003cc08b1408479e3e9491","datavalue":{"value":{"entity-type":"item","numeric-id":3499217,"id":"Q3499217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ebe272f9637c91a083d5cdd21bdffa151eec16","datavalue":{"value":{"amount":"+0.7214258313179016","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":"Q3067862$6312B115-C50C-410C-9F10-0495D297A2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c06313c5c5e0f22f28d1a810804b1c6a50a96dc","datavalue":{"value":{"entity-type":"item","numeric-id":5416752,"id":"Q5416752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec670cb81880c703b7169e5a938461c7cb00b7e","datavalue":{"value":{"amount":"+0.7063313722610474","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":"Q3067862$F583F2F8-59B0-451A-9432-985A5C097F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9ec4ef3bcfb2c18e75b215a833d5435835ec10","datavalue":{"value":{"entity-type":"item","numeric-id":1879778,"id":"Q1879778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bbf7ea7245c18fe936ca20521966a8a733b3b9","datavalue":{"value":{"amount":"+0.704103410243988","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":"Q3067862$955F72B0-FEC9-4D9F-A70D-9ADA6B5B7A07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067862"}}}}}