{"entities":{"Q4028792":{"pageid":6058546,"ns":120,"title":"Item:Q4028792","lastrevid":55223131,"modified":"2026-02-05T00:31:31Z","type":"item","id":"Q4028792","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 140385"}},"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":"Q4028792$075D187B-3816-4B57-B8F5-59F0D18F349E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8187e6ca8c3093d21812b5b4d8eae0fcc599acff","datavalue":{"value":"0765.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028792$6DECE714-57F8-4288-BC04-EF4A20DBD506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65d327f6bb6fd3dba59894c9a73e7631265bf6","datavalue":{"value":{"entity-type":"item","numeric-id":835807,"id":"Q835807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028792$CFABB839-CD10-4639-A2DE-CDC1BDD435D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b48d59af9e871c58b74f7137174d51be64b210aa","datavalue":{"value":{"entity-type":"item","numeric-id":814426,"id":"Q814426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028792$45D40275-BC46-4B77-824C-8F9B0E10A9B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028792$E5E6101D-02D4-486F-A886-56E4B0364154","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028792$899D0FA4-C945-4264-A5B4-32781F40B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028792$E2213C8D-E667-4EC9-99BD-194DCA394E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028792$15959535-5748-47D3-8033-6C74D1E809DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec5b1649bfd667c0b8cedb09fbd09bdc096e921","datavalue":{"value":"140385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028792$A50DA370-E1E7-402F-987A-76AC0DD56E59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128a03ed6b9906e1c87e1ca608573c5e46731aa2","datavalue":{"value":"automated modal logic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028792$BDE37E09-3366-4706-ADC5-B373874BA6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9861606ab1b4915c90ad28a0fc21b686edf7e82b","datavalue":{"value":"hybrid reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028792$8280578F-F39D-4566-86BE-B10395C64BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028792$24F0BC99-1E9E-4EEF-921D-683CD243C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028792$FD63F4B4-88FE-45C4-947D-1C7AC95D745A","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":"Q4028792$9092F982-AA26-4459-85FD-5D67464E8E19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4ca972053202fcadf05af1326afd1b3c2d5c94","datavalue":{"value":{"entity-type":"item","numeric-id":4287499,"id":"Q4287499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deed2699c792e58ac067b9dfbfa9ed4ce265a682","datavalue":{"value":{"amount":"+0.9374762773513794","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":"Q4028792$3A94407C-6FF8-40FB-B3DD-BAFC3C6C8738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b9d15c26b6749033fccf40118c4e6935957821","datavalue":{"value":{"entity-type":"item","numeric-id":4282525,"id":"Q4282525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e93fc8606f8ec3b86d0bb367dcf8a738770174f","datavalue":{"value":{"amount":"+0.9352993369102478","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":"Q4028792$449C8871-C50A-4B5E-ADBE-B140C3146949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2c3f1d9cdf6d0af916eae57c1be76e6004b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c3d0a7aae27bb5a22aafa1de1c381dfa5ee126","datavalue":{"value":{"amount":"+0.7730005383491516","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":"Q4028792$F19F7C80-D075-4A79-815E-C303AF7F7DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5442403d8f712590785a9c86cf77a08591b28781","datavalue":{"value":{"amount":"+0.7695665955543518","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":"Q4028792$70A87953-1128-4898-91EE-FB42B72788A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabbfc28c2900b7d29a9856710e30df026c629d0","datavalue":{"value":{"amount":"+0.764419436454773","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":"Q4028792$F38AA88A-431C-4411-90D4-B86AAC2B0E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028792"}}}}}