{"entities":{"Q4524786":{"pageid":6554378,"ns":120,"title":"Item:Q4524786","lastrevid":47558971,"modified":"2026-01-02T02:05:26Z","type":"item","id":"Q4524786","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552526"}},"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":"Q4524786$94DB6B4F-B51F-466E-897B-496863323164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4c2ff0e39f348f9f124a4596570919a6464dbfa","datavalue":{"value":"0971.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524786$B52D4FCB-EBA6-4BB7-A6D6-A9C08A84ED67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524786$51DA1A97-D3B7-4497-A986-0849DDA8C414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa4b3b91abee7e894be1eaba82613666c54edb33","datavalue":{"value":{"entity-type":"item","numeric-id":1275595,"id":"Q1275595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524786$6D417426-4F4E-45F7-9552-EA5E4D87203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524786$81D5A5C6-A66F-49EC-82CA-10842345F836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c30e5b806ee2677bbc7467a016ded7999d0250c0","datavalue":{"value":{"entity-type":"item","numeric-id":1854383,"id":"Q1854383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524786$8020E9B5-9FF2-41A6-B54D-769140EF8A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524786$FB404C26-241C-4951-9B5A-754D592729DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74394fc69b270c1f3d13d751a39f3eeda7e280c5","datavalue":{"value":{"time":"+2001-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4524786$5670C839-DB5D-448B-B6B7-43B3D5169434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524786$7748528B-4C56-42FB-B2F5-32201E11F19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524786$C59B08B2-B5AD-4B39-9BDD-DC24EA417867","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d12ff3ff563050479837b03e99b8ad08407422a2","datavalue":{"value":"1552526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524786$81CACEB3-D8EB-4DBB-B4D5-139852900907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524786$1FF318C0-E27F-4169-AF20-DD62446A6C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524786$666E5CB4-52C4-485F-8FBA-C44D67D8E582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524786$5C1760B5-42D5-4671-9438-34D2D3D9FBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524786$643ED854-13E1-4A29-953A-233A4C5B7B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2600aaba1f819f7d3ad24bab0da3f73740086e75","datavalue":{"value":"databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524786$9C5BB11D-8779-41BC-AB71-46C388DBA876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524786$D098B76A-586E-45E4-A777-68A83CFBD3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee20ce9a97a8d126c33986116f61c8028181cce","datavalue":{"value":"KoMeT theorem proving system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524786$3E426610-9E96-4AB6-A291-1FB391596AA0","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":"Q4524786$2F06E1D7-888D-485C-97C8-5C1FF9D3B100","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5fb60d72e16ad991c6665a764621288819fa42","datavalue":{"value":{"entity-type":"item","numeric-id":843604,"id":"Q843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be81a8a60c4e5135a57f8043bb85569e6c2698a","datavalue":{"value":{"amount":"+0.7632840871810913","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":"Q4524786$67E18103-5E79-4E4C-892C-2E22DDA7010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46680a2102220f2fd452643ef7fdeb867dfdd0f","datavalue":{"value":{"entity-type":"item","numeric-id":2721202,"id":"Q2721202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f8813608c30f3f7b04f64003511cf55bf659f0","datavalue":{"value":{"amount":"+0.7626827359199524","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":"Q4524786$DB2F15A4-686E-4CAA-96BB-D8066FC5C38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5657ef05db95b55c750ecc4436188bea089e73","datavalue":{"value":{"entity-type":"item","numeric-id":1799068,"id":"Q1799068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d869123b610a60b2d8eec726023d15f5cdaab3","datavalue":{"value":{"amount":"+0.7561774253845215","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":"Q4524786$7D12B150-D2CB-41DD-82E3-16E2A11DB8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63d7fe6af7fb615dd0ada14d74a7ffcad7f853","datavalue":{"value":{"entity-type":"item","numeric-id":1040776,"id":"Q1040776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6329e6c7854e17916ec3867bb13d97980588467c","datavalue":{"value":{"amount":"+0.7493948340415955","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":"Q4524786$D63BF646-9F8E-4F43-80C0-2ACEDCDBB117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b1f31f0bb5689edb3b47bb744c18b5266f7c34","datavalue":{"value":{"entity-type":"item","numeric-id":2851933,"id":"Q2851933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80ac4512a3295f77e63dbdd46a08a7baf686887","datavalue":{"value":{"amount":"+0.747215211391449","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":"Q4524786$C73883F8-5682-4100-B7C4-0A066B71D5E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524786"}}}}}