{"entities":{"Q2873663":{"pageid":2884383,"ns":120,"title":"Item:Q2873663","lastrevid":51912488,"modified":"2026-01-20T12:54:33Z","type":"item","id":"Q2873663","labels":{"en":{"language":"en","value":"Modular games for coalgebraic fixed point logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250399"}},"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":"Q2873663$01CC964A-60BB-4458-8411-FB0D01F8F8B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0c415ac314390b8bc3203b939b4fd4cd848565e","datavalue":{"value":"1279.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873663$E5714F4D-B539-4AFA-AEE1-F31A9A83612D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d727509a11bb59658cf105c2824b79eed66eb9a4","datavalue":{"value":{"entity-type":"item","numeric-id":388205,"id":"Q388205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$483BEDBA-016D-4790-A0D2-DDDA305242DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$3CAA9365-549F-4307-A0FD-0DAF134723EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$D5D9640D-D3DB-4B9E-AD60-BF45EDDC9156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873663$53A10C5A-C9F7-47FF-9CEB-51806E5D50CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873663$38CB3014-9AB0-4AFA-915C-07A43790DE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873663$7287F5E7-96C4-4EA6-AE20-510B0490E3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873663$3D35C08E-9005-4C04-BF33-18E3704CE07A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19c902dbdb989a75d8bc682debfb36c8c42ecedf","datavalue":{"value":"6250399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873663$F9EB92E1-AE97-4302-8328-68A270E57B36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873663$B4097302-4526-429D-85A2-0D9489EAB917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873663$CAC59872-BFF8-429C-A7BF-B993A1DC1BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873663$87B0C561-F9C6-4A78-B31C-5720AE3DFCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873663$6BD92C29-31CC-460C-A4C9-44E8EEE3D021","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":"Q2873663$04CF1468-1E31-4390-B2D9-4B1DB3F81E3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95092eb1e427c0d4fc727d0448f965b1dc94642b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.05.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873663$0179A488-247D-460A-BE07-C9928323B142","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f38811243dd7743635a27160380bc364504f2fd","datavalue":{"value":"W2107807291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873663$6837C7F6-4904-4045-92A0-2A54B321BAAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"416f8f204e16c87e532940ffb10f6f27e6bad73c","datavalue":{"value":{"entity-type":"item","numeric-id":4499313,"id":"Q4499313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$399125ED-A693-4B37-8AA6-4396F4F86EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$3B2B42FA-66AC-429A-9083-F81771C408AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2617fa5faafda1309b3ebb4c4a86bf6aac96a3","datavalue":{"value":{"entity-type":"item","numeric-id":703520,"id":"Q703520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$23EEF559-BB89-44AA-BD34-A94C2185E6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a217a4f89905810d12fb9d8a428ab9ebf7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$1168A4A5-731C-49BE-83CA-4E435E0932B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1dd2eb0c1a5e74432dda35fc2dfce962b4bcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3612490,"id":"Q3612490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$719B8D83-0C36-4D73-97FA-2090406B7B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$DDC1AFA9-3549-482C-A209-1E87C314491E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$8F2B88E0-B0BF-4F1C-99EF-23AC9473B2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$CFC6F3F8-2CE9-47DE-83F3-603B88F61D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$5B3CA1A9-DBF5-467C-B9A2-461D8A0B9BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$BF11312A-0D0F-484B-9396-C439FB01E5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$94D44A93-0E08-4D0F-92C3-DDFE1879DD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5619c3205818941114ad16f664caa12d84a974","datavalue":{"value":{"entity-type":"item","numeric-id":2847818,"id":"Q2847818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$24E4524F-E8A1-4CB8-8233-CC413BAFC4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$BFA9E0D8-0F63-438E-8B0D-344A820D86E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$53375850-27D7-4C04-BB80-185AAA7C0E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$3FD2C84E-D257-4E3D-AB56-D07CF6B0976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$F72A45B2-E2D0-47A4-864A-DF61708D6105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$4F64EE64-ABD7-46DC-B53A-21F992F8453B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$AED4782F-527E-4FA8-9D51-A2F06A272733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873663$4F3565F9-4DBD-4DAF-80DC-DBAD1F7F7921","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68ee3c9321304f42ef054965dd3503f9c291f7c3","datavalue":{"value":"10.1016/J.ENTCS.2008.05.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873663$A90CDD36-1433-4452-BB03-932C4F11B8FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84bbba191fb8d2ba6b3c8e591bbe66056364d8b5","datavalue":{"value":{"text":"Modular games for coalgebraic fixed point logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873663$3C34E094-036A-463D-8692-69F21D64D716","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4438d1ff36e97ff47ec15974ffaef9f418f8650","datavalue":{"value":{"entity-type":"item","numeric-id":3002401,"id":"Q3002401"},"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":"Q2873663$0DDDC772-CF00-4A60-855C-B6A85CE80837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d3bc9899d43e4bd875c825957fae1ea4c7b489","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b5b0f0cb2bae7583a9cc2c8e5c92d7315c4c58","datavalue":{"value":{"amount":"+0.7643102407455444","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":"Q2873663$F1CEE44B-7264-412F-9674-78B6F02BFFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c28359a7966de6bc2da073dd334f6adaa7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef60eeaa94c691d65c2eb6930be9e7787c3ae6f0","datavalue":{"value":{"amount":"+0.7619441747665405","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":"Q2873663$3AF386C5-2DB6-428A-8B9E-04D7919C9A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a90c96669fa1e4623dadfb28a989a8fb48c0c88","datavalue":{"value":{"amount":"+0.7593385577201843","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":"Q2873663$6BE4276E-5198-4662-9B5A-7FDFAEC8EEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0700bb15f8ffc5894a386dc090f8018629bff2","datavalue":{"value":{"entity-type":"item","numeric-id":2863891,"id":"Q2863891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce689c3e1526edf7ea21409382bd7539339ea9a6","datavalue":{"value":{"amount":"+0.7583151459693909","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":"Q2873663$C15C1601-20FB-4601-9611-4EF9FA6DC8FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873663"}}}}}