{"entities":{"Q3460912":{"pageid":5240312,"ns":120,"title":"Item:Q3460912","lastrevid":52430093,"modified":"2026-01-22T15:24:22Z","type":"item","id":"Q3460912","labels":{"en":{"language":"en","value":"Kripke open bisimulation. A marriage of game semantics and operational techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527888"}},"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":"Q3460912$5504C5A4-E515-4408-99F1-0A4D7FBFD98B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0caac72d7cc281d05f4888f20dcdebd6b6770dd","datavalue":{"value":{"text":"Kripke Open Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460912$72E5A05C-4306-4494-B480-BF3BFD484B10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"737ce5fc237ab4a420410a2f22fb0b1aa7786f2c","datavalue":{"value":"1329.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$8F3A179D-C68D-47A3-8AE7-6AF96752398C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ca64b84afe2dc4c08e7ec99cd2d9f5a94f53dce","datavalue":{"value":"10.1007/978-3-319-26529-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$CB7D57A6-FD51-4A4B-AB9B-885D848E9A37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e0832f544dffd08fd3e830a309d037a114ba169","datavalue":{"value":{"entity-type":"item","numeric-id":1652963,"id":"Q1652963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460912$F1A6F3A4-4F99-4529-A475-708E8CE9C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460912$DFB913EF-AD9F-413C-BFFC-AD640D3A1155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460912$71438672-535C-4440-A346-172AEB63E576","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460912$A8B42CB7-5A4E-4E99-AE2E-0EDBFF2033BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$31ECF556-92A9-458C-92B0-50FDBCB04786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$5610C7CA-A756-46F2-ADDA-65EB5F2D234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$F7BB7F9A-2E25-4653-A624-EFDEC89D06A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$50B3D7D5-F806-44F8-9C0B-992147DAF1B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7dfe401ee2197bb60785098ace40fdf37e701d9","datavalue":{"value":"6527888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$26067118-6618-45EB-AC9B-E3CDC4623D30","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":"Q3460912$BBB67E3F-28DC-4BCE-B5E3-6837DF0F6EA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07ae78ce02888de7b165fb1fcb89ccd22363bf7f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-26529-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460912$9807AF5C-26E1-4705-84C4-9AE6E46BB8BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fe2925394c04d286c3d670a0781100f90487b59","datavalue":{"value":"W2487055703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460912$BE253906-E397-4A38-802B-6A19A442031F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ede2368e1c34ac1e1d29f6466d571dc91a5ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2708307,"id":"Q2708307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67241b2ef47be6682c2c1852f2b8936123ce58d0","datavalue":{"value":{"amount":"+0.7632275223731995","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":"Q3460912$DC9E69B8-4CB7-426E-914F-8F21216B077F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb0ecb65a119c9d7fd6bc8a485baa7617b2694","datavalue":{"value":{"entity-type":"item","numeric-id":4870806,"id":"Q4870806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67241b2ef47be6682c2c1852f2b8936123ce58d0","datavalue":{"value":{"amount":"+0.7632275223731995","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":"Q3460912$60DFD2A7-3917-4718-85A9-16E0CF1F1826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25518ed6115a4512f8e096d96409d828e6d9ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e3b42d7d2aac86ff49e38f68c5dbf1f63ee649","datavalue":{"value":{"amount":"+0.7615606784820557","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":"Q3460912$F8D1FB63-C280-4803-8303-39087C7CC046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d781ebd667996ff8fd8e7b634b7ff841beaaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4f4de0e2224c558beb56e51de29a1e97cc0415","datavalue":{"value":{"amount":"+0.7364720106124878","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":"Q3460912$91AAFF73-3472-4F27-8D80-C10D19D1779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e96f794f195212c52036e4aadb67f10ff32e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95635ba2840b88e4b496d5a0b966cdf8d00ad81","datavalue":{"value":{"amount":"+0.735413134098053","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":"Q3460912$FDDA16FC-7714-4DCA-8456-432FD2253055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460912"}}}}}