{"entities":{"Q3002401":{"pageid":3013125,"ns":120,"title":"Item:Q3002401","lastrevid":79826873,"modified":"2026-05-06T14:47:55Z","type":"item","id":"Q3002401","labels":{"en":{"language":"en","value":"A note on the coalgebraic interpretation of game logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5898610"}},"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":"Q3002401$7D457ED5-11A5-4CC5-9943-E86B95233197","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e809bc0524f033daaa70c2bb02aff25ce6a35fb3","datavalue":{"value":"1244.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002401$587646CB-95EE-491B-AFCE-380A2D4A7D25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002401$D9BD2EE2-6212-46A1-9A5E-E406B767B386","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23509de5c7feb3395e8d4ed166a79efee3c6d7bd","datavalue":{"value":{"time":"+2011-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3002401$87DABAC5-A8F2-4114-9AD2-973DDF960D30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a15fc908c8aa428e7b3c0c78390c57cecf88dac","datavalue":{"value":"http://rendiconti.dmi.units.it/volumi/42/110.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3002401$00CB04C4-14F3-4DD1-AC7F-1B86314F7D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002401$92A290CF-117C-4AA0-BFC3-403A0E7D49FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002401$13F51C33-4BBB-41A0-AEEE-48656B77F954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002401$41304417-F370-4F6B-8EF2-1707F7C8250E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"319fc44c32c42dc5de81d89416615c4ec7d555c6","datavalue":{"value":"5898610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002401$81A3CD68-928D-4706-8FCE-89494784BD49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47cac054525dcd6002d016c7e3337fb7c7f6bf4","datavalue":{"value":"game logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002401$6226FA84-E78B-4BFA-BFBF-081707380FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002401$9924F3A8-BE51-4F21-9B17-D415A3B56473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002401$22287375-EFDB-49EE-ABD9-CC3013F992C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002401$EC165DAD-D83B-43C7-A590-615F777FDEA5","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":"Q3002401$C01C8679-0FBC-4E90-BF13-0E3F7B971D73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11674cf808289a13b8eef9391340d09d96245a73","datavalue":{"value":{"entity-type":"item","numeric-id":2873663,"id":"Q2873663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1422f9f668f764694c308e7bf52e73dcaeba3170","datavalue":{"value":{"amount":"+0.7656031847000122","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":"Q3002401$391AAC06-F234-487C-8FF6-8CBD6FDB0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4bb22a3cdeac3e111a9b6acbd0d374be6a662","datavalue":{"value":{"entity-type":"item","numeric-id":4499313,"id":"Q4499313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa5e998b391cd8ebb294ca2af47172b2d6b85d4","datavalue":{"value":{"amount":"+0.7644400596618652","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":"Q3002401$0A37B6A0-4C5D-4661-A417-239D84FD755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0551b67b13072d28730c735a4eccadb8803fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":3460615,"id":"Q3460615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6b69a13a4af4c296384dff05ea410fc939ca9e","datavalue":{"value":{"amount":"+0.7621995806694031","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":"Q3002401$53A632B1-16F7-41B5-BA63-B4FD38F37D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b289f553a132c4917cdbc50dde06da3ee299f42","datavalue":{"value":{"entity-type":"item","numeric-id":2912749,"id":"Q2912749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d67183eb8fe227d9954204ed6b1b26f02f62592","datavalue":{"value":{"amount":"+0.7586407661437988","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":"Q3002401$D79CDDF3-EABA-439B-AA95-F987F7F87B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463d7b139b1a001dad74b0e23ba723308545036e","datavalue":{"value":{"entity-type":"item","numeric-id":1712599,"id":"Q1712599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25192f53356da1dbdf7b103f202ccf79d08a542b","datavalue":{"value":{"amount":"+0.7583667635917664","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":"Q3002401$5E01EA21-5756-42E2-BECC-19B5CFACDD68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the coalgebraic interpretation of game logic","badges":[]}}}}}