{"entities":{"Q911261":{"pageid":913109,"ns":120,"title":"Item:Q911261","lastrevid":65290233,"modified":"2026-04-12T01:34:19Z","type":"item","id":"Q911261","labels":{"en":{"language":"en","value":"A refinement calculus for specifications in Hennessy-Milner logic with recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4141478"}},"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":"Q911261$853A59C5-1CED-4EDA-9A34-3593489F9091","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1fc7fec5899ba503b4b34bb5c45c85b73fac590","datavalue":{"value":{"text":"A refinement calculus for specifications in Hennessy-Milner logic with recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911261$019DD90A-D71D-456D-ABA9-6066181594F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9192056e08bab373528f4012fe43c736433f053d","datavalue":{"value":"0696.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911261$581E53D8-80B9-4354-9278-30888D3EBB7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e62eced43690dce1d1157fec229ddcda16f869e6","datavalue":{"value":"10.1007/BF01887208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911261$E578FDE6-F68D-4987-B62D-B2F9866038F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ceb7ed606e189e9dec8aa6e7d9e2081a8f9886","datavalue":{"value":{"entity-type":"item","numeric-id":911260,"id":"Q911260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$2992A09B-AE18-48CD-B4A4-262457D1A81B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$403AB310-8514-4E18-AD7A-3946E38948AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q911261$C7D1A3B1-45D0-407E-A2AD-4DF582058DF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911261$A2CC7C35-1F47-4D2E-BD91-567338805D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911261$F7EB5103-DFB5-4E44-91EC-23C49B8D24E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911261$9ED0518B-98B8-4501-8A95-71B4C6CF0FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911261$8C3972DD-4394-46A2-94A9-CFE9938533C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb3ca27db1cd1085feadc73f841d508678d7249","datavalue":{"value":"4141478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911261$AFFBA209-F175-45C3-A79E-0F17D1F37D6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q911261$533532A5-A74A-418F-8E69-9BDD818277B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b74c4a726ac3754bf9e354eeab6ebf02bfa69c7","datavalue":{"value":"specification and verification of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q911261$EE27FA36-ED90-4BFF-AA06-3C540C3373CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e3d278e5c1ed918bc8fb4596484339a3e4a8251","datavalue":{"value":"Hennessy-Milner Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q911261$E4E48AF2-ABBB-4279-9FB5-4F963CD0C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q911261$350C9AA1-1B01-45AA-B803-153DD46A7E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q911261$B24775EA-F81B-4FC0-9DAF-162521A4B235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q911261$869D0864-E9B4-412A-80CE-871E033CC93F","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":"Q911261$F3B77FCC-11FF-418A-AE6A-964AB3FF5C47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$E5DD3669-872D-460C-83D9-071AD4C8E006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f169d1d0deaac447dc236e44ef2dcda7febabf","datavalue":{"value":{"entity-type":"item","numeric-id":3343432,"id":"Q3343432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$62A38437-D2DE-4B28-B37E-F8D9A92F9AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$A2A31D40-B192-4A3B-9DF2-CA40C530B1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$2B8CAC22-4F8D-4F4B-8816-378E17A3E51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$28573658-8FA3-4145-BC20-171BF7E87BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$2A195C38-59EE-46E9-AC20-F286F4C2CA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$859DFB18-8229-448C-9211-54503EA2C231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$B95C9A48-EB58-4525-BD20-430DA0C6B0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74cc36d67bfa05327429ce9b5a018fb52a35f57","datavalue":{"value":{"entity-type":"item","numeric-id":1060006,"id":"Q1060006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$771F302F-18EE-411D-BD6B-DBAD0CE178E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b3202d0a36de134fc126e958e9cdfbcf16cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3707371,"id":"Q3707371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$0317C6DF-E5FC-4A3F-B547-752DEEEE91D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$D52A0547-BED7-4EBF-9BF9-3A6229B27FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7bd2820fe3f1cd359c9a558d9702d9320e1bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3711741,"id":"Q3711741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911261$EE0E9554-0565-4A87-90C4-4B54C8B4B322","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a347481374ed1c05c451aeddf4f14af0580bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44604cc08ecb48ffc65861d427242a81cc39273b","datavalue":{"value":{"amount":"+0.7789245247840881","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":"Q911261$3FE7CA70-4530-46DB-909B-64A90499CE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662f513c1fe02d885b44f5224b251af20d9f189","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d883dabd47daadd542aa9bc8afe74d642ca8491","datavalue":{"value":{"amount":"+0.764170229434967","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":"Q911261$ACA35802-845E-4447-8361-6B5B42CD40FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4387c4563cf0ae3b4f2060e6afc4d68dca9270","datavalue":{"value":{"amount":"+0.7568380832672119","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":"Q911261$EE3BB6D3-816F-40EB-9ACF-0E1E5144BAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c433e74673e6cc6040f2458a29df299aa9a9b2d","datavalue":{"value":{"entity-type":"item","numeric-id":931435,"id":"Q931435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c0e640388342dfc247f33de19126474f8a9aef","datavalue":{"value":{"amount":"+0.7561632394790649","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":"Q911261$CC95ED88-9AA6-41EA-84BA-7B8DF3E29766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d85414f397359ae9dd3e4272c728179fdc82e51","datavalue":{"value":{"amount":"+0.750434398651123","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":"Q911261$8EAE4DA0-29D3-42F1-9B63-E1E7EF1DE245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A refinement calculus for specifications in Hennessy-Milner logic with recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_refinement_calculus_for_specifications_in_Hennessy-Milner_logic_with_recursion"}}}}}