{"entities":{"Q4596797":{"pageid":6626382,"ns":120,"title":"Item:Q4596797","lastrevid":89947445,"modified":"2026-06-04T18:41:36Z","type":"item","id":"Q4596797","labels":{"en":{"language":"en","value":"Games for bisimulations and abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816939"}},"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":"Q4596797$6EFB6728-46E9-4327-8B02-84D821F29815","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"463f8053249edc8a5ac33f4b0fd867d37d2fea84","datavalue":{"value":"1398.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596797$D079B8D6-8E26-4DB7-B047-C0D189D9E483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef4223e7df204b8b00fce8803038e1a18277532","datavalue":{"value":"10.23638/LMCS-13(4:15)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596797$DB7F5564-C585-445E-B249-F852FF4BCCBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596797$61DCDC2E-6F72-4225-B65D-0B15DFD0776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab6a5defd203445259095e179813f3407c4dac2c","datavalue":{"value":{"entity-type":"item","numeric-id":1656551,"id":"Q1656551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596797$8E5BAF0B-D77D-434C-B7C2-0380A91CFBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596797$6138BDFC-F05C-4D03-A711-86357D0294A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-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":"Q4596797$CA8A8AA4-494A-443A-A468-A0D35BE195ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d99747c70e366bab22b026a0e17663981981ffe8","datavalue":{"value":"https://arxiv.org/abs/1611.00401","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596797$C0D3F5DC-F337-4B56-8C82-2581416141D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596797$C261CB4A-FBE8-4CBD-BAED-CC3FF355DD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596797$B86B06F2-4997-46FD-B1A3-6F0D00900DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596797$060D36AF-ACC2-40F5-831E-4E07019690CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c44c5107802f48349acba9931265768cbe02d8e","datavalue":{"value":"6816939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596797$1D37DB9D-9FCB-459D-B16B-4E14E0921038","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596797$EC86E030-95BF-4602-893C-4FD3A2ADA1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d2b1fbb53d7d0980fc13547375d10c4bbcfdd3","datavalue":{"value":"algorithmic game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596797$8A4872A4-A973-4618-ACB1-8D74E01B59F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596797$67459D21-4448-4F96-8F7A-F862A8C2DE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596797$957F266B-3B50-40C3-B29A-A3C7B62507A9","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":"Q4596797$67DF5AB3-4346-4435-863F-ABBC5B5A787F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c62cb127df602dbeb10b07252d6d8aad0ab9c9","datavalue":{"value":{"entity-type":"item","numeric-id":2827464,"id":"Q2827464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6957615e37e2890228b79b0c884e6253d276f70","datavalue":{"value":{"amount":"+0.8856952786445618","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":"Q4596797$B605781C-A2A8-46FD-B6B6-12409FBCE680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2208c47a8648b5b27a0496bde3defdba6c64d07a","datavalue":{"value":{"amount":"+0.7617080807685852","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":"Q4596797$2D8FC95A-A947-4A9D-997C-7AF3A83A7285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e1a846448cb7a50c916ceb585516b2dc097625","datavalue":{"value":{"entity-type":"item","numeric-id":4847022,"id":"Q4847022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d3567f447a714d1d2c0cf1093a9a1c5e2f1581","datavalue":{"value":{"amount":"+0.7506167888641357","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":"Q4596797$ADBDA622-7001-4E36-8B01-97821892DA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc98212eaf27f4e338e2ecd17bb97ef59740332","datavalue":{"value":{"entity-type":"item","numeric-id":2753694,"id":"Q2753694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdb3991f42c930fa9a09634bc48ca68ab092bd4","datavalue":{"value":{"amount":"+0.7413565516471863","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":"Q4596797$FC7ADBCF-A3F3-4A8E-A4FA-7C6DBFB5CA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452d74f3ee47802b1adcb5e89929e84cc7c5f552","datavalue":{"value":{"entity-type":"item","numeric-id":4942026,"id":"Q4942026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114cf62be24893e0b2ac9b1d8dd1e8b314fc3613","datavalue":{"value":{"amount":"+0.7357648611068726","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":"Q4596797$6C422898-7315-4A3F-A0D9-A43D7B34A9FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Games for bisimulations and abstraction","badges":[]}}}}}