{"entities":{"Q2870192":{"pageid":2880912,"ns":120,"title":"Item:Q2870192","lastrevid":51906149,"modified":"2026-01-20T12:40:19Z","type":"item","id":"Q2870192","labels":{"en":{"language":"en","value":"Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247487"}},"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":"Q2870192$CBFC9F86-D701-4499-A6FE-82D0B65BD028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e006e8acd0df15b147679f5a7f0a87908dff3d2","datavalue":{"value":"1279.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870192$72AFB529-A3FA-42B3-B36E-2BF36ABFCC64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$A939BE5F-F96A-4F52-B0AC-03486565EB31","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":"Q2870192$31E85F8B-A4B5-4513-A08C-DD471E6F1A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-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":"Q2870192$8533C8CB-634C-4934-8930-B4839E678B14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870192$7998758E-DD4C-49CD-A1B5-27DDDD7D9445","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ba4f17ab2e54fcf41059b1cabb77bfcff6a10f3","datavalue":{"value":"6247487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870192$BA5BC00A-E5CF-4144-BE05-C0ED7E7D3E66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870192$1FB29B5C-20FE-4C6F-BCBF-CA4A3B529482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870192$754ADB15-FA08-4D3A-8794-A4EA935CB3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5d854f303376b7cdc2b3e650670dd1dd2ec1a5","datavalue":{"value":"action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870192$79A8627C-6A53-4A20-974C-95AE21517033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb61f27a4cec028b01be53bfe5e9b10ead2b36a","datavalue":{"value":"maximal progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870192$27C71A56-1364-4292-A71F-1D884AD75924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1437fa18827480bf903fce7f703a4099c9a37cbc","datavalue":{"value":"timed actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870192$C42F89A3-FF58-4B55-89DE-5662B3C7A154","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":"Q2870192$51F35265-4476-4D25-83D8-B45EC5B9F97E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"544aa3285eb528e63a1a1e4f692fc44d52f32502","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870192$335C5782-2983-49C4-8BF7-722B36ADC8CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eca7c03e90769af0827b479754221bf13aac2559","datavalue":{"value":"W1977555802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870192$E72CFA32-B4AD-42A0-830B-CB960CDDD920","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"767badc21ae6235cfc7e3acad62900894139de46","datavalue":{"value":{"entity-type":"item","numeric-id":5262952,"id":"Q5262952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$876DED96-4C70-4850-AE55-9FF27D3170DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21343c34e2ab8c20ef0fea79939b521957ecff7c","datavalue":{"value":{"entity-type":"item","numeric-id":5897487,"id":"Q5897487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$2FF2DA1A-8A6F-4488-B436-FC6423F6659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d0dab71c27eb6ed2a65ad1e60b3aa00ffe7e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2842864,"id":"Q2842864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$B30D83B9-9306-4244-A6BE-E02BC11538F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e139fc47e473fc676314c69212ac946a0f90e5","datavalue":{"value":{"entity-type":"item","numeric-id":4813207,"id":"Q4813207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$FDC80AB2-A0ED-4348-805F-A5D25F222FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6bebd8bbbfd652a8504ecfa761893024e0cb38","datavalue":{"value":{"entity-type":"item","numeric-id":2703726,"id":"Q2703726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$3D72B365-A476-4E6F-A9FA-DA0F25B1A54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7379bc145e3652e188eac60872bc83d6603d501b","datavalue":{"value":{"entity-type":"item","numeric-id":5738963,"id":"Q5738963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$F8C7027D-F470-4284-96F7-27AD9909EB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b70818b0860e1c874a57b887652d27b592ff1d","datavalue":{"value":{"entity-type":"item","numeric-id":2754193,"id":"Q2754193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$D4EF0449-4919-47A1-BD84-59A011FF7B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cae949b8de7cafd74697ab625250b5ee12faea","datavalue":{"value":{"entity-type":"item","numeric-id":4499198,"id":"Q4499198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$E2E1E557-08D6-45BB-9DD4-953D09E69F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a457b8bc5a3de866e4c00d4a4d2b917d203cce28","datavalue":{"value":{"entity-type":"item","numeric-id":1603705,"id":"Q1603705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$FE2EAE27-E3CA-4F8C-85A2-B0E21B702C63","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":"Q2870192$5B784150-2CFE-4DC5-80F3-B59E5E743586","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":"Q2870192$AEF591BB-FB07-435A-86E6-CAE7457366EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fe35590b793289d3b2ef7b945c516487a25583","datavalue":{"value":{"entity-type":"item","numeric-id":4936893,"id":"Q4936893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870192$6C7C348B-FB4A-4E53-947F-2C3D2CBC9A48","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":"Q2870192$4DC104AF-39F2-4F62-83A0-91B0D72AC7D1","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":"Q2870192$4275D20B-59F2-486D-93AB-0AA179C1AF00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fddfb661e82b01e7ce749ddc4bd79a219b1b8a4a","datavalue":{"value":"10.1016/J.ENTCS.2008.04.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870192$4576B3C7-EE15-4550-9915-0E8B0625BE1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"028821533e98679a36978f2e2169eeefb37dfc08","datavalue":{"value":{"text":"Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870192$E8CCF0EB-40CC-418A-A20C-93D3B8A0197C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191ce8088fca05be684eb595b173fb0cfc6c944f","datavalue":{"value":{"entity-type":"item","numeric-id":5738963,"id":"Q5738963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da813e9ed71ee75bbda70eb8f34d0dd7f98ff499","datavalue":{"value":{"amount":"+0.7766508460044861","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":"Q2870192$2835E800-C6E8-4C04-8225-2D50CFCCC531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257987e34364cf11b26966c06937096e645f0419","datavalue":{"value":{"entity-type":"item","numeric-id":5958326,"id":"Q5958326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea821e6ca1dcd7831356fc757bfd9a4acc7c34da","datavalue":{"value":{"amount":"+0.7666361331939697","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":"Q2870192$231B4455-9FA9-43DF-87FC-6D545CB0C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa13a48cbe0e9c6fd2b4d96bc5f01fd70e1955f","datavalue":{"value":{"entity-type":"item","numeric-id":4941915,"id":"Q4941915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11c25173e5cf954f15e01b940a22a2e503b7f67","datavalue":{"value":{"amount":"+0.7605768442153931","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":"Q2870192$3018A119-40DF-4011-B55B-3AE3A70E7851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975f2f782478f5a80977dc49a0fbdb7e2d5c366f","datavalue":{"value":{"entity-type":"item","numeric-id":4270070,"id":"Q4270070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d894989e5725a7469d304824e11aba3bc5e0440","datavalue":{"value":{"amount":"+0.7582855820655823","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":"Q2870192$EB3C180C-B64E-4107-B128-C7D88781A9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c767306741881dccca82fb9ab16063dc6c73a9d","datavalue":{"value":{"amount":"+0.7581590414047241","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":"Q2870192$AE9D0BB7-76AC-47F8-8C82-4B6C436EEB9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870192"}}}}}