{"entities":{"Q4296747":{"pageid":6326348,"ns":120,"title":"Item:Q4296747","lastrevid":47253136,"modified":"2026-01-01T03:34:46Z","type":"item","id":"Q4296747","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 592368"}},"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":"Q4296747$6D4A064A-AD61-460F-9915-3C98B1062C95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf5d340cab7366cba0c0bcd0e337ac6ea3e7d9ac","datavalue":{"value":"0810.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296747$69D96F0B-0F4D-40FC-B181-F01032DD146D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c3e8bed26a38bce4b97109a71dff8ee2d6ff2c6","datavalue":{"value":{"time":"+1994-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4296747$710B688E-C62F-45FB-9061-F288781D6709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296747$75FB853D-2281-4A09-9C12-E406A0511FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a76f5cf4e9b65d085145841490fc2f7aa5f0bff","datavalue":{"value":"03-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296747$24118733-7A6C-428E-BB73-030483DC4BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296747$31D20703-3105-465C-B4F2-F41CCD77A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296747$CBCEDF14-0F1F-4EC6-9E32-AF5833D94AAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5ded31eef66914110a5d13557c19b667839b5e1","datavalue":{"value":"592368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296747$013A0523-8418-4FD8-B71E-F7344D6FF068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$1959E182-9EB7-440D-BCA6-E8B000903CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716036f9c770a47ec609d1e6cd7b18b459df64f5","datavalue":{"value":"Artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$48585C34-72E6-46D0-97F4-1B67C91B687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$83B71B0F-DFE6-4336-BEBE-CE2EBD0F5A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a4809dccd53001afb70dd135f0c454eb74603e4","datavalue":{"value":"Deduction methodologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$23DE495A-3B8A-4542-BE16-1CD727B4FA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$2060EA3D-9F36-4E77-92CF-E7F4A7AACA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$CDCB0AB7-1CDD-4EC1-A0C2-D6CD55B1CAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$276DA934-8036-4C7C-8963-73F6EB071AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a9aad94c49ea5d32c929e30e29d3d78e680844","datavalue":{"value":"clause language paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$494AA9A0-3C01-490A-BD63-042730D1DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$5ADB6167-7172-4BF3-8C3B-10DBFA994806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8f7cf4bd6cb27dbc52d5a3cc04084ec20f6119","datavalue":{"value":"admissible specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$CB35B994-398D-4FDE-8690-0CB1335F59A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e20713e55f944e0075866930e6186fb444bcf9","datavalue":{"value":"termination of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$7BBE1123-38BD-44A7-AACF-13CD276454AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a55c2247f1ec1afae79380a28ac8b326571bcfd","datavalue":{"value":"self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$97949103-22CB-4F73-AEE1-117888A9181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9043c7a4b3d72754e6297ab4230a16aefcc687","datavalue":{"value":"nonmonotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$35F44905-B87C-4BA9-AC86-4B032485C98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5626ee78af559ac41eae44f982bdd7f481fdabe","datavalue":{"value":"reification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$6056A1E8-395D-4EBA-A0C8-5765A107B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9a94e307208a7857ce005e4a6e4429db81935ff","datavalue":{"value":"intentionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$95516FFF-9DB2-44FE-A5FB-A151205ADCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb99a8d22948509b5a72059754cd94e50671be04","datavalue":{"value":"meta-language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$7D3159D4-70F3-4396-A38D-AB0621CCFA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$6B760A22-D25B-42A4-8CD4-F13AB7F69CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$4704A729-C7F0-49CA-B46C-85463B49E0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3694e77c2491611bcb071081f2e9c1b67f60e72","datavalue":{"value":"meta-logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$6565427C-60FF-4AD9-A60E-152DE823B91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80116b14515a5f430d1a9b70bb267a25df3dde9c","datavalue":{"value":"universality of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$D660B43B-E102-4A17-951F-883D7354D867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d0d50189fb562686511908481462c9a90689c0","datavalue":{"value":"logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$6DD0DF5C-97E6-4E03-B6F8-62EEC59C0F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$F89E6AAE-1E82-4C3B-98DB-96DD4A985048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4e5c7ee986ed76d9e0ad2677fd1e997d540e87","datavalue":{"value":"priority logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$34BD396C-82E1-402F-9265-7B39F0D2FF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19049eaa3f034cce838b708453553f3e8bd7cc4","datavalue":{"value":"labelled deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296747$0FB91985-CDBA-47E2-8B9D-5A850E4DBAD8","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":"Q4296747$2A923A2E-9B21-4E45-A9E8-DC5A69582E64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430c2e4ba5d48dd6379297c895898a248d488d53","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b6abd6f407fed2776c7525d0fd5f690e152d5e","datavalue":{"value":{"amount":"+0.8087676167488098","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":"Q4296747$D597F47D-51D8-4788-A8ED-C51818ECCEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d1970c032788f9f6c7363cfa128f18336d3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b6abd6f407fed2776c7525d0fd5f690e152d5e","datavalue":{"value":{"amount":"+0.8087676167488098","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":"Q4296747$1FF42509-74BA-4D6D-9CF7-72D32336042C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c7206706f5c441b76706999383c5a1494df06f","datavalue":{"value":{"entity-type":"item","numeric-id":3134856,"id":"Q3134856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f54f07b3a9078ab63df0075c89037330870e07e","datavalue":{"value":{"amount":"+0.7931220531463623","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":"Q4296747$D2368FAA-3CEE-4BFB-9CA9-0BDABDCB2BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e6e60bf37f84724ccf90df04b54d320419b88c","datavalue":{"value":{"entity-type":"item","numeric-id":3992431,"id":"Q3992431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866885d552bd6ec70426514afa3bad05d85a1296","datavalue":{"value":{"amount":"+0.7874289751052856","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":"Q4296747$BD8A1B47-EAA7-4C0E-AAF1-687D98051F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3844830438f86802040c9ff716558ab6683a5090","datavalue":{"value":{"amount":"+0.7870083451271057","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":"Q4296747$95E91A1F-4753-4341-8B0C-0A2203EA55F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4296747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4296747"}}}}}