{"entities":{"Q1024134":{"pageid":1025982,"ns":120,"title":"Item:Q1024134","lastrevid":56850684,"modified":"2026-03-23T19:40:34Z","type":"item","id":"Q1024134","labels":{"en":{"language":"en","value":"Modelling simultaneous games in dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565231"}},"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":"Q1024134$7EF26E37-8DE1-4D53-874B-D8791810B6F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87422debed3d07acde28312fb724386ca7396b0b","datavalue":{"value":{"text":"Modelling simultaneous games in dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024134$1A049FB0-B096-443A-AC2C-81C5AD5AF250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95c860b53bc583ef5433569c07952f6f6cfdfdcd","datavalue":{"value":"1169.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024134$7E0762C4-2D7C-471D-BE40-60EE95922CB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa1947307553319755e0a2115addafa59e0737a","datavalue":{"value":{"entity-type":"item","numeric-id":490511,"id":"Q490511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$509286AB-551A-4800-B7F6-323BADA38327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c5eeb20a1dd36667b9c66f16e15e02bfb7cf8","datavalue":{"value":{"entity-type":"item","numeric-id":278383,"id":"Q278383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$8374C7C9-26EB-4ECF-AE56-B1BF8FF22838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$51388FE5-327E-4599-8D98-5D346B8F22BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$673CE17D-FD48-4ADD-932E-A59477EB75A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8df8d61f5f88fa082eccb52e10b8436e8a182238","datavalue":{"value":{"time":"+2009-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024134$04AE8278-BB8B-414F-BD54-3E441BB564B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024134$DC0A873A-339C-4362-8D18-A76F7C8F76CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024134$8EE786DD-8263-4DD1-81A2-0D455F03669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024134$7321CB71-9616-46AC-B74B-210CEC559D51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd042887cf31122f90cc2d9ad41da13646d0a34f","datavalue":{"value":"5565231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024134$01B828BB-BEE0-4BB5-8F9F-CB27CACC77A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"027212a05d074e8ab6fb12132ea1f762f10e46ab","datavalue":{"value":"simultaneous games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024134$CA58F72D-6EDE-40AA-A92F-3795294D3805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024134$9AE5907B-4D2D-48B5-A373-18EF59D76CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47cac054525dcd6002d016c7e3337fb7c7f6bf4","datavalue":{"value":"game logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024134$95FFDE83-D05D-4482-8414-C9CD7A3FAB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97dc2a009e6be07f382a0c4b219f001335dab2db","datavalue":{"value":"evaluation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024134$F4539FC8-2D9E-4B79-834F-F9D4EB583E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39314e8577c6771db53e4d40b069f41ec5308898","datavalue":{"value":"IF logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024134$A3E7F2DA-225A-445F-B858-61ACE1421B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5869056435166f47b75b96d689d17907a9304a6e","datavalue":{"value":"branching quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024134$198AC010-6B3C-4F4A-A8A3-31070A2C9664","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":"Q1024134$032471A2-AB00-46DA-9453-172BC99BE1F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cb0588a16de2bcba70b90c6c9c79514361aa616","datavalue":{"value":"https://doi.org/10.1007/s11229-008-9390-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024134$30B2937F-10C8-465E-ABF5-FE395174BE68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c138841de79eb1685b09b2e091cdf821c256968f","datavalue":{"value":"W2029057681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024134$44FDF989-D428-4529-954A-1918FE407B35","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":"Q1024134$42356E4F-8E54-419A-A3DC-9CAE604BFD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$B00B7D24-11E0-434B-BC25-4E34C11B8CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$BB936BB8-4962-4235-A0FA-BD46463876E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6d8760610b24af897d36abe23e626dbd7c5d38","datavalue":{"value":{"entity-type":"item","numeric-id":5643819,"id":"Q5643819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$3DA3171E-5961-4CA9-A9E6-62DDC14EC4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$C4EF6517-F082-483F-9BFD-58F5855699B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c62cd82e72c05f2e3da5ccf5166ae35457803d","datavalue":{"value":{"entity-type":"item","numeric-id":1425189,"id":"Q1425189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$7CE8B2FB-BD1F-41E8-B6A9-AC4A0E96BF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f0240225c775c7a89fa970a541c0d113186b88","datavalue":{"value":{"entity-type":"item","numeric-id":3612496,"id":"Q3612496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$5EAFF08D-70C9-4A64-9A95-8CB2563078CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$065C1F8D-AAAC-49D6-9248-ACC65E67F4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$BB9024D1-2A7A-403E-AE43-795EAF7E0A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$ECD158BF-4410-48C7-A39B-96A84B374E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6df23c941ce47bb225f93d834bb5c870e3e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425186,"id":"Q1425186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$A2989D31-849D-4C33-86FB-99CF2A152962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$4DEAF363-E4F4-4C9D-8CFC-D89EA2FD4747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfadef4097d116081445a38f2cdb1372b1ba604","datavalue":{"value":{"entity-type":"item","numeric-id":3396588,"id":"Q3396588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$BB34F200-FEFD-4D3E-BAAF-70460F586E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed3f5af94e9446026f5e3d9e6e5868640a2a430","datavalue":{"value":{"entity-type":"item","numeric-id":1295444,"id":"Q1295444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$EEFB3805-4FBC-477A-852E-AE57335D40D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3f05f853551418cca4e182137d4215cf968e94","datavalue":{"value":{"entity-type":"item","numeric-id":3113047,"id":"Q3113047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$69869BC7-3580-4C7A-B157-A762CE735C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c4859e773858138936b8ed4419a36010d131c","datavalue":{"value":{"entity-type":"item","numeric-id":1610625,"id":"Q1610625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$8DCC4B59-2F40-44E9-B70B-0FCD0E3E2066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609bc0970c45c2e9ff42bab45248cf6ceb244c3f","datavalue":{"value":{"entity-type":"item","numeric-id":1425187,"id":"Q1425187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$882ACB95-666F-4C8D-9C19-0A77498E3350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563c1bcd9cd871e1ff3936bb7f833d272b143436","datavalue":{"value":{"entity-type":"item","numeric-id":3367284,"id":"Q3367284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$BC147697-CB29-4B6A-BE6F-7EF9111D6D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fc07967f8a876b4207b4dce1d5c82ae244a7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4286213,"id":"Q4286213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$A12FDFB7-8391-43B9-A4C3-0EE5E636AB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da2e24fdd01894aa0bb79da3299dbde4fd16ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1425190,"id":"Q1425190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$E4B39557-B26D-4877-947B-82B98C9DBB17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b88337724129336c1dd94e05ce6f483d32948138","datavalue":{"value":"10.1007/S11229-008-9390-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024134$4FDEABBE-8E25-419F-BE50-BD88D51B9DFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdc46d401a82bbd6fd6550c5ff5eaeb673c6341","datavalue":{"value":{"entity-type":"item","numeric-id":3582740,"id":"Q3582740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effbf83ce94155cd6517ca2941b3f90581c2725b","datavalue":{"value":{"amount":"+0.8055096864700317","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":"Q1024134$E4E28275-B9DF-408B-8E57-521F29CF71BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647a4574a63a511319b09e31b930b01eb8cbc3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3113047,"id":"Q3113047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9a141c71bade9c65266ac5aeb1467eea2cede7","datavalue":{"value":{"amount":"+0.7908846139907837","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":"Q1024134$69C97F1B-BE33-4C91-8239-290F877A3C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4131ef5ed0c2b68e4b490354de95c4295fec9455","datavalue":{"value":{"entity-type":"item","numeric-id":2702562,"id":"Q2702562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5334d3b88d595f71adfdfe092367c95912aa7668","datavalue":{"value":{"amount":"+0.7811172008514404","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":"Q1024134$856C5BA7-A563-4462-92A9-F921BB5518C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ab02ce864981f89fea68e1ad9ced83ec8fbad3","datavalue":{"value":{"entity-type":"item","numeric-id":3568107,"id":"Q3568107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2388c0e8f95e5f8c9219049a6dbc9e4a6dac184a","datavalue":{"value":{"amount":"+0.7811168432235718","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":"Q1024134$492EC334-FFB2-47E7-B793-E2701C2CE890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7279b62a2d89dd47c2fee696d591b9ecdf91ed85","datavalue":{"value":{"entity-type":"item","numeric-id":4922070,"id":"Q4922070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de9ca7442745da5d4a2db7a0ea2858b450637b2","datavalue":{"value":{"amount":"+0.7727541327476501","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":"Q1024134$A7E3095D-9837-467D-A310-800E7B5AEB6B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024134$ADAF216E-7044-4818-92EA-BD5C4B006738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1024134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1024134"}}}}}