{"entities":{"Q2842870":{"pageid":2853590,"ns":120,"title":"Item:Q2842870","lastrevid":83728379,"modified":"2026-05-07T10:15:32Z","type":"item","id":"Q2842870","labels":{"en":{"language":"en","value":"Deciding framed bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199183"}},"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":"Q2842870$B911F2E4-836A-4030-888F-014A6FFF0AD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f565fbf7bd201bf6542383907346b8bbe1674703","datavalue":{"value":"1270.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842870$15C72CF5-A822-49F7-B24D-82CEDFAE5B89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$AAC92C08-5469-4989-8140-183EC950A040","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842870$D494EB66-B275-4C2B-91C5-BB97E229B9DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cf2122319be5ace40aefa80e08932a6d5f8fcf7","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805309","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842870$E7C8B23B-49C4-4F87-9040-7B3284FDDA06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842870$FCC1D267-B721-4882-B089-5F15424ED3B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d9ff986a71bbca8e4337265de8e1d495b9252c0","datavalue":{"value":"6199183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842870$A8824DBD-9204-41D6-866C-CCDDC0E0A9A9","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":"Q2842870$287755CE-1110-4ACA-B27F-DE1497C896F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$6B61CF0C-C2ED-43CD-A2FF-466F536ED6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$9111ABB0-8BFF-4DD8-9E43-428E85895C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$F42C86C1-53A5-48FE-87F0-66C7C4DAF609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f506be801a258d09cfdf15c71d74a514018293","datavalue":{"value":{"entity-type":"item","numeric-id":1286368,"id":"Q1286368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$1B33DCFF-3798-4050-9749-42763420A101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4616a1155e570e973f28b1d9054e23375550313","datavalue":{"value":{"entity-type":"item","numeric-id":1575255,"id":"Q1575255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$7EB7DD8C-BCD5-40C1-B42D-1CBA2173F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9eecbd7ccf509cbf0a7718a08bb29e55bf77d1","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$717BA065-590F-4CFC-93E5-A996C4C56B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbb95aaed3ff6b54cf282a6f5f369868bca72fa","datavalue":{"value":{"entity-type":"item","numeric-id":1391099,"id":"Q1391099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$65AF05A5-6A10-42F0-A2EF-C958CEE563BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7c9846351a8894e6510c7154ebab17b471bbec","datavalue":{"value":{"entity-type":"item","numeric-id":4503956,"id":"Q4503956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$842E554D-35EB-4258-9025-DA04BBDB6528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d21f0015ba47b85d962f6f917701c3f715bba9","datavalue":{"value":{"entity-type":"item","numeric-id":4219039,"id":"Q4219039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$5300279E-97C4-4DB9-A817-DD7581423669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$017C8DA3-2ABE-491E-8DB6-1332B47E4030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$1BC11931-D766-49E2-80F7-F563FC6CEA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$F9CB13BB-B451-4C49-A3F6-C1E04D07AD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842870$906255D8-9CAF-4A80-A5DF-7E54E9E95F44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc847a424b44bc08b6f6212a1bdbe17a9ac0ca8e","datavalue":{"value":{"text":"Deciding framed bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842870$DADF96D6-B459-4389-AC94-926C67BD8319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464d2bc244bea75cdbc62fd3aa24a8396841d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4503956,"id":"Q4503956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d4a7d59289492e477a64173a991e6b5abe18f7","datavalue":{"value":{"amount":"+0.8779637813568115","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":"Q2842870$9DECF4D4-1EB1-4B1A-BADE-0E7A2990F9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc40447aa0163b5fb9e136798f4a7b6be94e8446","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1bf1ff7f2d38230bbb8b4be64d824c77b991765","datavalue":{"value":{"amount":"+0.8595430850982666","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":"Q2842870$C4134151-9581-4C50-AC49-218EC23360E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141f4c317f3b11bda07211ace3e7f96eba56978a","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697d893a564bdc39ac708afa050947adc3a4e369","datavalue":{"value":{"amount":"+0.828154444694519","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":"Q2842870$16228B01-FC57-49AB-BF75-C48DB4FD4D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d15a71dbf6a694be380b6f7859e3bc8291e199e","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09029a4f40d6f49800239ecd593975d2ae39497","datavalue":{"value":{"amount":"+0.8253414630889893","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":"Q2842870$130DEA83-344F-4F27-9370-FC903438B95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72310ebd3c9e8b3404b0af2d15e280688e880457","datavalue":{"value":{"amount":"+0.8114814162254333","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":"Q2842870$AD589E03-D287-4099-8C75-C10D8DD05EBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding framed bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_framed_bisimilarity"}}}}}