{"entities":{"Q2882947":{"pageid":2893672,"ns":120,"title":"Item:Q2882947","lastrevid":42439686,"modified":"2025-06-27T17:54:14Z","type":"item","id":"Q2882947","labels":{"en":{"language":"en","value":"A notion of congruence for dtsPBC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033036"}},"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":"Q2882947$8E115256-246B-478C-B8DF-C8D450FDE826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5b699c5a5e88a178b190b498a382b2958e78b0","datavalue":{"value":"1249.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882947$8F5D32FC-34FE-4FA9-A929-862E02CBE500","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882947$DEE4B968-BAE3-4F00-9123-0FF57FBC2B07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882947$5EC3B6AA-E246-4126-980E-AA2A9661A78A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7190436e5b61d6e5b7bdadc69bf85fd81fa6184e","datavalue":{"value":"6033036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882947$917BDB31-82D0-429D-BEB5-DDD7CC12BBC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$FEE81369-909C-43CB-BDE2-2ED904600768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83553e0b137880576c3c3c671204ae708b95f0fd","datavalue":{"value":"Petri box calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$1476264A-66E3-4E03-82FE-FB755C7F8101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2cfc5887b46f7898a4b5f2d08ba2d8f6a79fdb","datavalue":{"value":"discrete time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$96FDC0F6-37BB-4B53-BB27-E4173D97B206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$DCBFCB49-AA3B-479C-BCD4-15C936964339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$113166F7-B2F1-47C0-B687-0BAADBA781F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d168e84beb8c75f6d95ceba21eab394cce02db","datavalue":{"value":"empty loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$1463D6EF-1A00-44FB-91A0-0CFBBF818121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba93284c592f50635cb20e5de890a5f1cd26435b","datavalue":{"value":"stochastic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$B3A81D6C-6B8B-4D5D-8610-BB360AD172EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882947$273802F5-E42B-4B45-BCB2-832FCFBFBACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4081d6701b894804b32bfecf5d9bc2d10a18c41","datavalue":{"value":{"entity-type":"item","numeric-id":1798122,"id":"Q1798122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882947$AE3F990C-E900-4390-87F0-AA9FB5ED329F","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":"Q2882947$4F8E0A5D-770D-45E2-9C99-4538AE2C3A44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eccf86dd529b4263219378ed86f39642f8285a","datavalue":{"value":{"entity-type":"item","numeric-id":2481583,"id":"Q2481583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087f8cd07c8773798f625c8275c6a524cca0dd16","datavalue":{"value":{"amount":"+0.8615842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$16700763-7C0A-418D-A2F6-722CC6663ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c90fc4c3059b377ab5d5eeb1eae25b22dee36f","datavalue":{"value":{"entity-type":"item","numeric-id":4019618,"id":"Q4019618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f06ee25329076571bb20ef27b477d902dd1b43","datavalue":{"value":{"amount":"+0.81020635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$6E31D41C-A67E-418A-96A4-4BB6BC8DF34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa647d8706ae37d411534847071621dc05856bc3","datavalue":{"value":{"entity-type":"item","numeric-id":4824445,"id":"Q4824445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e12a89b010bcce49adaa43819efca6f58008596","datavalue":{"value":{"amount":"+0.8095349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$DA7DC5A4-7B4F-4949-A78A-0820BC6A4DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb371e2c3cde4330c61e9615fa99565f7b1bbf4f","datavalue":{"value":{"entity-type":"item","numeric-id":5705905,"id":"Q5705905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cfe75912ecd21e669f5c6e1b14b85fa82aece9","datavalue":{"value":{"amount":"+0.8088177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$A8193CEE-02AB-41D6-B596-4424E69CFE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb7c9c1e5a71756ca5062269b6b19fd42217fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5901958,"id":"Q5901958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c33fed78e0296f8e2e42f68f85ed1c947729ba9","datavalue":{"value":{"amount":"+0.8055628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$CEC01FAE-7E60-4354-81FA-FCDB10CCC377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2beade73b0e8e6dc97985f6056cf8a3ce7e451d","datavalue":{"value":{"entity-type":"item","numeric-id":3069368,"id":"Q3069368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc116610fe5650eeaa272b48f244a9a499f97e7","datavalue":{"value":{"amount":"+0.8050236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$754B7BD5-5CF8-4510-AA92-F6438AF42228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eadeb45c2a8b68f8cb412c32eba90fc64da9f48","datavalue":{"value":{"entity-type":"item","numeric-id":3034331,"id":"Q3034331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1515bee2c38d04a338c8d85640713a5fe1cc6af","datavalue":{"value":{"amount":"+0.8024532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$BA12D580-3D34-445C-ACF3-528968B985DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db4dfee210a707ab50a9662cfe4eba37c340d41","datavalue":{"value":{"entity-type":"item","numeric-id":5414351,"id":"Q5414351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e369654d0197bde4ee524f34cafdfaad3916df33","datavalue":{"value":{"amount":"+0.8023082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2882947$94198D60-255E-4018-8CBE-82C7802CC702","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51b357fb345fb1d0a78f5f70d179b0a2a68a67f1","datavalue":{"value":{"text":"A notion of congruence for dtsPBC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882947$EE402301-D0CB-4005-BDE9-2E88D0DA8A1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882947$94FD12F7-A0D6-4147-A1DB-F8D14F1DCB20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882947"}}}}}