{"entities":{"Q4941944":{"pageid":6971526,"ns":120,"title":"Item:Q4941944","lastrevid":47463598,"modified":"2026-01-01T19:51:45Z","type":"item","id":"Q4941944","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418380"}},"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":"Q4941944$94D677AD-3AFB-420F-8DDD-DDA43A8B4044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f406b52d8eb12bba2d18708c1ed8cb8348099942","datavalue":{"value":"0958.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941944$FA463149-9A82-421A-8101-BF5EE624CCEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b945085277c4f2ae11f6f353c5564789fbcb8f","datavalue":{"value":{"entity-type":"item","numeric-id":1403060,"id":"Q1403060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4941944$37837BAD-FC7D-44B8-AD5A-63BF869BE29A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe8a530d976b07eb2b8dc09fcd2b5eceddfd2f41","datavalue":{"value":{"time":"+2001-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4941944$D4644057-89A3-495E-8905-D856D0E3840B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941944$9C4868C3-085D-4E19-A53B-735CFC59E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941944$C58581B8-3DA7-4FF6-9D67-A132937906AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dda4b63ed33bc157e5f14caaf3d6da17886d95a","datavalue":{"value":"1418380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941944$641C2D20-CA28-4206-9771-B0ECA6309688","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941944$A48DC419-D780-4183-9DA1-87BECA171251","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":"Q4941944$B4C5522F-A834-4F57-9F0F-A1FB6B86DE06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a081349cab8612c5728cf626bb9ae61aa6655b6","datavalue":{"value":{"entity-type":"item","numeric-id":1827403,"id":"Q1827403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681dd1bba7f75f44cef946bb71ef0f479c4db164","datavalue":{"value":{"amount":"+0.7446667551994324","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":"Q4941944$E0476CC9-D5BE-4A80-9B18-0AD461F03986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb7d16a1cb1e715baba10d130d9e3fb4d71490d","datavalue":{"value":{"entity-type":"item","numeric-id":5915484,"id":"Q5915484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304474ba5fbb9ae896c39b684f083fb35d27dd13","datavalue":{"value":{"amount":"+0.7272965312004089","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":"Q4941944$EFD6A17A-B689-4554-B64F-001AA3D2D23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20f53c6f47b5b9a3c279b0bf84ffbe51567bac6","datavalue":{"value":{"entity-type":"item","numeric-id":692197,"id":"Q692197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304474ba5fbb9ae896c39b684f083fb35d27dd13","datavalue":{"value":{"amount":"+0.7272965312004089","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":"Q4941944$91DECE58-CD7D-47A4-9F3B-7D4D0578A7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7922892234331c74205d44a3edf0cb1bbe5f6d","datavalue":{"value":{"entity-type":"item","numeric-id":2762866,"id":"Q2762866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f1476c4d3897a5c8c0bf95a3a6a94d0f4743ea","datavalue":{"value":{"amount":"+0.7233430743217468","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":"Q4941944$02260A00-F59B-4EE6-A0B8-AF5B50D3D8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929f487cd22567bc83c7e4222de30c3ca948500b","datavalue":{"value":{"entity-type":"item","numeric-id":4246969,"id":"Q4246969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696bebb93dfe8c835b05220372646708cea4410a","datavalue":{"value":{"amount":"+0.7224200367927551","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":"Q4941944$00D1DCD4-4135-4A89-8662-6B48476C1906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4941944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4941944"}}}}}