{"entities":{"Q5748907":{"pageid":7778458,"ns":120,"title":"Item:Q5748907","lastrevid":49453603,"modified":"2026-01-07T04:42:40Z","type":"item","id":"Q5748907","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4182873"}},"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":"Q5748907$C89698E4-6BEE-42B0-9D4D-E11A84866AD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed9e307360d02c1ba854299e28ba9f813f88b78e","datavalue":{"value":"0717.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748907$3FE02E67-DAF2-4FD3-A59F-0B737136D6DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5748907$46106B1D-CB07-4BF8-B898-D7D8BBB629ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q5748907$D01A5A6B-BD5D-4878-9562-1C1692DA9428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748907$F8E77EB8-06A6-4B90-8F0E-CDEA5587DA46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a641ce0ac8f4df9c4e7dd0d193eb1e0aacf34342","datavalue":{"value":"4182873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748907$DFD3C7EC-0B85-407D-80A0-DF21DD9102FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5748907$17F75737-45FC-4522-B332-E6DC64B90128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0532bfcb5d2fd6e7ecdd8a810e5946f81fa606e","datavalue":{"value":"minimization algorithm for SF logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5748907$54C113A5-2E36-47C6-9123-C0715C40987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5748907$ED2AF2FB-2403-4946-AD0A-F8A132AC0AD2","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":"Q5748907$ACA84C22-9614-41A6-A431-3F4542A67349","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69cbf2e865577743980df66dcd0e2ffe57c0aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4287516,"id":"Q4287516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c462dbe7157681281333f2416706616a27ba327a","datavalue":{"value":{"amount":"+0.8827494978904724","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":"Q5748907$204BF1DD-C9E7-46A1-8FFC-64BCC9DED436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089712b1aefb9a812f71c9db1efab06ef62497b2","datavalue":{"value":{"entity-type":"item","numeric-id":687163,"id":"Q687163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205645c67fe645c9f9eb13440383438ca248b5ac","datavalue":{"value":{"amount":"+0.8814826607704163","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":"Q5748907$8FFE6FE4-3509-4685-A5A6-73437AF638F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e833e11492be421e32153b26851b0b83d56686f","datavalue":{"value":{"amount":"+0.8611078858375549","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":"Q5748907$343FC117-4C6E-482D-A024-E8BB84956EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b0b8df70261eefcfd6c6af38e07856d6659ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4273485,"id":"Q4273485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2456418514050668ab51327c11559951683e5b6a","datavalue":{"value":{"amount":"+0.8136134743690491","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":"Q5748907$9E83E19A-8A28-41FD-9196-77E184E6C41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdec01f3c91c07e4dbdf899aff373f49d6439131","datavalue":{"value":{"entity-type":"item","numeric-id":1187026,"id":"Q1187026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d28744c67d1d939d24f3efcfb069a96cf829c1","datavalue":{"value":{"amount":"+0.798403263092041","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":"Q5748907$0BE4C028-9FA7-44D5-BD97-DCA088DC378C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5748907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5748907"}}}}}