{"entities":{"Q2852014":{"pageid":2862734,"ns":120,"title":"Item:Q2852014","lastrevid":51838568,"modified":"2026-01-20T07:17:26Z","type":"item","id":"Q2852014","labels":{"en":{"language":"en","value":"Refining the undecidability border of weak bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213633"}},"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":"Q2852014$138936E7-4E39-455C-B1DB-323B367C91A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2a46fbb5d280a485309a00cc25afe349db3211a","datavalue":{"value":"1273.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852014$F57A2936-BD54-4CDF-AD54-3B543C1EB9DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df947b76f92cbda5e54e048fb6e7e1d050d26bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1006889,"id":"Q1006889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852014$8A682897-DB93-4EA5-8393-29299F58143E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"952e13cf13a37e2b25a37008848ccc82d63b7b29","datavalue":{"value":{"entity-type":"item","numeric-id":832316,"id":"Q832316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852014$ADEC59E1-D743-4FDE-9347-22C1BD8F2AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86fa9d0b9effd06fb644383c19d6a5b9829621e","datavalue":{"value":{"entity-type":"item","numeric-id":1006888,"id":"Q1006888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852014$9C3AC769-4636-4BA7-8FA8-C8C771D336A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852014$2BC95C58-FF4E-4AB0-B199-2C2C8231891B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9268995d85c190df8ee51f025f7f961c015f9201","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610600051X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852014$87E94D1D-A97A-4A12-8761-F56B07A6E766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852014$48A24B56-E074-472F-89F1-E3A7E6B81BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852014$08A7658D-76B1-4457-AAD5-D94459469567","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4a1407b76898c96c8bdf26c800701bca537bb3b","datavalue":{"value":"6213633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852014$DCECB1AC-6D4A-4EDE-BD57-A54A7D6DB056","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":"Q2852014$A96AFC77-E01B-4BF5-8A9F-C761F7BAE792","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d65ab28f2da7a3fd91520c5de66f76afe2496037","datavalue":{"value":{"text":"Refining the undecidability border of weak bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852014$1F9BE7AF-E90A-4922-882D-EDEE3A3A775D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dff55a737df6c82e9466a23bd42a62ee671b99d","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21d3ef71afe407fac64a17fede17d79e7230120","datavalue":{"value":{"amount":"+0.8790153861045837","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":"Q2852014$7DB8B3F0-9DAC-4AEA-B59E-01819C32A6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925328eeccdf6a722f8e5b1aeae6f047dfdaaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4412112,"id":"Q4412112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04cdfdf39376b4d21a2dc34d37e0835ae9a70dd2","datavalue":{"value":{"amount":"+0.8460082411766052","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":"Q2852014$3823F599-A2EF-48E5-AD6E-CFCC88441305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab54850448f4d4aea413cf1328367a3cd1b51f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f5d502eaf79ffbb5bbcd68f7c7e568d057de9f","datavalue":{"value":{"amount":"+0.837556004524231","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":"Q2852014$289BBD76-A1B8-4FE6-B3C2-C912EF589B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4559320be0bbb95a78d3edcc195fc1070e26c8d","datavalue":{"value":{"entity-type":"item","numeric-id":2847411,"id":"Q2847411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f5d502eaf79ffbb5bbcd68f7c7e568d057de9f","datavalue":{"value":{"amount":"+0.837556004524231","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":"Q2852014$E6EFDAA3-5EAD-4C00-B5D7-A90A8FBCE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d89aff16db31ec39cbaa3761ad188aa6303723a","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cfd5045a16e20ffbbc29ca615af3ccff1c7ccc","datavalue":{"value":{"amount":"+0.8152167201042175","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":"Q2852014$EE4D554C-A731-44C9-BF11-5F031C592D46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852014"}}}}}