{"entities":{"Q3028331":{"pageid":3039047,"ns":120,"title":"Item:Q3028331","lastrevid":49090819,"modified":"2026-01-06T14:14:32Z","type":"item","id":"Q3028331","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016178"}},"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":"Q3028331$F3E9BAC8-DA6C-4D48-9ACA-26DDA95AA8A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2851caa6431fb953423580382b34eeae65e5f83","datavalue":{"value":"0625.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028331$5AE884F5-024D-400E-A409-899A046791BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3028331$9E6BA359-1B36-43B0-A64F-3DF05A495D79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028331$37CA832B-4240-4E04-893C-56EA5CD41E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028331$4201BD5D-8763-4B6F-932F-31D2FB8F588C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028331$F46CF8B4-5AEF-4C8D-8843-7D3A9A682B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ce8bed8f80c9c19873eb491c6c9f63b48c909d9","datavalue":{"value":"4016178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028331$D86A4153-1CD3-4648-802A-0197203EB43E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d7e0941564f5a60675d9ab567714649036684b8","datavalue":{"value":"Vienna Development Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028331$0B53752F-48E9-4277-82B0-643FD4026E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028331$AE653640-3CA7-410A-BB04-8B3C132B1022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f8293d210a91d3e82f50f28679db454bcaeb55b","datavalue":{"value":"specification of data","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028331$1F7CE4E4-9EFA-4EDD-8545-1C2D9AD0A347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eea682794d7665f66614293d66ce8f3318daa6e3","datavalue":{"value":"``Hoare-logic''","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028331$B1F140B0-DB9E-4D1D-9F61-D7D1E1456F9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028331$CF198863-E78B-4A4B-8E4E-3E46896E605A","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":"Q3028331$DD83B45A-A357-4742-864D-F588D48C4C42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a147675ee1eb4602f937dbb79d93707d22eece46","datavalue":{"value":{"entity-type":"item","numeric-id":4287760,"id":"Q4287760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a79a2b021b710575b9a2357d1de0607919fb71","datavalue":{"value":{"amount":"+0.871571958065033","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":"Q3028331$3D5863F5-A6F8-46A6-A8D7-17F701DC8C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59267f35c650dafe313c4eaee81b2b550188f4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4312477,"id":"Q4312477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ab602feb3d2ebf74bbf422574f8eda0f092293","datavalue":{"value":{"amount":"+0.8707746863365173","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":"Q3028331$DEE41AA5-9A1E-4368-A7D6-5786CEFFDAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ceea2621b6219197a8bd853b94b50c3194eb49a","datavalue":{"value":{"entity-type":"item","numeric-id":3996919,"id":"Q3996919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65154001f3ea34b84c832a4de7f26273dbf7dd5","datavalue":{"value":{"amount":"+0.8370880484580994","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":"Q3028331$BC21C0CA-46DA-4499-B90C-BDDBFA2E589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381b01005b97f6d0d4c7abbd892c0d5d3418c2af","datavalue":{"value":{"entity-type":"item","numeric-id":4493874,"id":"Q4493874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651990f1094f6e915a8c9cff5767cb38dc5e9e3f","datavalue":{"value":{"amount":"+0.8266398310661316","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":"Q3028331$092A9C97-B989-443A-8A66-84B7F705980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a44fba1747ce387dd7a919fdbc66d000ffe8372","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f949a64e6021f0b84303a6052298501c9e88567","datavalue":{"value":{"amount":"+0.8081144094467163","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":"Q3028331$BC5E4C71-2DE5-4579-AC4E-608F08DEDCB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028331"}}}}}