{"entities":{"Q685407":{"pageid":687256,"ns":120,"title":"Item:Q685407","lastrevid":47188921,"modified":"2025-12-31T23:10:22Z","type":"item","id":"Q685407","labels":{"en":{"language":"en","value":"Bisimulation and action refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417347"}},"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":"Q685407$3CBAE719-951B-461A-9D65-633DDB486649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3bb060208adba3526c54f1c9ad8eec6cb1165b2","datavalue":{"value":{"text":"Bisimulation and action refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685407$314665E7-09E8-4467-AF33-5BEA837AF171","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a8df83b61a3ff76d02b6514fe8c8a313ec39161","datavalue":{"value":"0778.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685407$1A027381-EE22-4C6D-9983-A2DB7B8006E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"307706ecca8e5f2394207a0fa4c96c5b49b963db","datavalue":{"value":"10.1016/0304-3975(93)90157-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685407$2ED1E722-32B3-40C4-893E-7DD3E7656A72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$41586B56-BA24-4AEB-AD9B-E0AF3B980261","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":"Q685407$E5BF58A4-CCB1-4D96-8B21-5B537342DD60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685407$6DA49A97-5363-4FFB-AC35-2C2AA912DCCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685407$15FBD2AD-BB78-49B6-A592-AA47DA70CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685407$733D8244-8FDD-45C1-9DD2-0FE12D6DA4B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8b892db0b46f25cffac23e3c363633f9ef517bf","datavalue":{"value":"417347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685407$7F6AD19F-04A6-4040-B3FA-EF7B665B15C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q685407$42CF6C90-3839-461A-AD9F-10EB64F013A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d160b8de75134e36705859dac4a6bafb49e764a5","datavalue":{"value":"Action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q685407$4E457638-09EA-40F1-B19B-8A5DE82027AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685407$30D8BACC-7FAB-46C0-AEC4-44F39C44B9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcec355b6af350573e56ca96e093fc083554c280","datavalue":{"value":"silent moves","type":"string"},"datatype":"string"},"type":"statement","id":"Q685407$ECEC9C7F-98F6-467C-B7CA-D6096B476780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685407$7B5935B5-2569-4A7A-8E24-7F04F70831F3","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":"Q685407$1B09FB27-8F90-4207-B822-88BB8426FC5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fd11f4a96ee7eac280113e91bc424c6adee914","datavalue":{"value":{"entity-type":"item","numeric-id":2736337,"id":"Q2736337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$C2F0217D-53E9-4A74-8606-99AF3BAB4AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7f674e134b0d4b291fd6a87d049ca54d21c36","datavalue":{"value":{"entity-type":"item","numeric-id":3204033,"id":"Q3204033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$4CBCD29D-2D40-47F6-8477-7539CCD92CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22009a794e4c840afcc799d53edc162b0101c3","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$3B3A256A-87BC-4EF1-AC04-845286E8FCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$163D1451-5CDB-48C2-919B-7BCF976CE1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$848C45B1-5DC8-4EF8-91F8-B6153BADA8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1c26eb19363f0d01226bbcc19585d42b1b49e7","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$ACFDD7E0-CCAA-4B3E-982B-0D96BF7F0C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c701dd1a5522207be3751726c737d95d1ecae8b7","datavalue":{"value":{"entity-type":"item","numeric-id":4430315,"id":"Q4430315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$64F89283-3F05-4BBA-8DB4-95C30B926DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$A10B7000-15F5-475C-A667-5D9533FED16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e961e3a41aba0c299586df0decbe45224cd9e3","datavalue":{"value":{"entity-type":"item","numeric-id":1193655,"id":"Q1193655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$3143EAC0-83D9-4B9C-95BD-E68D00E33E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b93347844b58ed0c02d923d0992858fa5eb3427","datavalue":{"value":{"entity-type":"item","numeric-id":6038433,"id":"Q6038433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$20A41763-DACA-48D5-A482-E2C629ED53E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$9AF393D8-4928-4D2E-AE9A-FB057915DB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$EC948D39-7878-49E4-ADAD-153BFB2E6F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa915e4a3793e007d72a476c2cca13db4f624bca","datavalue":{"value":{"entity-type":"item","numeric-id":4035238,"id":"Q4035238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$FDDCA098-74E4-4273-AC5A-620223F4B323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$6F27CD8B-652A-448B-9C32-7535E902E0CA","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":"Q685407$C36C714D-14EA-4776-837C-B2FE83523BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$BF8225FA-8CF2-4542-B038-37D8E7EC7068","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":"Q685407$FCA73FC5-6FDB-4DCA-A153-6EC91DB018F6","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":"Q685407$C4444D7F-8621-4EEB-9FF0-97BFCF851A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c6de95618463b21689db2544ecfc49910d2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4733430,"id":"Q4733430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$95EAB0AD-53B2-402F-ACBE-1EB4D8033BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$1166C077-995D-4672-AEA0-ABE4470092C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$5E69EFC5-7986-4064-B151-91512E439706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$AEDD26FB-0BAE-4A13-AE8B-958B2F07F3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$EEAE66D6-4AA3-4AF1-9C5F-A02B3C70DAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b975344eef28b0a3586df3f3002123a1b83601","datavalue":{"value":{"entity-type":"item","numeric-id":757073,"id":"Q757073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$A2B54CCB-8BDC-4424-83F5-447587984834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944b5a6f3eff57c1c73ac2a8925099cba767dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4035680,"id":"Q4035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685407$BB360BC0-0D02-459B-BB3A-D7B42654A658","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e7a6e06e679dc64583429b60341ae45e8fabbd","datavalue":{"value":{"entity-type":"item","numeric-id":4035680,"id":"Q4035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272ff756ffd9f04f8a7e1788038990c5c686407d","datavalue":{"value":{"amount":"+0.9243447184562684","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":"Q685407$7906C822-B8C6-4DFF-9BF2-FB4F45E01D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f37a8ff9ecbda14f883f2fae14c7caf7bec9adf","datavalue":{"value":{"entity-type":"item","numeric-id":5750408,"id":"Q5750408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272ff756ffd9f04f8a7e1788038990c5c686407d","datavalue":{"value":{"amount":"+0.9243447184562684","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":"Q685407$595676AB-2044-4633-938D-EDDBA9E53987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6931d0398142a517ff7f7b58b2877ec065cf5fad","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94140f0a329d3fca947b346d278dcfee6eafcdac","datavalue":{"value":{"amount":"+0.8757209181785583","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":"Q685407$5A1621B6-2608-444B-A8EF-B43CA8C43E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cba1ea4f5a5b765fef46bd96a303c6af0eef77a","datavalue":{"value":{"entity-type":"item","numeric-id":3359754,"id":"Q3359754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94140f0a329d3fca947b346d278dcfee6eafcdac","datavalue":{"value":{"amount":"+0.8757209181785583","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":"Q685407$DF3104F4-4EA1-452D-BB4A-08C33183CA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2979c29ffe68c1267a840f5ce61ec5aa5fe94bb","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e44957b606c5e38d7b2a895fb79d10ccb6a6467","datavalue":{"value":{"amount":"+0.8346085548400879","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":"Q685407$D8905EB0-A87A-4ED8-B199-EAAC74FE7020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685407"}}}}}