{"entities":{"Q2369031":{"pageid":2379774,"ns":120,"title":"Item:Q2369031","lastrevid":43959252,"modified":"2025-11-18T13:02:28Z","type":"item","id":"Q2369031","labels":{"en":{"language":"en","value":"A formally grounded software specification method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020440"}},"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":"Q2369031$E57EB50E-FC6E-44B2-A3B2-7A1D496EB2D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39b697b944deec8031378bfc2a7ea503ac5d6bde","datavalue":{"value":{"text":"A formally grounded software specification method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369031$5C989468-D792-4731-B720-3EE62489D8AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ce99a5c6c43f8735134a0677bb16f462e5ec224","datavalue":{"value":"1088.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369031$B7B25E2E-EE3F-419C-82A9-40E5B5B8303C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0780c10b7b2f39c3a70c06dcbfe7b2d4edd10320","datavalue":{"value":{"entity-type":"item","numeric-id":315306,"id":"Q315306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$F229B53C-D95B-457F-A038-D375788174D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23362f3a3ca32cef709a9de5af2d16f5a00994cf","datavalue":{"value":{"entity-type":"item","numeric-id":1190493,"id":"Q1190493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$47A2D794-3F9E-4428-A50C-E87EAF0FB73E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$7628FB2D-3B32-4DEB-80CC-CCCADC3706D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369031$4C3AD99E-C406-4B81-87A4-ABC6C561ED65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369031$89643805-0040-423E-93F3-891AD3EFC38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369031$DB0160C4-14DB-462E-94D4-EF69BE4E4007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369031$B0211F18-0463-4F8D-87AB-F83D278848B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"131238446fba0bd6355ead388153fa2cef15a4fe","datavalue":{"value":"5020440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369031$92994329-B290-499D-BBFD-5EC493671597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7740fd884459d6d68b0294cfac849ee8e951258d","datavalue":{"value":"Specification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369031$65022DFC-149C-4F6B-BDD0-297BACDF267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efc039af2773d4ab30cd2fe931d16b7ba5c9d242","datavalue":{"value":"Formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369031$C4446EAF-A2E1-4FD6-BD3F-4514E7359B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29ffbc925756bea0c1bdb4c62b4c0f12442c13a0","datavalue":{"value":"Algebraic-logical specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369031$964F6EF9-810E-4C7D-B433-90C0A69F3FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89f1e7a4f4546faf98bbb913454ec619b6c3d73","datavalue":{"value":"Visual notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369031$55D1FAC2-FAEC-44AD-9B5A-EF5017F8A687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa26151fa3ecf38aac5df67c7cebe0e2b3bf032b","datavalue":{"value":"Casl","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369031$0E01168B-B248-4CC8-9195-E456C9DE1E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940aece66e1720ec9224d2cef81bdc09054ab893","datavalue":{"value":"Casl-Ltl","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369031$F7602021-B846-467C-B47E-430F1C819BE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$7AC02A8C-50FE-4767-980F-D1E44E873DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8867cc230123c9cdf6c24d64516128716c50086d","datavalue":{"value":{"entity-type":"item","numeric-id":14336,"id":"Q14336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$05D47692-A6BC-4F0E-9812-A9A7F375300E","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":"Q2369031$B22B8ED9-5E28-44AC-8CEE-2EB7DE9126BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ceedcd018033a2b09ccf12075e477742ab7f720","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2005.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369031$77E36395-847F-44AB-8F08-2F590F0AA8FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"988fc147bc1caec7408acc0f0067532f2c820277","datavalue":{"value":"W2118793464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369031$D6CA38A1-344D-4157-956F-1AE6029A0002","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$A83A65F0-55F0-41A7-9A4C-B2232E091D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8200cabecba50f66fe66e260fb6e27f2873be1","datavalue":{"value":{"entity-type":"item","numeric-id":4255593,"id":"Q4255593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$C2F96083-1002-44DF-8E56-6F46A6259A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbb6fc051bac017f320199ce89e5f3b78c02ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1978639,"id":"Q1978639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$27F24A73-AE8D-41D0-961B-1D79B2638C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14603adc71cec4b44db8799c28d84177a0142b3","datavalue":{"value":{"entity-type":"item","numeric-id":5950716,"id":"Q5950716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$DAEF5B3C-AEBA-4EF0-8091-01ADD48B6A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ed5bfc76bfb70ae24cbb39dda8d2799364ea04","datavalue":{"value":{"entity-type":"item","numeric-id":4417825,"id":"Q4417825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$211C6B72-7D7F-44FE-8A20-A8BB49ACFEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebb05c6eb8c318e8a62358eee02d0809b73ede5","datavalue":{"value":{"entity-type":"item","numeric-id":4738215,"id":"Q4738215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$44068741-7A43-4B5F-955C-5920602E81D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$F8D8063D-3DB5-44FA-B4AA-A483BF91996E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683bcef649b0849fcdb32ca1afac6708148c0ad3","datavalue":{"value":{"entity-type":"item","numeric-id":5941194,"id":"Q5941194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$D98DB007-7A90-4C11-971D-776C25686542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485a6d0785d58fd942ab71ea44f13109c3c56e43","datavalue":{"value":{"entity-type":"item","numeric-id":5428889,"id":"Q5428889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$CC1BFED5-3A41-40A6-9A17-04E2434B700B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e0bd47d9954954cd1dac7f2484a2bf1f7d1c36","datavalue":{"value":{"entity-type":"item","numeric-id":2767172,"id":"Q2767172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$46A4F349-06B3-41AD-9771-73A7FCBD3982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53225e2f1f9e8873b0d749ebdf8961dd11cee266","datavalue":{"value":{"entity-type":"item","numeric-id":2722019,"id":"Q2722019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$F3E156CE-6CE2-4C36-8DD4-F842B1822DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77963f56155b039332e7acc4bc37870d7145ed28","datavalue":{"value":{"entity-type":"item","numeric-id":2369031,"id":"Q2369031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$E3A6868D-13D0-465F-9734-7E3AF200E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff77099a5ef5287257ac10e039695d8859bedf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1391733,"id":"Q1391733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$C0C041E9-2DFD-4495-9218-EC678D48A8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e54373fe511ea9d3e4c522472c7c40942ecc7b","datavalue":{"value":{"entity-type":"item","numeric-id":4399250,"id":"Q4399250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$0F67A55A-C40E-439C-81B8-DB2291E2600C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8928754714ccdbb97a43f72e18e8b92db08168e9","datavalue":{"value":{"entity-type":"item","numeric-id":4790386,"id":"Q4790386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$E8795130-0859-4AE7-886E-F9FF934539AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$26926665-844E-4FF2-98BC-E804FD4B9A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec25bc017d19eac1da27c5a979a2b9dde9f5888","datavalue":{"value":{"entity-type":"item","numeric-id":2764158,"id":"Q2764158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369031$8EA906E7-4259-4EEC-9C2C-8D7AA5810B92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6e8c46687ebb0d23bbe2036df611cce693eeb1","datavalue":{"value":"10.1016/J.JLAP.2005.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369031$5959CA8C-9DC7-4C18-BC65-8361888CFF94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c107ab2fda15a8b3ec0fafe2f51307d2a987ea","datavalue":{"value":{"entity-type":"item","numeric-id":3765228,"id":"Q3765228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4590940fac3ec3a4eeab0f03b0cf4cba6a397117","datavalue":{"value":{"amount":"+0.9311422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2369031$3B431B49-D38F-4AF0-8BFF-BEB02EC59236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb95ac63938cddaf154d3290568e8e6f413973c","datavalue":{"value":{"entity-type":"item","numeric-id":4267791,"id":"Q4267791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8121c31aa53d8f97b42749090bdcdf8b89037a34","datavalue":{"value":{"amount":"+0.8868841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2369031$ED825315-53EC-418E-BFA3-2C2746B7407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab8e75f09b9cddd7cd0e06d01ad398e5813f035","datavalue":{"value":{"entity-type":"item","numeric-id":3567780,"id":"Q3567780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92ccde385f626ef4f040acea82bd0fb9d156cce","datavalue":{"value":{"amount":"+0.88657814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2369031$B92F500F-375B-42A7-ABD6-14BCB05A09AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7e37a0137df4dd13b41dcaa26526d599eebd25","datavalue":{"value":{"entity-type":"item","numeric-id":4039486,"id":"Q4039486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ddf9d4b4f7900b5c7409fc346754eaf975a8fe","datavalue":{"value":{"amount":"+0.88264626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2369031$128C4437-E8A5-45E6-B3AB-189E0994B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704a1c5aa7741ffd48aef71c8b7046a88e827521","datavalue":{"value":{"entity-type":"item","numeric-id":4884901,"id":"Q4884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c32004851583cda7086acd6b993968e9d9d203c","datavalue":{"value":{"amount":"+0.8808126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2369031$E63A19B7-87A4-4B78-9B2A-1DB813835145","rank":"normal"},{"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":"63c42d0e9f7e5dca58e16281a6860ea4ce4b5ac0","datavalue":{"value":{"amount":"+0.87903625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2369031$6A633C8B-98B2-431E-8F2F-BA1A14F1C99A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2369031","badges":[]}}}}}