{"entities":{"Q4249902":{"pageid":6279503,"ns":120,"title":"Item:Q4249902","lastrevid":46835940,"modified":"2025-12-25T16:52:28Z","type":"item","id":"Q4249902","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303349"}},"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":"Q4249902$DBF02FAD-4E4B-4036-BD09-AC8885A19BE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bed5754b3d9dc28d35a3eb24dcbf16370a262c7","datavalue":{"value":"0926.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249902$A770D339-48BB-4937-A815-FE1EC68CF7C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bc832145f71fe6da5f0c41d29f478a6193171a8","datavalue":{"value":{"entity-type":"item","numeric-id":688820,"id":"Q688820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249902$2D1F6A78-4F09-4EAA-ADCB-C85121D46105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249902$48EE53EB-4320-41F1-99EF-AD67BC80CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0312a78e7027ddb6fbd6f4dc8389e9f76e9f623","datavalue":{"value":{"entity-type":"item","numeric-id":1077927,"id":"Q1077927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249902$4932EAE2-E18A-4C56-A126-681B72E45A18","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":"Q4249902$DC7B3ADC-C502-46AE-B10F-4C87E5C71D19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249902$9D93034A-7C36-4401-800C-DF73474B676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249902$05BEFC4E-F1AA-47D9-AE9F-3A0D5BC03712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d13a330572f33ee57b676bd820f07e20eff0f64","datavalue":{"value":"1303349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249902$F41F4C8D-0D1C-4786-9BF6-760BC6576943","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249902$5D6A4B30-3755-405F-9831-D317856E25E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249902$E41677C4-AFFF-46E2-BD7B-32F7621EC0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7374cc461991fe472067fff71d5aa99e6313af56","datavalue":{"value":"weak relevancy testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249902$6B653DE7-3EB5-4432-BD35-1C9672BD132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56fc7435961f9b548c4a34aa2d4ad5f7ee18a77","datavalue":{"value":"non-Horn magic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249902$49F65775-67FF-4452-8073-067995E4D51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b20c768b415f6e24674e529128cd88a2d0608f1","datavalue":{"value":"pruning redundant branches of a proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249902$6B2F87F5-CEFD-4983-858C-8D8FD24562BF","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":"Q4249902$A109045A-63E0-497C-A8B9-8917F5E88E81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3391e1365ff67b261366a752fd2f686f3a7e2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5234700,"id":"Q5234700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5711925fae10d4845a53c6804c8e38c9dd0cc9dd","datavalue":{"value":{"amount":"+0.7632346153259277","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":"Q4249902$F6E9170D-D91E-41DE-8A56-EBB75FF8E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349024f45525c8fe7c210fa555e3f89353510a03","datavalue":{"value":{"entity-type":"item","numeric-id":4263169,"id":"Q4263169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bedce09e5afbb39f1c3e9dd03ccd8f5a8b67d9e","datavalue":{"value":{"amount":"+0.7384426593780518","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":"Q4249902$6777BB8F-3A07-49DF-BDD0-3CFD2158C3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e7fa70da6a2f0c8083db5b70e4d86f8f55678f","datavalue":{"value":{"entity-type":"item","numeric-id":4610311,"id":"Q4610311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19491380c6644f00142644de9e9d72759a69464","datavalue":{"value":{"amount":"+0.7367700934410095","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":"Q4249902$DB2F6996-7D96-4148-8C7F-B51295370C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c07fc66ffdf738073b8e11412210ba4d07dec4d","datavalue":{"value":{"entity-type":"item","numeric-id":814429,"id":"Q814429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873f5bfe384ea398515da99319b4a1e46fbe8895","datavalue":{"value":{"amount":"+0.7356328964233398","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":"Q4249902$456C1311-BF8D-4E4F-A4F0-CFF560E3DB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493d4c8b39e23be6bc5d624b72385d552550d9a6","datavalue":{"value":{"entity-type":"item","numeric-id":1877374,"id":"Q1877374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098a37ebb6a2ac64e15acad4e00b32d1659f9edb","datavalue":{"value":{"amount":"+0.7289125323295593","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":"Q4249902$F82C80F5-29BA-42FF-9BEF-61266E50E29C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249902"}}}}}