{"entities":{"Q2182679":{"pageid":2193422,"ns":120,"title":"Item:Q2182679","lastrevid":71493000,"modified":"2026-04-13T22:37:38Z","type":"item","id":"Q2182679","labels":{"en":{"language":"en","value":"A complete axiomatization of weighted branching bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7203624"}},"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":"Q2182679$63519623-D85B-4CD7-BF68-5CE0D06CD7C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1999e53cc74e42d6c087d1912efd65437c497f5","datavalue":{"value":{"text":"A complete axiomatization of weighted branching bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2182679$C49FEF4D-E55A-4501-9F54-AA1B7393EFBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24fa8cfdebc53f01fdd76bde51e215d93e346ee5","datavalue":{"value":"1448.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182679$14B794D6-F7B1-478C-9986-5219EC6871E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c21df67206ccab5e065f6425facc4f83707d90c4","datavalue":{"value":{"entity-type":"item","numeric-id":1631224,"id":"Q1631224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$D260F4F2-693B-41E0-A601-F6F0C5C2F4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$28F7BF20-787B-4D4B-B903-477BD290DDC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$3E69D23C-951A-435C-AD89-41F0092017D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2182679$022A2B21-C50E-47BB-9A38-1DE9CAE92A34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182679$DC68E7CA-D406-4AD3-95A0-AEF212D72C73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87a3df376e43e53dfc8eeecc1f0fc2c37d7b454","datavalue":{"value":"7203624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182679$44B323AE-E616-4B4C-9304-3FB31C4AB1E3","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":"Q2182679$834265D5-5871-4B5A-872D-1D2FAC82F517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa513187fe48cda480f12d94e7d950e59396df43","datavalue":{"value":"https://doi.org/10.1007/s00236-020-00375-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2182679$EF390199-039E-47EC-8596-D39E2EF3311D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1fdf9b63f0cf45de0a662001904446e5fa421bf","datavalue":{"value":"W3021686541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182679$9105CDCA-6FC5-4F4F-BDD8-C2794E961D24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc5365f6e89b9fb0b8110ef37d02530d6ee2bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4608673,"id":"Q4608673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$B94E41E5-6602-478C-8CD6-8B108EEBA309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$86BB3868-39B3-4914-A455-0D3D766FDA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$292B2807-6D10-4A97-9582-CF82ABFB1731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$FEC8FD55-1D28-42C8-B801-719B7F651D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$9DD17F10-00D7-4771-8F4E-903EF97D7605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$4B339657-8123-44A3-8C50-67E7266EDDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d130bcdbda6048ebcf1ee05afba1e05745d9764f","datavalue":{"value":{"entity-type":"item","numeric-id":4558788,"id":"Q4558788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$E94E7D63-9E7F-4BF7-82FA-6D379BD354B6","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":"Q2182679$2D4DDD87-F4A3-4FC1-9747-A9B56DEB7366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8652e4401be6d28de295e5edaa774ba67628fa2","datavalue":{"value":{"entity-type":"item","numeric-id":1631225,"id":"Q1631225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$B176978F-20B4-4C81-B64A-A78C121DC9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$F1051191-03BB-464F-8553-F68AA299493A","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":"Q2182679$1CDBC673-E39E-4D93-8A98-67A5A636BB33","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":"Q2182679$B995DCCD-D824-47C4-879E-ECA20F1E4014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$D66CE8A6-0338-4513-B681-3927F6CAB10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faadc807438b8c430497e52146177721487086e0","datavalue":{"value":{"entity-type":"item","numeric-id":2777605,"id":"Q2777605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182679$DFAF21A8-734D-48FF-9F09-0F25FB71E88F","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":"Q2182679$42EFE8BF-84A2-4AB3-A258-95932DDA60D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"297a38101b73c2f6d05f9c21407066c9b7b6ca6c","datavalue":{"value":"10.1007/S00236-020-00375-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182679$0CF8BC8F-E65E-4746-928B-B60CAE60B382","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9138c2661842bd66e3aa7c7bca34da6faad9c0a5","datavalue":{"value":{"entity-type":"item","numeric-id":2447752,"id":"Q2447752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212cf9b4f329745cc68c7cc7317736ac843d03d8","datavalue":{"value":{"amount":"+0.8254469633102417","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":"Q2182679$5D0D641C-D102-4B33-9AE4-1C22126501CF","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":"5dc955180a5450720fe63c9106cfd08758439517","datavalue":{"value":{"amount":"+0.7783558964729309","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":"Q2182679$21527601-12AE-49D0-A1D4-49E4ADBE58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89efaec143e9b6ecc7cfa43158fdae85491ca50","datavalue":{"value":{"entity-type":"item","numeric-id":1631225,"id":"Q1631225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ebc31fe48db55912ab9858edba1a6daa5c3d23","datavalue":{"value":{"amount":"+0.7756782174110413","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":"Q2182679$CC0F85AC-019B-40C1-8A81-77CA81276F25","rank":"normal"},{"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":"67ebb2884e650abb6c89dd1e59be54b84b34ec74","datavalue":{"value":{"amount":"+0.7707127332687378","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":"Q2182679$8F02C74A-EC3A-47A0-9785-D7392FA0FF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"076fb1ca33c31fa28cc7031d1235b2a18ea2a5a1","datavalue":{"value":{"amount":"+0.7671606540679932","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":"Q2182679$C778FC56-615F-4060-907D-813D4E833A33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete axiomatization of weighted branching bisimulation","badges":[]}}}}}