{"entities":{"Q4249900":{"pageid":6279501,"ns":120,"title":"Item:Q4249900","lastrevid":46835934,"modified":"2025-12-25T16:52:28Z","type":"item","id":"Q4249900","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303347"}},"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":"Q4249900$340F3914-26BC-4DA2-BFEF-B06B4FB74286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0faf322a4c91f06a3bf5b168557757b3a30bc835","datavalue":{"value":"0924.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249900$2C878986-E8A2-4A27-A40E-F5FADFE0AE7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249900$74065743-6114-4074-81DF-B5087F30E537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249900$67625F37-1128-4DB5-A03B-7A84A0588D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249900$FD1C2A0E-10DF-42FD-9A82-A2675D44F25A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd618e0827c43881a02d94f5ad17a57455a392e4","datavalue":{"value":"1303347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249900$24650126-F71D-4853-91EF-6EDCF44B7A99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$F1B9F910-D9A8-42D0-819C-85830BA62F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c332b9472dd164869d98bc8c81877196db1759e","datavalue":{"value":"partial types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$74D37E37-D818-4D41-AECA-F7FEB3352CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6067aa3f6c413365e783ef1e85263a84ae9dc127","datavalue":{"value":"admissible types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$6830F52F-FEF4-4D61-9A45-17E57B9367C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30bfe3c6456795054c6b745d22cd953a9d768d32","datavalue":{"value":"predicate-admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$61632AF3-C4FE-4359-9A47-A48FF2ECB0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$0A9E22E1-8712-4AF1-8879-5423828C2D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ec0f2e5cceb30f30511f344d3b5667cb913313","datavalue":{"value":"dependent products","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$06D607B8-E25E-4B8C-892E-786E087514C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a578e1a4623d2552d0e50751a43fbfd389d0135","datavalue":{"value":"computational approximation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$BCB676A2-C83A-4E0B-9CB1-CCC2C57E4D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249900$76087BEB-59AF-4B34-9A03-51D4B2F00DC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249900$0DE5B8DD-4A46-4B2D-9E8E-BD7B7EE3ECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249900$B8D39205-4132-46E9-8512-000042E990A1","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":"Q4249900$82A93162-B890-4379-B5EB-EF1BB88D30DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926b7bbc6810dccacf18612e439e7029aa29105b","datavalue":{"value":{"entity-type":"item","numeric-id":3007667,"id":"Q3007667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fda159af684f00474d82bc37b60bf610c40d4d","datavalue":{"value":{"amount":"+0.844252347946167","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":"Q4249900$01A5E066-414E-4A49-B301-178E35C23E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec06f0869f0f61c632cdf6856b174429aee0656","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee054be5e46e217d22afef6c533465e4891fa50","datavalue":{"value":{"amount":"+0.75577312707901","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":"Q4249900$7F7519ED-895C-4C21-BBE1-7963D1733F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb792da0820913de2aa4f783a5d7e261017c7eb7","datavalue":{"value":{"amount":"+0.7514577507972717","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":"Q4249900$98BDE7E8-816D-4C27-BC39-6DD23765D7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f12cc42a11f603ff3a7078a8ce829374450f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9c2313cc3d5ab118bd73629bc40417d694d01f","datavalue":{"value":{"amount":"+0.7452334761619568","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":"Q4249900$04AF175C-4543-4ABC-8B44-EE98CAF004FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7396fd3c1b3eed52786d73915ccb4125c04f953","datavalue":{"value":{"amount":"+0.7440701723098755","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":"Q4249900$9C6DFB1D-6005-4030-9594-2AFD2FA28513","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249900"}}}}}