{"entities":{"Q3591388":{"pageid":5621292,"ns":120,"title":"Item:Q3591388","lastrevid":50162549,"modified":"2026-01-13T07:54:56Z","type":"item","id":"Q3591388","labels":{"en":{"language":"en","value":"Beyond Bisimulation: The \u201cup-to\u201d Techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189653"}},"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":"Q3591388$5794CC4F-D7FF-4358-8868-C314B2691E0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a183c45e72676a6b34b05d518561a6b4ba37472","datavalue":{"value":{"text":"Beyond Bisimulation: The \u201cup-to\u201d Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591388$E0092282-BF3F-4EDF-9118-6E2D33105C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4170bd032090df76c5f0a4efd3198b4bd975231e","datavalue":{"value":"1196.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591388$6052FFEC-ACE2-488F-8C91-3BEBD17C329B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ea5533188f5597bbc5ae49b21abc27c8e09b01b","datavalue":{"value":"10.1007/11804192_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591388$E701A964-7D6B-485D-AB07-1548092DF731","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591388$2FD41805-3113-4BF5-AE26-049E45E85F32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591388$2979C03C-11F3-4B25-9DF9-BE09AF5220D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-09-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":"Q3591388$6F1D9875-B2F9-4AA3-885E-7C32D22C187B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591388$DA281C45-F9F2-4694-8B42-7CFBE5E5B22E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"137c49ef2f7f5ba2a055f35c828ef025f1279554","datavalue":{"value":"5189653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591388$53599024-3539-45D0-A947-8217B67CB58C","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":"Q3591388$24B28EF2-7461-410A-B454-317780F20168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f3249b2d3d54e3a9d075355ebc215edca731b01","datavalue":{"value":"https://doi.org/10.1007/11804192_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591388$9E7A3228-9776-406D-9237-50259C8507DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b45fe4b220f6fb50e5cf48ca5c636a465e564d04","datavalue":{"value":"W2161003955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591388$69E2F40A-0FF3-4FC5-AA95-08430DE257C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717dc340261ccfd8457f5c64fc70417d4e23da6f","datavalue":{"value":{"amount":"+0.8893060684204102","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":"Q3591388$54742F42-CE09-4E5B-9EE3-FD968647E927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9534c0b4d37f293b8f0874a0b9e15b3cc0e37022","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b929c228e297fad537a78dfa60d367fb86a3ae1","datavalue":{"value":{"amount":"+0.8816136717796326","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":"Q3591388$F833FCCB-8630-491D-8B52-3CA4FEEB6C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691c4fcc24b80d472ddd285468fccb7cb5bd892a","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01046b64f3c51d1f209ada9112003284ef088b0","datavalue":{"value":{"amount":"+0.881287693977356","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":"Q3591388$B6BABC4D-FCE6-474A-A8DD-3B0F84EB3B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3f4e250306554b5d29f4d083d37f2c82a9f0cd","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad449889be9d5636c06613477af200bd2a89b29c","datavalue":{"value":{"amount":"+0.8704187273979187","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":"Q3591388$8DD6CF02-4021-4967-90AC-412DCD53248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751b7d6bc68fc7a7e97b8824da4da8bb635c94f3","datavalue":{"value":{"amount":"+0.8647109866142273","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":"Q3591388$E36C9AA7-542E-4440-8A33-7345F87C4F29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591388"}}}}}