{"entities":{"Q5699474":{"pageid":7729034,"ns":120,"title":"Item:Q5699474","lastrevid":48575896,"modified":"2026-01-05T06:41:01Z","type":"item","id":"Q5699474","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2217740"}},"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":"Q5699474$A25215BE-242C-4F53-8C4E-42FD5DBF932E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c03b9b0bef91d476457b3c267e67ed2cfa0cc21","datavalue":{"value":"1073.68897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699474$796AEF41-4A97-419B-857F-5AC467E92765","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699474$7F6DE688-8D09-4337-A66A-6CBBF72E93C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725aca679a0cd849b7123b8f0d65ff45506c8d40","datavalue":{"value":{"entity-type":"item","numeric-id":485836,"id":"Q485836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699474$249FC5DD-41D7-45C9-B926-F60CD941C6B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e85745a6397331bcdd0b166a1b54cbb2edc48a75","datavalue":{"value":{"time":"+2005-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5699474$7F944392-4A57-418D-83C5-1EFC0E04C101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699474$1855D10C-12FB-4DAB-9CA6-EEB40CFD29ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699474$D9BF9CB6-59A8-4FB8-BE47-E8D69684090D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdeec852295b34754531f292fb7ca527906c76d7","datavalue":{"value":"2217740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699474$C08FFC96-BD52-4010-ABE2-89A644569724","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca5bd87d6c2806872ce25702934a2a97c5ab609","datavalue":{"value":"Program Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699474$57B8D2B2-4B44-402C-B9DC-D7C4AA0129FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699474$4379D381-4D15-4D9D-B3BE-D61FFCED0A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f50b17e501fd32119171ae30a73c7debcad9ce","datavalue":{"value":"Weakest Precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699474$F6D949F6-E0E5-4AC0-AED6-2E19C05AFCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3455749e8c3c50608681e020f6c4489370e5f1","datavalue":{"value":"Invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699474$1EC25F54-6A6F-4E4F-804E-47E5B0388E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83d06b46a89eeb064e08d306dfeb001e86cbf30","datavalue":{"value":"Symbolic Computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699474$16260998-4736-4D3B-AA20-51012CE7E344","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699474$8E64FEA3-7995-480A-B23D-71D11DB92879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699474$8C35E3E8-D1E0-4771-A1BE-0486D81914E8","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":"Q5699474$CDCABA08-5CCE-4FEA-8795-F181656B7E9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb466b9ae8ef59dc8c7c5d5df099f614b41338d","datavalue":{"value":{"entity-type":"item","numeric-id":3416386,"id":"Q3416386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27bcfbd4c329d8974c4342d48d0a78e470f3238","datavalue":{"value":{"amount":"+0.7820162177085876","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":"Q5699474$44F1ADED-5BF2-452A-B3CC-CED9A196FAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbebcf7c98b83f2fb9dc82d5227ea2933dc037c","datavalue":{"value":{"entity-type":"item","numeric-id":3802589,"id":"Q3802589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f93563debeef74e1deb211d3bd4165af103a6e","datavalue":{"value":{"amount":"+0.7408274412155151","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":"Q5699474$8E3C2267-0A6F-416A-A816-CF575A84B2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98f2abb2e6d695d1a88d96506627a8bad2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a098c91622815e7f104e008beee10f230933678","datavalue":{"value":{"amount":"+0.7338101267814636","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":"Q5699474$C510BA42-01F8-428B-8301-B65166172EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16905f02a7d6df19e40b20cfd0002d0077db29d","datavalue":{"value":{"entity-type":"item","numeric-id":351971,"id":"Q351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b49fc467ca9e9c9dbbdad1a6f67c3fd0762ba9","datavalue":{"value":{"amount":"+0.7287210822105408","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":"Q5699474$00D66FF2-B1E2-4FA2-9288-8577A291C7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3476e177fddeb61fd83f3b9c653d1c4c591869","datavalue":{"value":{"amount":"+0.7224555015563965","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":"Q5699474$9494419F-2798-4134-8E80-0723BE650E14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5699474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5699474"}}}}}