{"entities":{"Q1896370":{"pageid":1907112,"ns":120,"title":"Item:Q1896370","lastrevid":69218355,"modified":"2026-04-13T05:33:19Z","type":"item","id":"Q1896370","labels":{"en":{"language":"en","value":"A new methodology for query answering in default logics via structure-oriented theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 790776"}},"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":"Q1896370$A714E110-647F-4693-94F6-F4A938836472","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5853c13ab9f92d5874c5fc483b365bb966694cf8","datavalue":{"value":{"text":"A new methodology for query answering in default logics via structure-oriented theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1896370$4498CC07-E94C-48FF-BAE6-ED8A5DAC9B22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b6cefa5653288634c1118801ff530dae48e685e","datavalue":{"value":"0842.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896370$9D81F09D-A094-4E2F-8833-A7FB4B2516A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c877e81c1935588ef86b3f3230734ac5b70a226f","datavalue":{"value":"10.1007/BF00881832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896370$9DFF5607-35CD-471C-8507-194D58D4B8B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$BB1B0B21-3BBC-4FF4-9118-DFD0206AD346","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$E6F9CD5B-A9C9-41DC-A72B-D5BB73FD07C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ca13147794ee6248df993be52ba350f706942fc","datavalue":{"value":{"time":"+1996-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1896370$C5A546DA-8C49-4594-9266-14E9B6130A25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896370$121B1C9C-3C29-4EE6-8F9B-995A7FE85254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896370$39511CBA-0792-48F7-B00C-5D45F28C8E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896370$B802861B-A1CD-47F0-8B81-9F4B6C6A7ED9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49788d12ba76639254bf98d6f3fea53be81486fc","datavalue":{"value":"790776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896370$C3E70D2D-617E-4FEA-9E33-FAF0E302A8C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b081878994e2445e3a32d39ccc4426c879c9e866","datavalue":{"value":"query answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896370$705DD6EF-0A47-4EF1-A282-EEA3D70A9324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e854c5faeb59a78ce9a8e88a9ff0abfcbb42d5eb","datavalue":{"value":"default logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896370$87135BA0-61AD-4EBD-90B5-0A9C9CCDC464","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$8D8566C6-603D-4C5F-890B-C437A25CC475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c52067912b0b36fecbbb51adf44957c3c2a0bee","datavalue":{"value":{"entity-type":"item","numeric-id":18797,"id":"Q18797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$4DDFE469-12C5-4ED6-A2DA-FBAC9048A729","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":"Q1896370$A17B98DC-2B7D-4D1E-8A82-97192F8EA92C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$C5C9A23D-7473-4904-ABA7-81A9D1673610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8769e154d6988adf92501debd547f89ef6976d95","datavalue":{"value":{"entity-type":"item","numeric-id":4202917,"id":"Q4202917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$2D5DCE05-91CE-4D28-AFA3-26315FB23FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f517f93e41f1b83fc185c6676d8edd046e7ca0a","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$90F33E0D-2286-4BE7-91C1-324E7825EE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d126932c23f2747c307989c2cc79f3a310adc1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3995236,"id":"Q3995236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$76E90734-0594-4208-9E84-C4A333160C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656f1cb354cdb5786034334893107775b6c9c4c8","datavalue":{"value":{"entity-type":"item","numeric-id":4537442,"id":"Q4537442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$DD636ECF-4E72-4DF7-8D3A-008D43C05C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab648e1689febccc7daffba18fb70c2f3e13c50","datavalue":{"value":{"entity-type":"item","numeric-id":4275256,"id":"Q4275256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$BC6D4112-9D96-4AD2-B9C9-FD5A7A5DC47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e9b5b6f891d832de62777964bf4d48b4146b18","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$2B610F54-4A14-4E7D-88FE-ECC86115C235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bd0d661c6f87c4eba3d55a7217fe1c254772e6","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$E5B0E531-898A-45B5-AFFE-529FED689648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3b5925e4849b44180e14d89a1d2b54c314b293","datavalue":{"value":{"entity-type":"item","numeric-id":4537429,"id":"Q4537429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$58A49AAA-23D9-4E75-8B49-55A941F5CCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$63FD5913-D828-40EB-9505-3606B736CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf9194a9ba6cee011a2dd98df700a7e54b66569","datavalue":{"value":{"entity-type":"item","numeric-id":4692605,"id":"Q4692605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$5AAA4B63-4865-469A-8E8E-3D0B4496036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$B4A70C63-EC15-4174-BC62-A9D7B53BD3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$B362BA61-1E9D-4981-9961-692D2B362208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$CACC4AD7-7706-4877-B6EA-D3593D58A4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$F5E29070-0878-4EB2-9268-EEFE5DCB2BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$60C2A5E4-A173-4E6C-A7D3-9660EDD8FA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$5B2895B7-4892-4ED6-84CA-F40DD0E8D5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5bc735efac88043cabf814b47b885b822e7656","datavalue":{"value":{"entity-type":"item","numeric-id":4028825,"id":"Q4028825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$D3FC7080-ED84-49A7-8D91-CC7B8A4EC064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7697e3748d304d7ab9639d6e56e46ca2421c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1896366,"id":"Q1896366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$8942275F-E0B7-4A43-8F01-91EB02B76F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6524b734d4fa4f07a623f7aefb56da9f040f87c8","datavalue":{"value":{"entity-type":"item","numeric-id":4713941,"id":"Q4713941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896370$FE147ABF-524B-48F0-BF5C-2BCF5A2374C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f941c50d253c8d943b9cb2abfcbdfbf3375974df","datavalue":{"value":{"entity-type":"item","numeric-id":4632323,"id":"Q4632323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5413cf0c1c9691dbb5e8da68b9de3b17ca0b9508","datavalue":{"value":{"amount":"+0.8208441138267517","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":"Q1896370$69A4294F-5CF1-453F-833B-EFADFC2021FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0abecd54757996c67612e2dff43d33896c71e2d7","datavalue":{"value":{"entity-type":"item","numeric-id":4530457,"id":"Q4530457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d9ae0e84baa0846999fab7da7c2b568f72f0f5","datavalue":{"value":{"amount":"+0.813336193561554","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":"Q1896370$43167CC5-2E3B-449D-A459-709C965DEE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5293d2f6f343d4235dba240472cd98161fa903d4","datavalue":{"value":{"entity-type":"item","numeric-id":4247685,"id":"Q4247685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b346eab40aea247cb72c4b010ac724500433da0","datavalue":{"value":{"amount":"+0.8133360743522644","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":"Q1896370$3150677E-0495-4B01-82F4-58264F9FDD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40837fd19be7ab99b867b006f9260d5c45d37481","datavalue":{"value":{"entity-type":"item","numeric-id":5236435,"id":"Q5236435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614936cee9f89c5f48b3f5aee83e3a95d7d3d628","datavalue":{"value":{"amount":"+0.7979836463928223","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":"Q1896370$DDA5C169-2A66-46D2-9327-EC3C600D7E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d29e5566e41689ea05f658dbe615f4237a3c7a","datavalue":{"value":{"entity-type":"item","numeric-id":4262998,"id":"Q4262998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deabea2166ba747418cc13f64b93fd595c5bdd84","datavalue":{"value":{"amount":"+0.7903380990028381","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":"Q1896370$E7E3063C-BCC0-47FF-94D2-A7DFC7434F25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new methodology for query answering in default logics via structure-oriented theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_methodology_for_query_answering_in_default_logics_via_structure-oriented_theorem_proving"}}}}}