{"entities":{"Q3820060":{"pageid":5849966,"ns":120,"title":"Item:Q3820060","lastrevid":53893307,"modified":"2026-01-25T21:42:53Z","type":"item","id":"Q3820060","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092827"}},"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":"Q3820060$8A3A0A78-21BC-4411-8707-4F88F56D2FA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe247e1676203fd8a3888dba4c22cd28a52398ea","datavalue":{"value":"0667.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820060$680731E9-D1E7-4EFD-AA0B-38A656F5724E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a049cbef6a5b793079cb8f35d2a523ec502514","datavalue":{"value":{"entity-type":"item","numeric-id":3820059,"id":"Q3820059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3820060$890CE0A5-7745-4F86-999C-0D7908A07DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3820060$D577ECD2-2CEF-445B-8A27-D2038166BDCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3820060$BD046255-A8C4-42AD-96CB-1F28EA4A35DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820060$E3CAD878-DEBF-41E4-8C84-25160F8D9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820060$AE77CB0D-9E3A-4133-959E-31D5AC925ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5161052c6626803b7e95d00699545f2aa3e977f","datavalue":{"value":"4092827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820060$D79D91E0-1DD1-4F82-A997-F0FDB2772E15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b081878994e2445e3a32d39ccc4426c879c9e866","datavalue":{"value":"query answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820060$8BE36EC7-0A7B-46AE-B2E2-B5E19E0FC4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48e0ca10780b272f1d97d77b5a55bc6e0df85dcd","datavalue":{"value":"recursive database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820060$84472E6D-1608-41C2-AE8A-1D45D30524A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be00aec032c4ee532a12212f30dd8d5b76ffff40","datavalue":{"value":"generalized closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820060$E835FE45-7E1E-43C2-894E-D44ACC0A0D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820060$51E2B486-9E0A-44B8-8445-3BF6B2CA7854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898c74b82a6f4c23533a915b46f9829db027913a","datavalue":{"value":"non-Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820060$B8B77AE8-C3E4-434B-9972-A059EC400A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b085cdf888f3fc3bd2b4255f52647eef107b0204","datavalue":{"value":"theorem proven","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820060$385E926A-16B7-42BE-97B8-11B9EC5C70AC","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":"Q3820060$6F4C3736-9D72-4BF4-A8BF-0F0AFCB33F4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec5ff8ff74fa231bf307d743885cca3ee3c7ae0","datavalue":{"value":{"entity-type":"item","numeric-id":3746931,"id":"Q3746931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83c40e22fa9faf2f45eeb28621bcf5719d17354","datavalue":{"value":{"amount":"+0.8017057180404663","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":"Q3820060$14222A12-7270-43C6-864A-674633E3DAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a3e029d94f2c04e382aab8c58b7b0e3eb2472f","datavalue":{"value":{"entity-type":"item","numeric-id":3691103,"id":"Q3691103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b4d7573cf0653f56272e25064cb2b584673dad","datavalue":{"value":{"amount":"+0.7958756685256958","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":"Q3820060$AA3BD0BF-6F40-4B1E-AA3A-442C2A86702B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3fb5998cadac13264674788e9f3f119b84ce63","datavalue":{"value":{"entity-type":"item","numeric-id":578941,"id":"Q578941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac945592588fb35a7b99604b4c6048963ca041b","datavalue":{"value":{"amount":"+0.7801581621170044","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":"Q3820060$90D4F755-5015-4F16-B0B8-36462E8812A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074f915fdc73e2bdd68202af5c9fd03a182edad1","datavalue":{"value":{"entity-type":"item","numeric-id":5096200,"id":"Q5096200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3202f01617d421e4d35b4d63091c2407372a6557","datavalue":{"value":{"amount":"+0.7791130542755127","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":"Q3820060$6ABE931A-2F14-4892-A3E3-20EC8C770194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7433ab20fcecd37cf125d5f1155b6a5528ed2755","datavalue":{"value":{"entity-type":"item","numeric-id":3766890,"id":"Q3766890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1e3677da3b2ea04307e0680a341a1a5c33fef9","datavalue":{"value":{"amount":"+0.7770094871520996","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":"Q3820060$674363AA-A742-47E3-8E12-524505DD43AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3820060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3820060"}}}}}