{"entities":{"Q5079748":{"pageid":7109324,"ns":120,"title":"Item:Q5079748","lastrevid":55409779,"modified":"2026-02-17T15:49:02Z","type":"item","id":"Q5079748","labels":{"en":{"language":"en","value":"A fully abstract game semantics for countable nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533349"}},"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":"Q5079748$16BA1793-C2B6-49AE-A731-52325057F707","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":"Q5079748$9F9DF317-3591-4D02-945D-61D840E2B5D0","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":"Q5079748$8C75B15B-DD4C-4ED7-A612-4E9D89F4F48F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079748$3B9C97EA-2DAF-4818-85ED-80F319A3C2C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079748$F314954A-A670-4B2B-ACCB-2E0FCCB1019D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f49922501d3c78cc515d9e53db917718b36baa6f","datavalue":{"value":"7533349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079748$15ACD0BB-8FA7-460E-BDE5-9DFE337685BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079748$3AF99CBC-FB40-417E-B3BC-ACA9776EDC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079748$EE062C3F-AADF-4872-BA21-241038DFC95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe690111c6d6fc7dcf9545d87018df9d7e3789b9","datavalue":{"value":"games and logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079748$6C93F2B6-20E8-48ED-AA14-472D2F8E7206","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":"Q5079748$4E47E2BE-2802-4970-8711-467BF8C7CBF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$822B6668-F42F-4A89-8EF0-DD9E158EB5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$6BC0FD6F-F87A-4072-9E8C-4DC0245F409D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$38F3E279-351A-4723-BFDA-B8DB0C2DA224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e00c153459bdbd242c7f50de953c2bdc3daaa","datavalue":{"value":{"entity-type":"item","numeric-id":3917476,"id":"Q3917476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$2D8FDF93-23FE-4E42-A942-B3CC76EE16B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c48a4a48aca64132771f75c2b9a1aac0e72ddda","datavalue":{"value":{"entity-type":"item","numeric-id":3121519,"id":"Q3121519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$3982EC4A-BFB7-440B-9C79-328DC8AC17AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d553774a7813830f89c48ae889cf479cef63769","datavalue":{"value":{"entity-type":"item","numeric-id":2864154,"id":"Q2864154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$A03C6F55-03F1-4CD5-8F37-87F7788DBAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$DED7570E-8E40-46D0-AFD3-4E7DFD772539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be51ec6a10b9bd59de44f9879b1ed04ef6a1f13","datavalue":{"value":{"entity-type":"item","numeric-id":5971404,"id":"Q5971404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$FF7F7538-A77B-4EBF-BDEF-54B6E21D184B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02347cf6896a077b78c14421b65c3aff33d06d27","datavalue":{"value":{"entity-type":"item","numeric-id":2474445,"id":"Q2474445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$AD8D1252-3592-4CC7-AB28-1787AA7EF516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f7a6c7e8a19c758789c3289b9d8823574982c0","datavalue":{"value":{"entity-type":"item","numeric-id":2974774,"id":"Q2974774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$8793CB75-07DC-4F3F-A667-35EAF01102F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$EDC56AF2-5452-4306-826E-C332C5E9829D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$A2037D24-70D3-473F-AA5A-F14FB8D0C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc3f4ed9f8d6fbed1e4020250b6643a9a22741d","datavalue":{"value":{"entity-type":"item","numeric-id":4276178,"id":"Q4276178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$1AFD265D-D7DC-491F-9204-7F9F8454187F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bcb0d9ba746e97387df47a2557f8d17ad81230","datavalue":{"value":{"entity-type":"item","numeric-id":4635806,"id":"Q4635806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$E040DB73-CA53-40A2-802A-632C7EA81E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5129f2efdab46dfc944f1e4b854880d1a8475cb","datavalue":{"value":{"entity-type":"item","numeric-id":4910434,"id":"Q4910434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079748$7600ABD2-FEBC-41E5-9509-D37D491A1CBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6e95b03eece878f5b7c1a848ccd19c4ef95194","datavalue":{"value":"10.4230/LIPICS.CSL.2018.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079748$36784EC0-35A8-420D-9A93-A62106C43934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bcb41df145e8fcf28c99067cf546fc6e2d0696","datavalue":{"value":{"entity-type":"item","numeric-id":4635806,"id":"Q4635806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57db5c710e83db029d83732085a61324555eb17","datavalue":{"value":{"amount":"+0.7863510847091675","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":"Q5079748$13E0064B-0BAB-4DBA-A049-31579D1C2FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829c0409e1ec4bc9bc7f39f348cb4ab9399c3c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5971404,"id":"Q5971404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8d40da05c50d880fe116ea36027e6a16d9bb1d","datavalue":{"value":{"amount":"+0.7689040303230286","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":"Q5079748$CAA47785-F1C7-45D3-81A3-440F9B9248A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777459213348351f89923332367f94851441950f","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3af7a0965060978424eb942da91951b37c6fc9f","datavalue":{"value":{"amount":"+0.7643352150917053","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":"Q5079748$E0D5D157-598B-4FE0-8705-53557162883E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb1fee1af8e70b135fa4e1cf345215a88bda02f","datavalue":{"value":{"entity-type":"item","numeric-id":5899099,"id":"Q5899099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e732584d3f66d58bc2ce17b9b34f5dea4677fa4","datavalue":{"value":{"amount":"+0.7564340829849243","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":"Q5079748$906B60A1-361D-478C-B954-BF0E79704E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555980a49ab96b4dbb78271dcdc664ce8765d2b2","datavalue":{"value":{"entity-type":"item","numeric-id":286953,"id":"Q286953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5b60b874a3ac551a5a803340d4e29ee3dff6a4","datavalue":{"value":{"amount":"+0.7545907497406006","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":"Q5079748$8866530D-3302-4B9A-A11B-BB84CB5FC182","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079748"}}}}}