{"entities":{"Q5079770":{"pageid":7109346,"ns":120,"title":"Item:Q5079770","lastrevid":54327275,"modified":"2026-01-26T15:44:17Z","type":"item","id":"Q5079770","labels":{"en":{"language":"en","value":"Results on alternating-time temporal logics with linear past"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533369"}},"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":"Q5079770$7C866328-F636-4B6E-B199-36EC18FC7BE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db8add34a3ade784b77cb566dbb165ca7e39bead","datavalue":{"value":"1487.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079770$C63A9992-19FA-4037-89FB-339A5DA561C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$6ED85007-EBBF-44AB-ACC8-A20A78D53A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$A21071D9-018C-4A58-902B-1CBA3C186FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d2e4712309048acf2ce4cf388d2296c8734377","datavalue":{"value":{"entity-type":"item","numeric-id":1706168,"id":"Q1706168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$3041A147-351D-4C80-AA4E-ED39E83F6EAB","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":"Q5079770$184C7CE7-E68D-473E-A7AF-A9140446AD11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079770$F959B358-01F4-4101-987A-6B5C1F09D1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079770$45BB3C50-51C2-45A0-B0EE-14A519674FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079770$45EB6956-1077-44DA-8DA7-F2180B029B17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35530384cd38dfd99db3238825d57751bc57aaaf","datavalue":{"value":"7533369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079770$581304F7-420F-4235-84B0-EF41AF6DF67E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bebc348ee27159ca71308a4f6ab6999577d7bbf","datavalue":{"value":"alternating-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079770$18F57E64-FE0F-43A3-B4A7-363518330C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad540e21d2050efb79a76d1d82c260c47e7c1b1","datavalue":{"value":"linear past","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079770$51D8F795-871D-41BA-8EB0-357365380F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079770$CBC9E6DD-699F-40DF-B018-97F221CC5154","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":"Q5079770$2C403BFE-9F4E-479F-8ED2-A40644E02A91","rank":"normal"}],"P223":[{"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":"Q5079770$16CBC4C4-A69D-40A0-94AA-69E54A95282A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$91C0F7D8-8BE8-4468-8801-AE05316C4099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d973e73eafcd828b32de8985a1fb1c127439d9","datavalue":{"value":{"entity-type":"item","numeric-id":5458359,"id":"Q5458359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$96863BAB-244C-4B55-8B57-35A89A70FA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2812469dc522c77666fea34e6e25388f1c4ba4","datavalue":{"value":{"entity-type":"item","numeric-id":3384177,"id":"Q3384177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$CD0C413D-70DC-45BD-9F0F-550ECD9E5293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f427c7c6bd6ad411bf67bda5f7112f753e0ab73","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$87A935CB-9F70-4B54-9C2A-5297C75C1A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$EAC3528D-7751-40C6-AAD7-19545011DBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$3C9A21A5-3BC1-4987-A982-FC3E8A91CD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$0C587E6E-28F6-4D92-988A-369426488A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$EEFC409E-3FC2-4CD0-8CFB-54EBD958AF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d08d5cb5eec48189ff4fb2d61dc08ff7479929","datavalue":{"value":{"entity-type":"item","numeric-id":2901208,"id":"Q2901208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$22172B29-67EB-4A7F-AB7A-70E39A18D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$EBE9565F-381E-4E0B-AE27-9CDEBD4D487B","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":"Q5079770$B05BDB02-1C67-4FDE-AE43-F0F5B4C5E00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1901ce6381510a7c862c00cad6ae39b661528f81","datavalue":{"value":{"entity-type":"item","numeric-id":439961,"id":"Q439961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$CAF9EFC5-25BE-42A4-A184-C5FAB6AC75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$E6879463-7734-4360-98D3-260DF233901E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$8F02325B-332D-4B46-AE35-908567DC47DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9fb3d37eaa42c39fd894af0866ac61438610a5","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$8404A74D-5ECB-4550-B2C2-FD9980A7CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51cb42cbdd05600271a9e4ad225bd545662faa5","datavalue":{"value":{"entity-type":"item","numeric-id":1854327,"id":"Q1854327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$629090BB-FB4E-4C72-A090-AE34E1AEBC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$66F95781-25D0-400C-9809-7576D74BB2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768744b695f067ff97f8bc56d901416ef8cb2fad","datavalue":{"value":{"entity-type":"item","numeric-id":2957961,"id":"Q2957961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$A093F85B-9294-4699-84A3-DDE185424BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f790ef2f580ed796607afddaa2f4f77f9cb97d","datavalue":{"value":{"entity-type":"item","numeric-id":3519515,"id":"Q3519515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$C7D0DA76-B0DB-43C6-A905-24D59F88351F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814e401298d90eaa4e3c5f6c754e58784824de4","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$67AE6296-AD5C-49D9-88E0-AED67A2EE3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$415CE5E5-13C1-4174-B324-8AF7C01089B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079770$26A7DE9F-ED5B-4F0C-946C-FCEDC50D7DC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"075f404bf56773a91ed36239fef505b113da9721","datavalue":{"value":"10.4230/LIPICS.TIME.2018.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079770$B3DD6501-AA3F-4C94-BD87-D7C21D8CB3A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9335eb23f7131179089b0d9b8df6b26603ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1989330,"id":"Q1989330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2140cdb1b0d6065653adff191ae28f6f4ab48899","datavalue":{"value":{"amount":"+0.9877204298973083","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":"Q5079770$597FFEB5-4BDF-4389-AD59-D307BB2384B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387a9b8e2931b67c9dce58795037d6ec38f41ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3066109,"id":"Q3066109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864398b0de738f15ff104ee047e8cc83d3963642","datavalue":{"value":{"amount":"+0.833769679069519","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":"Q5079770$EF0923B3-0149-4ADC-93FE-309F07C6FDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7a5e12710018f3e40c65a017f1cdd9b17ddd1","datavalue":{"value":{"entity-type":"item","numeric-id":5458359,"id":"Q5458359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215ec3f5ad096dd2ac18240a78234e2212a679bc","datavalue":{"value":{"amount":"+0.8298292756080627","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":"Q5079770$4C984F17-579E-4205-B93C-0D2DA2A76F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dd3c100f53416ead29969e28e6e375335bbc27","datavalue":{"value":{"entity-type":"item","numeric-id":2957961,"id":"Q2957961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b04757b98ac95fd66fb442565a0e5bcf3be40a","datavalue":{"value":{"amount":"+0.8183949589729309","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":"Q5079770$769F4080-8321-4114-8C35-C67892523F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a774cf92b391119f42d4b529f78e2886a1eefbeb","datavalue":{"value":{"entity-type":"item","numeric-id":357126,"id":"Q357126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4717ae86b99ee495469bdbe707f8a7921035dea0","datavalue":{"value":{"amount":"+0.8151787519454956","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":"Q5079770$4C6C96DB-84A9-4BB8-AF10-F7095E2A32B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079770"}}}}}