{"entities":{"Q4249895":{"pageid":6279496,"ns":120,"title":"Item:Q4249895","lastrevid":46835919,"modified":"2025-12-25T16:52:28Z","type":"item","id":"Q4249895","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303342"}},"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":"Q4249895$959AD28C-A74E-47A0-BB39-2ADB1FDD622C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"234bc8734f24b5615937e6d8da9bc28433698ebb","datavalue":{"value":"0924.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249895$9E534B28-1B7B-4AD5-95F7-EC8C81A4446A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249895$E3FB0ED0-8060-4874-8FED-6005F5556DAD","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":"Q4249895$E064CD6E-9A3F-4E67-B190-81DF67C26B5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249895$4BB54E82-42AC-4A0A-B55A-FFBCE47D50A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249895$92EBC010-39AC-41E5-9AA1-D255692895BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e30c08452775f7c1457a48f03bee39d1ef50ed0","datavalue":{"value":"1303342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249895$B0F77D26-79AE-4816-B877-CBB281EF100B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249895$2C176AE3-DBA0-4CEB-864A-ADB7E20011B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"818478c8570ef1a533599a95bb3ea1981186eae7","datavalue":{"value":"variable elimination algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249895$3979C0F8-B8A9-46D1-8247-CEA6D398604A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92969cd2f8f8358f61f294ee87b1164f1bbb2bf8","datavalue":{"value":"cancellative superposition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249895$32C3C0C1-B30D-478E-A446-3D4B418C345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6eeb5fc8fcdd73385b16e84d6e252a2e9229c2e","datavalue":{"value":"divisible torsion-free abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249895$EFD7FBD3-C3E8-47FB-821C-02CAFEEF9475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cde609678d0dc8d1b771d5c10d181547c2acc2","datavalue":{"value":"variable overlaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249895$CE63726C-3599-4EF6-B395-360B0D076AA4","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":"Q4249895$503BD79E-70B5-4AE0-8E15-9C68F6FB3782","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff6262b04696d5b7fa065e25024f9761112c80f","datavalue":{"value":{"entity-type":"item","numeric-id":4938422,"id":"Q4938422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4ded6c0fa0f702bbbaddcb19afadfa883e9701","datavalue":{"value":{"amount":"+0.8765139579772949","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":"Q4249895$FD58CA51-5443-4D17-BB85-4C9098D2A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826aed92319f9b3f2ee35a62afea557ad7b404da","datavalue":{"value":{"entity-type":"item","numeric-id":1864899,"id":"Q1864899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7e208f68759b7e7f2bcc46d5ef6c54b2d682d5","datavalue":{"value":{"amount":"+0.860307514667511","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":"Q4249895$DE1832CD-A68D-4D24-806D-439E9B286C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eee284179deabdc6134b26eb3c1e7e8d0ce082c","datavalue":{"value":{"entity-type":"item","numeric-id":5055850,"id":"Q5055850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00f70391b1fbe4359fb26bbac7e9d92b98e33cc","datavalue":{"value":{"amount":"+0.8456382751464844","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":"Q4249895$CB6C2AA4-5E71-41F5-950D-522E9395AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8e45de50dd1655c4b10d46ff12630778ca0dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1275020,"id":"Q1275020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e186da8abedbf52b74e745169238fd29da56f3ab","datavalue":{"value":{"amount":"+0.8310034275054932","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":"Q4249895$F79C3AC0-E000-47FA-AADF-F0A40BDF71BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249895"}}}}}