{"entities":{"Q477208":{"pageid":478975,"ns":120,"title":"Item:Q477208","lastrevid":62118936,"modified":"2026-04-11T03:53:26Z","type":"item","id":"Q477208","labels":{"en":{"language":"en","value":"Model-checking process equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376194"}},"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":"Q477208$879D4F91-05B3-4D24-B586-49D6A0D389B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f367d2e3e2baf2289e5726bef76b35d825d8ce42","datavalue":{"value":{"text":"Model-checking process equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477208$111E26B9-6543-489A-A93D-70635FE3D637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e5a6901c84f9f95de81c5c8298ef92e3877470f","datavalue":{"value":"1303.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477208$F74D95C8-4913-496E-A369-BFFA3D4A7645","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$6444D4AC-6A93-4FC0-82A3-F39F1A72634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$245C8B73-B30D-412B-A5F9-5472D56EC157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9f5994a2d2a03e23ba50f3a2f7daf5928f6ec07","datavalue":{"value":{"entity-type":"item","numeric-id":477207,"id":"Q477207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$2F78D974-24C0-4770-AC50-E76F763B580E","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":"Q477208$562AF351-EAD6-433A-85F6-F5F0FB8B1D7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73dfefec2f6ca5d698146ea0cb5593f631aa8cde","datavalue":{"value":{"time":"+2014-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477208$11C72A51-A142-4DFA-BD8D-A07971BA766F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1878991b843c825ee215f5bbf6f88b28d8e672f0","datavalue":{"value":"https://arxiv.org/abs/1210.2451","type":"string"},"datatype":"url"},"type":"statement","id":"Q477208$D175D0ED-065A-479A-BB0F-2D5E248682B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477208$AF784013-606F-4E70-8A13-B98CC3BCFF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477208$29430F69-22A4-4892-B8B9-C7CCAA90D960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477208$D75F1C2B-2902-498D-A596-45F6BEF3435A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a49aab3eb8388149200642f29566ef3d87da0f9","datavalue":{"value":"6376194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477208$E9A3060F-052B-4BFD-9C45-2C664D075F1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q477208$AA324000-8E13-4679-A293-B1A77FFC60BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2ed08ed2b532b45432dafb6f4446c9a79c6fb04","datavalue":{"value":"process equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q477208$2F4E013B-E871-4774-9C84-5BD608ABF9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d342cb48cac097ce3adefe67accd41ed2f4ce58c","datavalue":{"value":"polyadic \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q477208$C50D8DE4-AD19-4566-923E-84ADBCCB2BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1396b5adc2942c35f50a960647abb7025d3c14f","datavalue":{"value":"higher-order \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q477208$C86D6827-C756-4512-8F5E-F00D695E61CB","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":"Q477208$A5AEDA39-6384-4830-8747-ED728F9E00A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5f8f2eed6346b7598027d05a6d5dab774f10731","datavalue":{"value":"W2034020594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477208$DC89F37D-C7B9-4483-8413-36999E177471","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$49A1A72B-8397-45EE-B64D-48E72DF93B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$CC695ADA-B3F2-4D2E-84CA-39048EE8A089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$EF88BDAA-895A-4C77-85E3-B8CE1F5B7EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$1D045CAC-A29F-468C-BB4F-C4D112F3525D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219f2c95e003de66dc6439cb3c03fdbe5010ab47","datavalue":{"value":{"entity-type":"item","numeric-id":1960425,"id":"Q1960425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$F3BBEAE2-D941-4CD4-8AD4-0B34F5308597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$C3E1375D-6206-4DA5-B9FB-B7F44B39418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef4294e4bb133f34efdc0670d10135f6d90bb78","datavalue":{"value":{"entity-type":"item","numeric-id":3498457,"id":"Q3498457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$39A1F1A6-9A4E-4DD4-B075-3E54D533991D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30652f58409f96f54ee0b1ee5b53a280406418","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$D7F4672F-8354-4537-AD8C-E65AF0F248DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d131b8b926dc8bc91ca681921f797807bee02e9","datavalue":{"value":{"entity-type":"item","numeric-id":4251067,"id":"Q4251067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$29D7661F-30E9-4056-95C4-58367C12F387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4d956689c6671d1cb3474da0bd65f577a130fb","datavalue":{"value":{"entity-type":"item","numeric-id":5854737,"id":"Q5854737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$F949DFD5-CE2C-47F9-90B4-8D72BDC635BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d5530043bfb0e8fd9eaa03b70846570cd1003d","datavalue":{"value":{"entity-type":"item","numeric-id":4986504,"id":"Q4986504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$3AE9D41F-FD7D-4F73-8C3F-078F8F04A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$C2688A29-4D76-489A-801A-5368E743CB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$847FC57F-E56C-4169-A3E6-8F69DE4F73A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f1cb1a313033ab6eef609a47c5ea7fde476c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854506,"id":"Q1854506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477208$EC7D7CF0-0BBE-40F1-9CFC-AC85554F6F09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28aa4084dc95e144e93b5272b98076091c92c67b","datavalue":{"value":"10.1016/J.TCS.2014.08.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477208$DCCBF619-BA33-44ED-A823-550189245FFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da35acec787b7f62602853e0d4aefed6a3bc0e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4986504,"id":"Q4986504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1728cc8c06fdc0f6b9b56e7f39dacbdd068e5c3","datavalue":{"value":{"amount":"+0.9874951243400574","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":"Q477208$90E05DC2-2294-40D2-BCAC-561831E2F3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ff7f27c217304396ac268c4f3f646f59170b52","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619b8f5a612d6f5071d71c09d13182a444d02a99","datavalue":{"value":{"amount":"+0.779329776763916","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":"Q477208$C2B97B89-6E85-4C92-A2E9-EDA1AA2863A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d71e59c6c5bd8398351effc7ce9b85d8d9e4dca","datavalue":{"value":{"entity-type":"item","numeric-id":2409577,"id":"Q2409577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa7dbb7b2e7b2d46ca557d3b4b3ec46bdf8827c","datavalue":{"value":{"amount":"+0.7782737016677856","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":"Q477208$09930EE2-2791-41B9-8117-ECD725B40932","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":"e470bd2a67be7286119f4d8e6057bd2759064e58","datavalue":{"value":{"amount":"+0.7663747072219849","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":"Q477208$0BAED6DB-27C7-4E91-B284-5F153969B0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532da0e7d0f996a9c558e3a78df28a96b8510f4e","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f636efc2f30b209d1cc3a694bf1e5556976a8ac","datavalue":{"value":{"amount":"+0.7613171935081482","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":"Q477208$EE195DB3-6964-4FF2-9696-D21424F118C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking process equivalences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_process_equivalences"}}}}}