{"entities":{"Q4247207":{"pageid":6276808,"ns":120,"title":"Item:Q4247207","lastrevid":46831596,"modified":"2025-12-25T16:39:02Z","type":"item","id":"Q4247207","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301971"}},"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":"Q4247207$AF7FEDFD-3DED-46F0-9182-CCB0E3B7120D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be7464cb57ae9a4138e0b2f5f18979ea8f25051c","datavalue":{"value":"0928.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247207$8F04350B-8CFE-4AF7-B450-9114165B2649","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15f5ad04affd3ec6a5d3479f3b92e80895346825","datavalue":{"value":{"entity-type":"item","numeric-id":4247206,"id":"Q4247206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247207$7064EACC-2376-4C03-BC02-617EF333C93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247207$F3691958-44B7-48F7-ABDE-5FFDE4728588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e7b4afc73733724b1d62a948563b59de6d3ef40","datavalue":{"value":{"time":"+1999-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247207$A6D46E68-D4EE-4E2C-BD64-0B7EE36127F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247207$0A387754-5AA8-410D-9C77-F45DFC9CF2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247207$52046B06-E9F5-4A41-A6A6-4006697671AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247207$6FE758DF-7D12-40BF-ADCC-19BAED14273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247207$7BA933C8-8C9E-4196-88BD-944C54017121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f963929fc8c0dbc00e5b9bc99c67bb2bc2a24a5f","datavalue":{"value":"1301971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247207$63CE5FC4-3A23-4D64-BB15-B2590253BC7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247207$34C93F92-7000-4C1E-ABB4-13ADA2953A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5640ab9625f24be28b1d1dfff7d2ed770e1ace0","datavalue":{"value":"labelled deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247207$0F9B0046-69A8-4C07-B742-0F3780C6BF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22cff162781d33f2815edacd2d7489d999852a33","datavalue":{"value":"lean deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247207$58739965-4466-49F6-922C-1D5F453DF103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d13ee08b9e8331935a25de12a67407e360f4422","datavalue":{"value":"labelled sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247207$4CB390D9-FD45-4C31-9E6E-EA44C6146B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247207$20E38E67-FDBB-4DF9-90F2-455A175C05A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a8d0ca3507935ef1e5a1fdb7e941c75b7572d6","datavalue":{"value":"lean Prolog implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247207$A61B1A5D-D380-418E-BE41-3A16DFB36788","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247207$6910D440-8B58-47DB-A26E-CE6FFB10CFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd396a436a0a8d52490e1718a2ab404deb09e62f","datavalue":{"value":{"entity-type":"item","numeric-id":24296,"id":"Q24296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247207$F88A2E2A-FAE1-4D6F-B8A8-26A29FA84919","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":"Q4247207$6584DBAD-3D2C-45E9-8AB0-B9DF7E7BCC10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356d41dd45ed69f938b450469a48358a139f8aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1419387,"id":"Q1419387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7adf08835d1d5665cd4915f4359f60afd9895e","datavalue":{"value":{"amount":"+0.7901975512504578","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":"Q4247207$DE48973C-9E1A-4A8C-843D-AC6C1BDD5A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132cd5e653dc9cd31ecdd8a6ea747c56c20620a7","datavalue":{"value":{"entity-type":"item","numeric-id":1709695,"id":"Q1709695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0f620ef7d4d61c283819853de8f21a3aebcd8a","datavalue":{"value":{"amount":"+0.7834668159484863","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":"Q4247207$B8E574DD-C3C6-47BF-BD29-F0C023C5D391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a395a52c40f95b90f7b04a015f09b44a71cb90","datavalue":{"value":{"amount":"+0.782324492931366","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":"Q4247207$C633F0EE-C7F7-48E3-BCF1-B647BA977FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e859d542ed2f0901b10e16ba773ee3e99e265b","datavalue":{"value":{"entity-type":"item","numeric-id":4247208,"id":"Q4247208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbeb5befcb423091988c762ac31815d96a7e60c","datavalue":{"value":{"amount":"+0.7804273366928101","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":"Q4247207$4156C2D2-3BC7-46CC-AA75-2FB264B346B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247207"}}}}}