{"entities":{"Q4580209":{"pageid":6609795,"ns":120,"title":"Item:Q4580209","lastrevid":58280655,"modified":"2026-04-04T13:28:08Z","type":"item","id":"Q4580209","labels":{"en":{"language":"en","value":"Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917174"}},"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":"Q4580209$B24B0F35-E35D-4B85-A0A1-12B6878AF449","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2da2a7e2550ca8686b71892d7966aa0e3d78bb6","datavalue":{"value":"1433.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580209$1161ED97-7C7B-4C60-8F0D-62A03C61AEC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf5981e663ee22ea8a917f5755c667b0fa636bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4580208,"id":"Q4580208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580209$03A5A364-0365-4179-A18B-63BDF5396D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6364bdb301780deb7e621bfdd19479f58be43169","datavalue":{"value":{"entity-type":"item","numeric-id":2200838,"id":"Q2200838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580209$DAC442A2-C45B-4D7B-875C-618261BFFFFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580209$A4274D0D-4ABA-4E84-8B00-66AA149F40C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b660a5e15eae9df6593a1724161b762b4453bb7","datavalue":{"value":"https://arxiv.org/abs/1706.00035","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580209$50BF8457-5E42-45DC-ADBE-1CC80A999668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580209$DA61D72A-80B3-4F05-9625-4D66C898543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580209$069A8985-A293-417C-A871-2DC94A0FE0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580209$8EAAB266-D00C-4B17-B400-A7BA3A343595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580209$16B69F22-0078-47B9-8AB8-10A6E2E951E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c57c86003e8394be2ef44c1567022d0c75065ca8","datavalue":{"value":"6917174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580209$42A73E76-1863-45F4-B951-3FE86DC3F738","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580209$429F343B-225C-4BFE-B6D5-D5406BB993B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46f6c48f71c38876e33334beb8612e72def55d84","datavalue":{"value":"stateful languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580209$184C5B56-BB44-4F59-874A-10483D77E815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d444ce1f2da5495c939df4b0726cc695441aa66","datavalue":{"value":"transfinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580209$D40EB19F-25E0-462A-A1CC-E79A9D654EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed4542a1fe73d450dc1a1595ac4651894d609ea","datavalue":{"value":"sequoid operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580209$B52BE991-8439-4DB3-AE55-62A42B5324B0","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":"Q4580209$28872122-F3B8-4554-B06C-BC54EB7EBFEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4177b0c287d75adb568a1cf9cc332adee9ed128","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580209$7D24F8F7-8282-4753-89FA-A21C50F5D729","rank":"normal"}],"P1643":[{"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":"cab67a9a3dd839b073ddc7b37316c756ca0accb6","datavalue":{"value":{"amount":"+0.7670586705207825","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":"Q4580209$9C9BDB24-F8A1-4396-B263-192026DE3EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211add29847c668962fec698345222189ec51a98","datavalue":{"value":{"entity-type":"item","numeric-id":2942774,"id":"Q2942774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13fba2860c1bb28819200e2369f7dd668cca122","datavalue":{"value":{"amount":"+0.7537837624549866","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":"Q4580209$A115D26D-581B-41F7-B578-64832D1A251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1ecbc5352acc22e5cbd5ed724a2e4a18d6e90f","datavalue":{"value":{"entity-type":"item","numeric-id":890378,"id":"Q890378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bdb45e36acb9c984adab06b03457ac666464fa","datavalue":{"value":{"amount":"+0.7359979152679443","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":"Q4580209$DE3BB7E9-30D5-4356-AECB-64EBE0D965CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511a3c31e3c7a3ed8b1f04a1af97491edab43001","datavalue":{"value":{"entity-type":"item","numeric-id":5259272,"id":"Q5259272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec9e81ed0d2edfdd424580e58daadc79897e486","datavalue":{"value":{"amount":"+0.731596052646637","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":"Q4580209$CD5D25FB-00FE-459E-9E67-08EDA93640B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2b18bc642cc1f2e70b9f1d92d32e388a2dd60e","datavalue":{"value":{"entity-type":"item","numeric-id":4513582,"id":"Q4513582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ed9321c39ab7bd31649a53ee97448553da469b","datavalue":{"value":{"amount":"+0.7181000709533691","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":"Q4580209$CC4961AC-1BD7-456C-AAEA-2BC61424BEC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580209"}}}}}