{"entities":{"Q5688906":{"pageid":7718466,"ns":120,"title":"Item:Q5688906","lastrevid":46762077,"modified":"2025-12-25T13:19:21Z","type":"item","id":"Q5688906","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 970721"}},"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":"Q5688906$57B43E02-921B-4704-8A41-C76D5A662DA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f32e1035a0d3bde0b8ea4ae2fdfa17afa8cea27","datavalue":{"value":"0862.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688906$B5D87733-18EA-4981-A14E-B3EC71E2810C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f49613d655f867175b97279c4a79c3486c0d692e","datavalue":{"value":{"entity-type":"item","numeric-id":3207132,"id":"Q3207132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5688906$96E20F6C-9146-4A22-AF95-0BB14613B863","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5688906$BB6BCF9D-CF27-4654-B41C-78AF705AB0D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688906$C1EEF5D0-0257-4775-A55E-E2D88AF6F533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f664844acc7cc6eb381a9bc0dd095f80bc2e49f","datavalue":{"value":"970721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688906$62CBC772-42D4-4324-9A3D-DEF7477D20C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f39c1343ee623494939dedaa07ed6872c9b3474","datavalue":{"value":"strategy description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688906$1749FF8A-58F5-41C9-BBB3-9962F5796894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5c3b2691f67599c4987d29d11f8f1bdb994b96","datavalue":{"value":"theorem proving engine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688906$FF33A245-80B1-44EE-8185-B5FD3EA9906E","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":"Q5688906$ABE0E8E2-BA96-44D5-8B93-AF23B82846B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee04535054cbfd103bbccadd41b130b8953c7b71","datavalue":{"value":{"entity-type":"item","numeric-id":3086785,"id":"Q3086785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0465dc525a009a1114440d75c024ea953e4bda","datavalue":{"value":{"amount":"+0.7348176836967468","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":"Q5688906$397E35B3-D2D5-42EB-AF54-857CA3A76AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ff8c15277365d12c6aaa93e11ac589eacaace5","datavalue":{"value":{"entity-type":"item","numeric-id":4945208,"id":"Q4945208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b179b5235b1ee17a55b7b17dfee08fa8099b48b9","datavalue":{"value":{"amount":"+0.7277516722679138","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":"Q5688906$EBD80BEF-5A97-4BF8-9933-33138BF33C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d3c74f1452c00e4d697b29b4b03afa7c01b35","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ca150946e40f3373c11936b2988da27a21e4b6","datavalue":{"value":{"amount":"+0.7144212126731873","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":"Q5688906$C62FB089-58CF-4700-B686-B07EF2AC6F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89787eeae13ca828b586adfe0aa6bb160080be82","datavalue":{"value":{"entity-type":"item","numeric-id":1601865,"id":"Q1601865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08acc3baf02e3faddac11e2aa55b417d80b527a","datavalue":{"value":{"amount":"+0.7029537558555603","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":"Q5688906$1FE9CAF7-51DE-448F-8D86-B488F85AAA02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5688906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5688906"}}}}}