{"entities":{"Q3747756":{"pageid":5777662,"ns":120,"title":"Item:Q3747756","lastrevid":51016754,"modified":"2026-01-16T05:40:04Z","type":"item","id":"Q3747756","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3984612"}},"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":"Q3747756$ADCD5A44-51DB-4B45-86D6-47D8460020C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efd0828782e246f7e1d0a1d8db7545d39cedd492","datavalue":{"value":"0608.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747756$E5E758B8-A012-4764-AED1-507B2FAA38AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8dd0fbb0add201b4a8af613ce7d4cffa930655c","datavalue":{"value":{"entity-type":"item","numeric-id":439009,"id":"Q439009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747756$65BAA00D-ED6E-4A0F-AFC7-8E2709686D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bacf5847130dc014c6b834dba539acff3ce3d716","datavalue":{"value":{"entity-type":"item","numeric-id":300232,"id":"Q300232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747756$349BC417-174B-49EB-8973-283DB07A2EDE","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":"Q3747756$BD90608F-94E4-467A-A640-8160118F675E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747756$1CACBB9B-6FE1-4272-B5AB-E1CC2F73620F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747756$AA12A1CB-C12A-4438-9014-1352A5E660C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd8a371afa6885913a685ec1e84c9dc727eb971b","datavalue":{"value":"3984612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747756$5B108226-821E-4490-BD02-35AEAA02FBC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4580d85314f4d41fec54dd958fb60ba099813654","datavalue":{"value":"potentially askable signed predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747756$64DFD11B-3478-42B7-AA6E-4ED251D5AD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbaff1495642de8598f3b78d119650f753c0ece3","datavalue":{"value":"potentially relevant signed predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747756$227381E8-5D38-4877-A872-F67615CA0952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39af061253fa249bb297e80a2e1e2e71799a2089","datavalue":{"value":"contrapositive of a clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747756$5CBA1237-775A-4F7D-AE4C-7E6F40F60C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d37172379c4c170317948993450371a44c593b8","datavalue":{"value":"Prolog-like proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747756$A57E310B-11A3-4F87-909A-846F42BFC355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"710f22b341a3948e2296d6905bae481a64732faa","datavalue":{"value":"subgoals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747756$F72D457C-D2DB-4194-9A81-BF3AB0EDD10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898c74b82a6f4c23533a915b46f9829db027913a","datavalue":{"value":"non-Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747756$E1BB4AB1-A33B-456D-A3BF-894A6E82F69A","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":"Q3747756$A5377C0A-9C0D-4071-B939-2D725AFEF84C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c4a58b2be2c4e14cd223db74433f621985e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3745320,"id":"Q3745320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2066e4c90b2bc1e1475fd0e6312b90ffdb3a8779","datavalue":{"value":{"amount":"+0.8305769562721252","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":"Q3747756$5623E3C6-605A-4895-A2BB-66EE5DF4295B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f6e2b58fbbbc9db53d07391978107c99cdca8c","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f34fc5535f47a08f98b31d56a5cad5a0d12b82","datavalue":{"value":{"amount":"+0.8057420253753662","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":"Q3747756$72656AD3-E0B8-4368-985A-5ABFABDB62A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c28068448cc63f83492dd660702628258744d6","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03a858c002d0267cfa35b6969a012c31a6d56f2","datavalue":{"value":{"amount":"+0.8038954138755798","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":"Q3747756$92A36C89-B140-42A0-B8F8-1C58259759AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d851d4662bddc8b2adbf26026425e30a516aef","datavalue":{"value":{"entity-type":"item","numeric-id":4492860,"id":"Q4492860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba08f4a277a509a75820dc4c5a487c97c5cb913","datavalue":{"value":{"amount":"+0.8038424849510193","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":"Q3747756$1345F724-3699-41E8-A245-30E31BA4B078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e29c8b0ed7758f646542ada42e9696456e7142","datavalue":{"value":{"entity-type":"item","numeric-id":4211444,"id":"Q4211444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25527910e3abffa7dc8df51f38dd4c2962a9f3e8","datavalue":{"value":{"amount":"+0.7983470559120178","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":"Q3747756$F7E60048-065E-4579-B1B0-F1C070BB3105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3747756","badges":[]}}}}}