{"entities":{"Q3786473":{"pageid":5816379,"ns":120,"title":"Item:Q3786473","lastrevid":52646810,"modified":"2026-01-23T04:36:48Z","type":"item","id":"Q3786473","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049622"}},"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":"Q3786473$C6232499-9291-42AE-9FDA-4AE82B34AAB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4566ec7cd0924b366aad3dbad6a1b311c34e14bc","datavalue":{"value":"0644.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786473$6AC086A0-812F-4FDD-91CE-692C37AB23B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3786473$73CB6F6C-6A90-4DCC-9056-989B1C46CEFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786473$E2BEB62F-3D87-4C89-BE91-E0C4971594B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786473$F5F7AC08-98E7-46C0-8456-B69A47EFCE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786473$B900DC56-265F-455A-AC93-2251B88DF425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786473$060AF0B4-651F-4742-8DC6-FE15823F83EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3adf6ce56d1d4ad71bda8a09eeec775557402fe4","datavalue":{"value":"4049622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786473$28E85EB7-A5C9-4F0D-872D-C21739ACBA55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786473$D8C35129-26DC-440B-A0D6-112F7AB7322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9500644cd73e6189963179221a14c03a4fe9447e","datavalue":{"value":"natural language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786473$A67420FC-8C18-4305-9AFA-D8635D46D810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786473$EF9643D9-0D16-44C7-93A1-063142BEED53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3826f57bd1d1cf0624e9a1b2bf2b70c8d5dbc56d","datavalue":{"value":"negative resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786473$959042ED-8995-48A5-AACF-DD93B30ECBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786473$32E3CF37-88D3-4989-8BE1-6D229966E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0098f79e219a024d53c4d90782c20df204369268","datavalue":{"value":"PROLOG-style proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786473$A215889F-3021-4CC7-9636-A0645BE3E4B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3786473$CA46F410-2BB4-4BA2-A850-B2AE5F45CBAD","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":"Q3786473$DE37DF3D-32B4-40E5-97EE-5784F0DC5D79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd15a6c56eeca4e595d4102504ead771a6a0806","datavalue":{"value":{"entity-type":"item","numeric-id":1102939,"id":"Q1102939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20870989144d35a1d139fc4508a12bea1d4b442","datavalue":{"value":{"amount":"+0.8556971549987793","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":"Q3786473$4B0B2F7C-32C3-43F7-BFF2-71EC01423488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba17f946120dde62b5a9d8694354763163071c71","datavalue":{"value":{"entity-type":"item","numeric-id":3991300,"id":"Q3991300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee19c40d4324218760026b00e5504b63d5f09213","datavalue":{"value":{"amount":"+0.8186683058738708","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":"Q3786473$81C32CC2-2CAB-4FB6-8913-492E695B1E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d587876b91d472fd4b5ff6ca995ece17ef9fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1332639,"id":"Q1332639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee19c40d4324218760026b00e5504b63d5f09213","datavalue":{"value":{"amount":"+0.8186683058738708","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":"Q3786473$E4FF287D-C75F-4AE5-882F-D0E30A824C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4860b701413033cfe1baf6d2679d3eefaffeea2e","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a527871b7c97b8c1db7d1159415a10925e5201","datavalue":{"value":{"amount":"+0.8161249756813049","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":"Q3786473$ADE289DB-6DFF-468E-9CF1-738158453C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dba41dffe7367c1e3d54ff51e796262123535a7","datavalue":{"value":{"entity-type":"item","numeric-id":4264725,"id":"Q4264725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b2d886819598894723d6338fece39bd7138980","datavalue":{"value":{"amount":"+0.8136960864067078","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":"Q3786473$5436F766-6339-4FEB-B8DB-E92B3CC5F6B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3786473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3786473"}}}}}