{"entities":{"Q4039486":{"pageid":6069204,"ns":120,"title":"Item:Q4039486","lastrevid":55250290,"modified":"2026-02-05T08:02:35Z","type":"item","id":"Q4039486","labels":{"en":{"language":"en","value":"Using formal methods to specify the functional properties of engineering software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 179658"}},"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":"Q4039486$AB784D07-901E-4D8F-BB5A-5B6D2DA37927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37dc3684f1389c2a0dc45683431d36a1f505aff0","datavalue":{"value":{"text":"Using formal methods to specify the functional properties of engineering software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4039486$A65E6F47-977E-49E6-9F7F-3ACB103F474B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13735ea894e24e0c792e792dd1ad363bdda459b8","datavalue":{"value":"0795.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$17C54933-FF95-4FBF-A938-62D9394EF07A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a845a394a673f71e1511a85302bb36cb6562bc8","datavalue":{"value":"10.1016/0045-7949(92)90440-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$37BD41C1-F1F6-4309-894F-40A6CC3C7964","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a209c11f9b5e58ac43c28bf7f6606fea9b0d1b52","datavalue":{"value":{"entity-type":"item","numeric-id":1189313,"id":"Q1189313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039486$71C575CF-6065-4608-83B5-962992CC4565","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b54ad730f941e58926190c54828336ff4c614e0","datavalue":{"value":{"entity-type":"item","numeric-id":3026441,"id":"Q3026441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039486$84E8312F-346C-45BE-8695-1B5D7AECD20F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea68c99cc9e23e4bb0b17bbb19ec6f30a0f4dd4","datavalue":{"value":{"time":"+1993-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4039486$1633A3FA-BB0D-489C-86E0-A08565493FBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$EC4CF476-7423-478E-B942-90DC7FDB977B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$85100E05-41AE-43DF-AB0F-68B03104E384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$D4BF512A-9A80-40D4-90C1-591B22B160AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79abcf239b8df7627330a4a4667e6516a6ba6b46","datavalue":{"value":"179658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$E230D32D-A660-4797-8435-7E009ACF858D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039486$E34797F9-1A04-42E1-8FBD-C472CE6FBB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039486$3A26885E-8413-4B55-8AE2-E97CA6105B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039486$7F71B485-AD52-4133-89F4-C54C297850F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b1f5ca6c0dadafd2cb07b42505ca57f58e2dc7c8","datavalue":{"value":"Q111897632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$E25EC9FE-0E10-423C-B9F6-7A24960E69D2","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":"Q4039486$169E3DB1-F047-4FFE-8AAF-FD2699824C04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d2e08ee32eaa6bb5c619ef53776bd9ed2df1f05","datavalue":{"value":"https://doi.org/10.1016/0045-7949(92)90440-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q4039486$2713A3D5-0C58-4F5A-8D55-21187A2BCB66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5a2c72f61cb9141f36a17f14e32fac85a5ce3e0","datavalue":{"value":"W2024511690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039486$AAD8E4CE-408D-417F-B5D4-EAB2861D7280","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e80f0260a5e96bea20fdb3063dd7405224a166","datavalue":{"value":{"entity-type":"item","numeric-id":4492783,"id":"Q4492783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfb5652be0239c979aa3a12e7630b51bb55653a","datavalue":{"value":{"amount":"+0.7903178930282593","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":"Q4039486$8D6BD9BF-359D-4B8A-A8A6-B4AF9F52E273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56099eef0fc21a239b3ff1ddfe426e2b339c20a1","datavalue":{"value":{"entity-type":"item","numeric-id":4412469,"id":"Q4412469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfabd4de1ce879e820f391a7ea9349ea6644fa86","datavalue":{"value":{"amount":"+0.7658166885375977","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":"Q4039486$F5B0FDEE-B0CF-44DC-8050-B1EF166DD00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2f87d5017062714aad9aed16ad2e318bf0b9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4493989,"id":"Q4493989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db29755bf17978a506a7ff29752d4edc04415d4","datavalue":{"value":{"amount":"+0.7509165406227112","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":"Q4039486$0437B1E7-780B-4164-91DE-43FBB81E1716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d70498bc03e2a5a85061310e70061d3d0936f43","datavalue":{"value":{"entity-type":"item","numeric-id":3738546,"id":"Q3738546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb12eb08e23d6ea40c443e78c5ae9ad170dae8a","datavalue":{"value":{"amount":"+0.7362111210823059","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":"Q4039486$28D6098E-40BA-48F2-9BDE-7C33A4E1D903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58e2d82250348f6f3d4b47a43f692ed2b025550","datavalue":{"value":{"entity-type":"item","numeric-id":4275030,"id":"Q4275030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a4e86f3773b48bea4e312a87d59fa088e54163","datavalue":{"value":{"amount":"+0.7294793725013733","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":"Q4039486$13E39E39-9FD9-4A80-AFEC-EEE59284F7E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4039486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4039486"}}}}}