{"entities":{"Q3339259":{"pageid":3349967,"ns":120,"title":"Item:Q3339259","lastrevid":48742309,"modified":"2026-01-05T18:29:39Z","type":"item","id":"Q3339259","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3872652"}},"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":"Q3339259$F2AE7678-17DC-4C63-BF95-B5C5536EB55F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae0697cc8cff3df41e763e060e6e4ec5ddbb86c3","datavalue":{"value":"0547.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339259$40EB3F46-FD78-4858-9BCA-C86E23062058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339259$B9DCE85C-0D7E-428F-88D0-279A8F5625FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b6398977f19d3fbbadc0234cae6d8c44a315b","datavalue":{"value":{"entity-type":"item","numeric-id":1172383,"id":"Q1172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339259$9D2694C2-BFFF-45C3-AF9D-09319F05EFE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3339259$FC7092DC-7B44-4000-B3DC-F85A1BB11DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339259$80E77A01-724A-471C-9C74-6BD1ED7E9A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"749d489dfcda83ba14802855e79e5c1e4849c474","datavalue":{"value":"3872652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339259$7D92DE31-4263-47DB-ACA2-28C7FFC9E03A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339259$5C878BAE-B1F7-486C-8E12-ABEDE5760787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f61f4ba77de73967caf4ae51363dbc8ecf1ede2","datavalue":{"value":"procedure parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339259$6BE6300C-C3BA-4440-B2FC-3E139824B5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fb9824f8f58407f8c8c49d0dae9d25453ef314","datavalue":{"value":"higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339259$B77C6833-5AF3-4E8C-A2BF-56D062306529","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":"Q3339259$E00B3368-E464-431E-B194-053C3C1B2995","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c30041bb4732dae1227eaa90bc718832def195e","datavalue":{"value":{"entity-type":"item","numeric-id":583874,"id":"Q583874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f8489e66d0ad55f8a78a7faaef635204027403","datavalue":{"value":{"amount":"+0.8583800196647644","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":"Q3339259$893CE3D9-DE0C-4A36-833C-EA8BD6BEA4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491365343ef3f16cf7c31d17f9cc88be61ee3cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3326819,"id":"Q3326819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc13b7f120d5cc2453ac54aecfb12a3996a6106","datavalue":{"value":{"amount":"+0.8407790660858154","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":"Q3339259$2E882FD4-3FFB-49FA-9A15-593052FBA009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442a71cb0832ac8f42b2bef8ca88e0a28fbbfee","datavalue":{"value":{"entity-type":"item","numeric-id":3334976,"id":"Q3334976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acd07e4849f1f81217204e2c778c33f7240db64","datavalue":{"value":{"amount":"+0.8313352465629578","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":"Q3339259$2CF7F45C-D41C-4984-BAE9-8DD30553251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033de07e3d56708ecacab644c5d61e90a196357","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9e6c08a6e7eed0b4888463db82cfa12292f956","datavalue":{"value":{"amount":"+0.7798401713371277","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":"Q3339259$5950B7B2-DC23-4916-9CCC-D1001971A11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d472aece4be2a61468662a587298a7acff634592","datavalue":{"value":{"amount":"+0.7782180309295654","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":"Q3339259$11160BA0-2693-4D9F-A338-1DAA0B2048A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3339259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3339259"}}}}}