{"entities":{"Q1817111":{"pageid":1827853,"ns":120,"title":"Item:Q1817111","lastrevid":46447458,"modified":"2025-12-24T19:34:24Z","type":"item","id":"Q1817111","labels":{"en":{"language":"en","value":"Formal specification is an experimental science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 952245"}},"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":"Q1817111$11A19BD2-A0BD-48DC-9E2C-E1160C895EF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35f88c6a01fed7937d2160092399ed9441d6fa38","datavalue":{"value":{"text":"Formal specification is an experimental science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817111$89D916CF-D136-4707-AC1C-08CC120D512A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e005e76295806a7278e7667bce3c6a1754370d73","datavalue":{"value":"0875.68638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817111$7C2C83BA-37AA-418E-B2A7-A2EA3199C646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72d89fedbad2eea519b9fc381971777379c6ddf4","datavalue":{"value":{"entity-type":"item","numeric-id":520234,"id":"Q520234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817111$37EE52D3-F71F-4FC5-B8F0-9F87955FDB08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817111$73069584-B944-4352-A738-013EEE9AB1E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb799965fa43b7610b4e3f9768755179096bf4a","datavalue":{"value":{"time":"+1997-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817111$A5767DEF-3CFC-4575-9528-1BAF09D60509","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817111$B524F287-BB20-4F3B-8183-4A8FA98D2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817111$2C697C5E-8E38-4700-A5E6-D808702BF32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817111$F8B813AE-7D7F-498E-8499-DBE6340AAAF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa1cf0281ff7cdafb77c7ca59159a030a3e060f","datavalue":{"value":"952245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817111$A0855720-308A-4E50-9BC9-9836BB29069A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$9BD08334-9B37-45FF-9E78-80EE68C1B858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"536875abf9e7d56f842c6daa26666f2d20be91d8","datavalue":{"value":"data modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$EB40871A-53E1-4BEB-A1BA-C8A54F086044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39aa8ff09d3f43fb09c0fb41d2ba9758017ab3ae","datavalue":{"value":"model-oriented specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$5C975C7B-9EC5-4A85-97DD-15EFA180B5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f68becd4b57e525b29466e6d2d33302b549bd7","datavalue":{"value":"introvert programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$D021BA49-95BC-465B-85ED-118C37FE3CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41493895f600acd1dc8999c811ce035628805fc6","datavalue":{"value":"software development environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$7F8D52EB-22FC-495A-BF5D-81B53D4846AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$8F83D6E4-BEA4-4BFF-97DC-B49BCA5099BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa401a90f7be40837e492046fd0146ae8e354d2","datavalue":{"value":"robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$6D7B3595-94BB-4078-8DAD-1B472EA1E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c363e5d03275d2277769e745841e2eef65ff0d39","datavalue":{"value":"VDM specification language Meta-IV","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$D5B9FD39-D79A-4710-9CA4-709E79D3280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817111$E0A5D827-AD89-4315-8D6F-8F313F2A23E2","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":"Q1817111$345E11D5-7FDD-4CDE-9293-AB521DF374D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3072ba89e93b32d4044369e3b290fc35306c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1188662,"id":"Q1188662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a53b28ded2e50f087dad7d0e2f40f23dfd0e73","datavalue":{"value":{"amount":"+0.7542418837547302","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":"Q1817111$59049E0C-913B-4BD0-86D3-C4F57E51C7E8","rank":"normal"},{"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":"a61ad0200a1c6e8981781ea94f199946530ef1a1","datavalue":{"value":{"amount":"+0.7520729303359985","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":"Q1817111$D8871628-E1A2-484D-A98C-402C704A72A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a276fc4e067154d8baab3387c77890222f07a9","datavalue":{"value":{"entity-type":"item","numeric-id":1607085,"id":"Q1607085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094b0d5dd6c5fe145989867f7da0c18669ed4722","datavalue":{"value":{"amount":"+0.7484973073005676","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":"Q1817111$07B2430D-EE59-47D6-AD20-2F107B7DC528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1817111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1817111"}}}}}