{"entities":{"Q580965":{"pageid":582732,"ns":120,"title":"Item:Q580965","lastrevid":62924676,"modified":"2026-04-11T09:01:08Z","type":"item","id":"Q580965","labels":{"en":{"language":"en","value":"Observation equivalence as a testing equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018364"}},"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":"Q580965$B08CEF72-2B91-4385-85D2-47B2D00EC6B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04e3658c130cedad637a747381ceb7dc2dc989e5","datavalue":{"value":{"text":"Observation equivalence as a testing equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580965$65A2BD06-538A-4D6C-A538-2749EBF922BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9225bb65bae6a00bfa25482b0f4bfa3a90dbacc7","datavalue":{"value":"0626.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580965$6805E4AD-8882-43B6-BDE7-D02E8E88DC10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0e81fcd2d11c46242fdb348c3332ee709919da4","datavalue":{"value":"10.1016/0304-3975(87)90065-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580965$DAC8DD44-4EFA-4677-A47E-D5E4B5609544","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$C67CE3A5-B44E-4C9B-AA09-2736D4168FF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$55090B6E-3DF9-406B-92EC-505E41D85DB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q580965$87AE2AAE-4F81-43A9-A58F-05511BA3519C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d012a44968c43fa26d4fdee923f14076b336f78","datavalue":{"value":"A notion of testing is developed for transition systems with divergence. The forms of testing include traces, refusals, copying and global testing. Both denotational and operational formulations of testing are given. The equivalence based on this notion of testing is shown to coincide with observation equivalence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580965$A7B81405-6D38-4C0F-98C8-9FBBC11EA262","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580965$AF7622A6-E1FB-4073-B5C8-D6851BDCE018","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7bd5477220d844ea23a4c5f6dac93289593468a","datavalue":{"value":"4018364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580965$A089C1C3-DBAF-4711-A541-415DC09753AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q580965$A79002B4-3E99-416E-9971-74A829C92E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q580965$C4663DAA-6FE2-45CA-BED3-876155DA5332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q580965$A0B8856A-25C2-4086-9E92-0A80E96A480A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q580965$0B03B8C1-42E1-4535-BEF0-3A767CF21174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q580965$9A349E3F-4765-47F7-8E33-202EE85428FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99b303e3feeece5a02b9afecaaf94191935cbdb8","datavalue":{"value":"transition systems with divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q580965$16BC3D88-FBFF-4C2E-A885-BB609D2E7F04","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"41f786091431c7109fe08990b52a1e7d3d011853","datavalue":{"value":"Q57006959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580965$B94F4DFF-3EED-4F5A-829D-F990C2CADD79","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":"Q580965$F0C478D6-B3B4-47A3-A94D-C16F8E46777B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e5cad276a943b8aaea7265035ba7e1a6035feb","datavalue":{"value":{"entity-type":"item","numeric-id":3711740,"id":"Q3711740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$1F8A5974-50EA-4393-81B2-84538CA7DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$BD2EE817-A494-4731-8211-357F78D6B462","rank":"normal"},{"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":"Q580965$285FEFAC-F5B7-4804-8883-80D1143CEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89a80ba258b88ead3c75bcb3d478f088a6b8919","datavalue":{"value":{"entity-type":"item","numeric-id":3662610,"id":"Q3662610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$CA02287A-C567-44B1-A6F4-8B62BBA0C322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$E369E834-1FFB-4CBE-ADE2-7854D3756C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$338A8F3C-4164-4F71-B94D-18F31A710364","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":"Q580965$D8F38D6E-0633-4BBA-90F4-F036F5035123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$5F2DEB69-499E-4BA8-A1D9-7D86FAFE9C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109a86db3693209ca35963fd1b3aa330ada8ab52","datavalue":{"value":{"entity-type":"item","numeric-id":3725532,"id":"Q3725532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$953EDCA8-7B40-4D43-ACD4-09EE330E8F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$E91C14FF-37C3-4887-BBCE-3E1CF5A1B93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6cf732d2bd1cdce509a9503301c047678392e24","datavalue":{"value":{"entity-type":"item","numeric-id":3313252,"id":"Q3313252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580965$74BD7657-168D-4BA2-913F-AAD9991F5798","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe45ad5807116c5059c480599a8be92cbc422d30","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90065-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q580965$8C5A11D2-76FF-433B-AB9E-8967ACFE1D3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ce3ca8d929d84ba18b5bc6342082ad8ad19d48a","datavalue":{"value":"W2167004912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580965$898611E7-02AB-4B69-9524-0560BE8762AD","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"dfff3e2097ed652c5641a57c530f1d730c2b885c","datavalue":{"value":"journals/tcs/Abramsky87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580965$555D9CED-4FE1-4F03-AC0C-62F5A09EC4DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f0ca48a8967be33fec03362ea6b9000e0d5986","datavalue":{"value":{"amount":"+0.8159444332122803","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":"Q580965$AE2EEEAD-9A2C-413B-BA2A-D79AF1D8B2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e801cbfed692536ad3a291e1df11a86377d37b11","datavalue":{"value":{"entity-type":"item","numeric-id":3725532,"id":"Q3725532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04e78ededb64b7339d6e481b306dcb8a290d420","datavalue":{"value":{"amount":"+0.7854461669921875","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":"Q580965$CAB20217-9164-4A74-BA2B-F48C08939A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d329cede1eb766d06c8624bca6caafbf7db81710","datavalue":{"value":{"amount":"+0.7685036063194275","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":"Q580965$EBD2B436-EF21-4531-B450-B301CBDF2FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c83cd37235ed39f4f4bde2119fddf147082822","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05963068bd2e3908bf2a2f30dbf6e1c277fa6af4","datavalue":{"value":{"amount":"+0.760294497013092","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":"Q580965$FE871BD8-BBC0-410E-B90C-255C8AEE0997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57833c07d14ebbbb8657494dc142f18b5825a257","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107f272463f25b462636648d88552100c3a27ffe","datavalue":{"value":{"amount":"+0.7591991424560547","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":"Q580965$50B7501C-3599-4F5A-A3B6-42BC24EBF94A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observation equivalence as a testing equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observation_equivalence_as_a_testing_equivalence"}}}}}