{"entities":{"Q5415608":{"pageid":7445182,"ns":120,"title":"Item:Q5415608","lastrevid":51997463,"modified":"2026-01-20T17:26:37Z","type":"item","id":"Q5415608","labels":{"en":{"language":"en","value":"Complete axiomatization for divergent-sensitive bisimulations in basic process algebra with prefix iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294810"}},"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":"Q5415608$31D5FB17-272D-4C5D-847B-02E43C66AF0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f46edbcdeb94a1bb9adb50a24ba561d3484580e","datavalue":{"value":{"text":"Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415608$99DD1046-C814-4D07-9739-CE9ECE12CB63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b5bcda152af2e2aa812c4b02d6b346b5435ace3","datavalue":{"value":"1286.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415608$7437C334-C380-43D3-8518-5C1075370C5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$09F17D79-F584-4D24-B562-0869AAD0DD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7c0d9c509eb74be8ff2fdfc3b34e499a4f6cafc","datavalue":{"value":{"entity-type":"item","numeric-id":971581,"id":"Q971581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$6C0FC728-018A-45DD-B1D8-430583B12116","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$1815AC3B-6501-4746-A4CA-6748FD538095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415608$FBCD129C-8217-4565-BDF8-40C20956EF51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415608$9BDA7664-C833-48BD-BA53-668182C87AE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf66806d515291d99b76d3b8f51e512a138194fe","datavalue":{"value":"6294810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415608$3A957252-D5F3-4C37-8684-F6365F33281D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415608$BA5A140D-8C90-4929-AF48-E2E2061CE628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415608$60D554EE-2C9C-448D-BFCE-BA593C995708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab95fc023f5fff7fb891939c30f47a3ea8bf388","datavalue":{"value":"axiomtization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415608$64CFE025-79DE-4111-9D84-B44F1EE5CC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fdeb0e80ddf5446d342f7e46cbacff269ec178c","datavalue":{"value":"prefix iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415608$10048620-99C1-4459-9E56-FD37316BF4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415608$BC9D170D-7901-4EBD-80C3-D0C98112DE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415608$9C3187C6-A83B-40D2-B851-E5EC3B88A510","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":"Q5415608$8F03FB03-4E3C-4768-872D-F32827430EAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74ce2a77c78ff87c0dfe0c568efa1693e373eaff","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415608$6B1FD6BF-BA65-471E-ADD5-943640387BB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"179bbb13ef87a3be9997c2feaa78e514f73051f8","datavalue":{"value":"W2107198667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415608$BA932742-93DA-4527-BB7E-FA725EFB3873","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$A9FE30CA-2AE5-49DE-9457-25A28EECC0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4880dd72a6b73f3051f9222a5858c78a6d5e7ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2760242,"id":"Q2760242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$3C3FCFEC-7547-4B57-96B2-38D263ED6295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d155e008cd3086cb1c855d15a5bd52a25c66575","datavalue":{"value":{"entity-type":"item","numeric-id":5491512,"id":"Q5491512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$B8D56456-8CD7-4853-B78A-3557A991C1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1369b26093fdd94a7eeddf6dec291998f31f1433","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$A03CF319-7F25-486A-9255-6C4F0AF8C578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776e9bb2630af984cb377be363b40fad99700a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$6495BDE6-816A-4F79-8757-6093B7F222C6","rank":"normal"},{"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":"Q5415608$B94DFB94-7E4F-4E53-BA78-FCF0D7C11A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$EE89464B-B20C-4817-92F0-1778FE1742D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c12d01b4b17dcba5eb7f3e67eea2f1bdd2eaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2581532,"id":"Q2581532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$D2802EB0-C5AE-4EB2-BBD6-F2B1F15D8103","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":"Q5415608$ECC3DD2F-3D4E-421C-9F26-8E5CE5ADAC5E","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":"Q5415608$5A5F6DB9-3E33-4D92-BAFD-753A96D6377F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7342796900f8e29a92dd3d0266cf08b31f811fc","datavalue":{"value":{"entity-type":"item","numeric-id":1377607,"id":"Q1377607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415608$01EAE302-8A4D-4212-8EF2-C9C226127DD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06475c6c1435bd9c728467e6a3e859501bc09daf","datavalue":{"value":"10.1016/J.ENTCS.2008.04.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415608$7E6C5D69-EBCA-466B-825A-0229A01196B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c50aae4de4bcd4065d36a1f76443486ea276627","datavalue":{"value":{"entity-type":"item","numeric-id":2581532,"id":"Q2581532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8c4046d487459ba26176d11e08ff96cd387106","datavalue":{"value":{"amount":"+0.8362073302268982","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":"Q5415608$951DFB5E-BD1E-4C14-95CE-96D7C5A1097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4351b36552928a88c1bc395daa0e577a8f716a","datavalue":{"value":{"entity-type":"item","numeric-id":4737191,"id":"Q4737191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1986c96d626327f857d14ab68e9467586d21949","datavalue":{"value":{"amount":"+0.8127923607826233","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":"Q5415608$2497069B-DC52-4C75-886B-1A4E794E30E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc45bf783bf70ddd003533537f8bed9c6b2a7dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4880140,"id":"Q4880140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c349946500b9efaa07f053e0df5e3e2ec073a6","datavalue":{"value":{"amount":"+0.8082773089408875","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":"Q5415608$ECB060F7-F468-435E-89E7-A6EF307B8ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f044fa9d194c4a693b2ba6fbe0ea5a90cd1555","datavalue":{"value":{"entity-type":"item","numeric-id":975471,"id":"Q975471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4da774a94da58cd8959192ee774e1a0cc4b14f","datavalue":{"value":{"amount":"+0.7804774641990662","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":"Q5415608$D4A96BA2-8EE7-43C4-AAE9-F87A392606D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3633936760912a83cabf30f421c8ae6011a10927","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10224a655072c238e6fea668bd8835045a0789e4","datavalue":{"value":{"amount":"+0.779024600982666","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":"Q5415608$793E16B3-96B1-4370-AC90-86C390F434CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415608"}}}}}