{"entities":{"Q4249905":{"pageid":6279506,"ns":120,"title":"Item:Q4249905","lastrevid":46835949,"modified":"2025-12-25T16:52:29Z","type":"item","id":"Q4249905","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303352"}},"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":"Q4249905$32800F14-184E-4758-B2DB-A9EA1A261825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af0fbeb6d0d2a8e55714a75139838bbaa828aa1e","datavalue":{"value":"0926.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249905$05815A7E-2A18-4C79-8926-79FB813E714A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"316882dcf840ae57ea8af6df681dc3044f223763","datavalue":{"value":{"entity-type":"item","numeric-id":1052334,"id":"Q1052334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249905$6EB37979-AF31-4C0A-9D7C-429D9DA64144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc82c502d513f9dd91432ad025f94fcbf9168c46","datavalue":{"value":{"entity-type":"item","numeric-id":906240,"id":"Q906240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249905$EE9CD4E0-4306-4A01-98A0-9DB4E8A43C2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"841fe5311f2c240dc5e1c4c4e1cd6d6c518533ed","datavalue":{"value":{"time":"+1999-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249905$07BA6A70-0CA4-4BC4-9A3A-9B4F75AFE12C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249905$02846BA2-6C80-4FE5-B0A0-5C33FC347CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249905$85D28B39-5D28-41C5-8D9A-6AAC999CB325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"174055559643c4a67f78ad31e76c2daafe6c16bc","datavalue":{"value":"1303352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249905$F5CC9623-3D30-4FDC-8E24-05400E51E825","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249905$5B265CEC-508C-4CE6-8848-2EBCD58F0BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b55ed42c9dad0c3fd64f579591819ed63ea2943","datavalue":{"value":"rank/activity restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249905$003FCC15-5866-4744-8DEC-602E806C8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be960993a030b6cf0a650b4f56c881dddb34582b","datavalue":{"value":"binary resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249905$9CDC22CE-FCF1-4CEA-9628-5B44E24E5F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97c67c34081099abbc31b3a898c05d90d72b99c","datavalue":{"value":"resolution tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249905$6F5EE6CD-F995-4BF5-A096-33EDC5088CB4","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":"Q4249905$4483EECA-B6CE-4D3C-B72B-0E23DB60CF3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70943fc0e01de2a98c788a47048ccd383baf6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":2996160,"id":"Q2996160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3afcf180b3e203bb3d254964098f8a79c24c3d3","datavalue":{"value":{"amount":"+0.7933831214904785","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":"Q4249905$8D8EA3F5-E446-495B-9BBC-E32C2F78EA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a51152fb9e65ab4f47b1cbc1560f5c6819aaba5","datavalue":{"value":{"entity-type":"item","numeric-id":3804234,"id":"Q3804234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e7d0860ebaa8d4fe6c68c48d576a69434a923c","datavalue":{"value":{"amount":"+0.7860202193260193","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":"Q4249905$8A48039A-D720-457C-BDB9-3AC8BD389661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6013498ad3ac7b4b938a1e7f6e2e8d9187c65808","datavalue":{"value":{"entity-type":"item","numeric-id":1581851,"id":"Q1581851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26739482727384ce63dacffeaec0ad906de4b52","datavalue":{"value":{"amount":"+0.7517926692962646","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":"Q4249905$D289036E-8ACE-403F-94AB-96EE36C97314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ea070bd16684f14952eab2b5168c347ba44617","datavalue":{"value":{"entity-type":"item","numeric-id":2723433,"id":"Q2723433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6b7b3e0ddc28ff5303cfa8f1324d6ff874981e","datavalue":{"value":{"amount":"+0.749467670917511","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":"Q4249905$D3C814EE-025C-44ED-B033-246A83A93488","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249905"}}}}}