{"entities":{"Q672231":{"pageid":674080,"ns":120,"title":"Item:Q672231","lastrevid":63704163,"modified":"2026-04-11T14:58:25Z","type":"item","id":"Q672231","labels":{"en":{"language":"en","value":"A complete axiomatization of timed bisimulation for a class of timed regular behaviours"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984874"}},"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":"Q672231$DA7110E2-9723-48D1-B98E-2D1932C05F79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"796f19ea5870645500198b9322d8c87d533e7929","datavalue":{"value":{"text":"A complete axiomatization of timed bisimulation for a class of timed regular behaviours","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672231$41CC1FBD-2376-4DD5-9AFA-F95F39B60509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ded640030f40a1d970aadfda19083cb5f5eef0f","datavalue":{"value":"0872.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672231$C49549F0-17AD-44DC-AE92-7A431B992B8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c37aaeefdb6426c0cc6a4cf4b76ef96dd8e7aa2f","datavalue":{"value":"10.1016/0304-3975(94)00285-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672231$804772EC-7C53-4092-8EFE-A92ECBF02631","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$51605F6B-03EF-4028-BE4B-1092373391F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c07df3e9710693ca2029d56f2786e60cd031e8","datavalue":{"value":{"entity-type":"item","numeric-id":276477,"id":"Q276477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$4293B7B2-A564-4F2C-8902-180DD37AECE2","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":"Q672231$54459177-15FF-49CC-87DF-A3466F6A7330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672231$12C03E76-2E7C-494B-ADE6-88005E88101D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672231$DEAA256E-C3BF-4A8D-8B7D-CBF30985BE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672231$F0394A37-4407-4131-96B2-D24ED83F5CC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c046a845b28920fa901d4ea6bc2336c6a696cc","datavalue":{"value":"984874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672231$279F8DD3-0EAD-492F-9EA2-5C72EAECA541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f31087d7038bde58cef14722af1ee422d28db78","datavalue":{"value":"standard process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q672231$914FF8C5-38C8-4E44-8F8B-B64DF52868FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a6a8d9b1c665fb2b05aaa69d3040f26504d578","datavalue":{"value":"timed bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q672231$5015EEE4-C650-4788-AF8F-00CF05D2D6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8304e273f0e6695a65abc592928c8ce1540668dc","datavalue":{"value":"open terms with finite-state recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q672231$3DCF02DB-8279-410F-A1A0-7BF069041DFD","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":"Q672231$9B71614D-93E4-4B2C-87A9-746951508BD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"537b9526f2cdeb8028b7e75fb7e96d06d8c4da74","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00285-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q672231$281D3BF3-A1CE-4645-A047-35F0FDB46FF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cbb9cc9e6dbc929bd8664e74e549073866de9be","datavalue":{"value":"W2043781314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672231$19424130-8673-4916-87F5-7C64DE65E216","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$9B06B813-E8EC-4062-A9FB-984209FB8541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$936BA3BE-B8C7-4517-B8F9-8ABD83EED89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$0158B413-4742-439E-BE02-7CF2051874FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e6d711040c4bd1dabfead393f4d4c94cbf8dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$16786613-753A-42A0-8644-21EE386AD3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$3AE099CB-68E3-4E58-B8E8-D269AF98D48C","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":"Q672231$D4D58AB0-1DC9-4AF1-96DE-D53696D93AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$35CB40CA-9716-41D2-B68D-59912C8B60B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$39142BBA-A96C-4E0A-94C0-159476412DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$A49D36F9-5012-4330-9438-F5FB26BFC767","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":"Q672231$BC5BFC51-E279-4D7C-A073-36C209C5F24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$74A92FD7-DD25-4FD9-A690-887E1F1AB423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$A0076AC3-0533-42B4-A695-F74917A6DC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672231$62911CDF-8D01-4A2D-B9A9-FA8415D172CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3794c0822d7a31cf42ac658b3bda9521f06756","datavalue":{"value":{"entity-type":"item","numeric-id":4235435,"id":"Q4235435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f6ad9515c6110b69983cf2158780dd10434dd5","datavalue":{"value":{"amount":"+0.8785368800163269","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":"Q672231$6A28F46A-750C-4CE1-B03B-7784E0759815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfd046a92a4ddabb1864ef0107d9abff346ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4472451,"id":"Q4472451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6355a072e11e076a452246fc96954b9b8bff140","datavalue":{"value":{"amount":"+0.8078422546386719","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":"Q672231$C6016BC3-FFED-48C3-A553-11F33F049532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3713ab19c69ba72c4fa21353c1dab30c48e96b","datavalue":{"value":{"entity-type":"item","numeric-id":1608937,"id":"Q1608937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e57a71e93c1491133a0680c60cf60bb05b68626","datavalue":{"value":{"amount":"+0.7817535400390625","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":"Q672231$2366DE62-E4E1-4A0A-A858-40884E9C5F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c2fec342ecb4e94948044b707e10f884767beb","datavalue":{"value":{"entity-type":"item","numeric-id":4508304,"id":"Q4508304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ec722f4527a6e4f51c3a762b696d781ec7b144","datavalue":{"value":{"amount":"+0.7724199295043945","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":"Q672231$E480DCCA-6538-425F-B25F-3B476076859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14006c5fc1c2445fc179a31a15044d44366abf6d","datavalue":{"value":{"entity-type":"item","numeric-id":5890048,"id":"Q5890048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c370c19e071677c0a522108c3ec52c8e28e354","datavalue":{"value":{"amount":"+0.753405749797821","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":"Q672231$F6A3BA40-3EEF-4D11-8579-4DC209AAA6D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete axiomatization of timed bisimulation for a class of timed regular behaviours","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_axiomatization_of_timed_bisimulation_for_a_class_of_timed_regular_behaviours"}}}}}