{"entities":{"Q2729227":{"pageid":2739966,"ns":120,"title":"Item:Q2729227","lastrevid":82837322,"modified":"2026-05-06T22:11:50Z","type":"item","id":"Q2729227","labels":{"en":{"language":"en","value":"The role of mathematics and formal specification techniques in software system development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1621805"}},"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":"Q2729227$F73D1472-C754-481D-8D75-9C144E2DEA29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e119cc1403e39b0b5179e33cbd4379439bc272df","datavalue":{"value":"0974.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729227$744B9D73-927D-4918-861A-DD38B1F4FA05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729227$7025EDC7-2C73-4BA6-A9EF-ECA188DECB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aca323ef5ab5cda1c2faad78bc2732931e60ce2","datavalue":{"value":{"entity-type":"item","numeric-id":2729226,"id":"Q2729226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729227$F3B72A06-5E50-492A-90F5-C0E7A481201F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d9e7b5ed53dada835ed8dd1fea829801958aa","datavalue":{"value":{"time":"+2001-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2729227$1662444F-B6B0-4D88-BFD1-68DF34B59563","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729227$200FF4F7-88D5-4CD9-9980-B62F59A423B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa948c09aaaccff2b520a25ecfd15e84f4493e71","datavalue":{"value":"1621805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729227$875BB848-0E49-4202-B2CD-9940A58828FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729227$D0FA059B-0CD1-4FDB-9220-D17274201AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b281d5ad9b1546d1b420fff2b0289a2e6edde1","datavalue":{"value":"software system development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729227$4047FED2-87F8-49C4-930C-4A3A5E89F767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729227$8318E89C-0A6F-47EA-AD26-7C009A2309CF","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":"Q2729227$6BEC9C97-F570-4FB9-AEE9-27249BD75531","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0c7c1608026ec1c849dfe6fbe2158d766f3c612","datavalue":{"value":{"text":"The role of mathematics and formal specification techniques in software system development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2729227$1457A103-943D-4578-B833-BAECA75672A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d94406c40e2fc59c6217175412040f80075312f0","datavalue":{"value":{"entity-type":"item","numeric-id":6591395,"id":"Q6591395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729227$E3FA0EDF-5B1A-4E19-A056-1ABFD309BF71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0effd088221ffbd6cef59a1b54d16c1498c78e","datavalue":{"value":{"entity-type":"item","numeric-id":4665721,"id":"Q4665721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f529a605192b08e689c55eebd64e59e146ceea6b","datavalue":{"value":{"amount":"+0.9969491362571716","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":"Q2729227$8BC9FD06-2739-4EDD-8C77-A33B2ACE8E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddadf720d320c7242fe570530f9ae10945ec5946","datavalue":{"value":{"entity-type":"item","numeric-id":4463196,"id":"Q4463196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6431aa8fdd700865398b00cfc502443d4dc6b0c","datavalue":{"value":{"amount":"+0.8368897438049316","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":"Q2729227$F044614A-57E8-4375-842D-6916C7D1B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b45fc735c0a84871240051e9d100a34e025117","datavalue":{"value":{"entity-type":"item","numeric-id":4364532,"id":"Q4364532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2e4cae71f325e2d08babac4d6bb1f486a8b3bf","datavalue":{"value":{"amount":"+0.8144022822380066","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":"Q2729227$062A6885-C3B9-4165-8F08-246A28E84ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187ddb9dbc8f16f78a958b019089298a129462a4","datavalue":{"value":{"entity-type":"item","numeric-id":4003444,"id":"Q4003444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe997eae7ba43269623d6ec25bc317946d952fc","datavalue":{"value":{"amount":"+0.7844855785369873","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":"Q2729227$134106FC-5A89-4EC2-98C6-BD6551994B6B","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":"d597ae4d09b7a4b063c25c2f354d5219274fa003","datavalue":{"value":{"amount":"+0.7841989994049072","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":"Q2729227$40C9B5F7-BD8E-4119-823E-3D3C889E39E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The role of mathematics and formal specification techniques in software system development","badges":[]}}}}}