{"entities":{"Q5894019":{"pageid":7932414,"ns":120,"title":"Item:Q5894019","lastrevid":41546443,"modified":"2025-05-05T17:13:01Z","type":"item","id":"Q5894019","labels":{"en":{"language":"en","value":"Graded Alternating-Time Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834040"}},"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":"Q5894019$40CE0A64-3E78-4A8A-BBA4-A1BB2E7D5EFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"319010523c383d38c1e4c3173ff6e535e49a05f0","datavalue":{"value":{"text":"Graded Alternating-Time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894019$67828CEF-A733-4B9B-B224-808D8F4BED2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5865258e35e112ae1c0d322c18f67f72a1ea2cde","datavalue":{"value":"1285.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894019$CBD26909-A97B-41EE-ADE0-0A1E5C41B2EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d663ba15a74841a30319e1b3ed73b23d87df84c","datavalue":{"value":"10.1007/978-3-642-17511-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894019$5D6EF698-8E43-4739-9A65-264D5741F7B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79eb43ca4898bf0c605980468e2cfd77498bc71","datavalue":{"value":{"entity-type":"item","numeric-id":386609,"id":"Q386609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894019$55CC7A93-1923-4518-BC3A-EF71ADA9D169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894019$1B9F49F7-A393-4889-A0AB-968D311819B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894019$DD79FC8A-4F75-4191-ABD0-CF3B886E4A7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894019$A5146782-3A8F-43E6-B25A-6F7C2EB65E78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894019$F629B98B-AF61-4F40-B4EA-F957CDC8B635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894019$B7FDABF9-D531-4573-A1E2-E7DCFF025320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894019$FC471906-FB7A-40D9-8C29-96EFA53C0509","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2348ab78981939eecc5796efa67e185e1e69afd","datavalue":{"value":"5834040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894019$594F9233-939C-4FF2-B16D-BF47D11B6B2C","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":"Q5894019$C507AECB-E0BA-480B-8B2F-066BF989BA55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51490fb11666bf0483c7ef869b9230d578bbd14f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894019$10784CEC-A05D-42B1-99DE-B51A983B728F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51a832d660868cb2c62a629a655e7249fc33167e","datavalue":{"value":"W2995380543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894019$8BEF3C92-5ED3-4CB9-BDCD-92CC20B43DEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e207c6ff9814a6fefac4833831975dc3e82eb3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5894193,"id":"Q5894193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$98BE442B-136B-40A2-874C-053DBEEE5E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53e32f2e1022a8af991fce91b9c54ea2d8000c2","datavalue":{"value":{"amount":"+0.9453311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$3BAB37EB-D882-4E7B-9BE0-1DB9E611D564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5114b18be2e34a54848ca96aabb0163907063251","datavalue":{"value":{"entity-type":"item","numeric-id":3511218,"id":"Q3511218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6015143a69e2e797ddd0972af6c2e7276873ca","datavalue":{"value":{"amount":"+0.9403814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$DC04AAED-D148-4FAA-A0C9-1178164DCB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b80bf534db2061dbb1a2fea6dcdbdedc5cf1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4669652,"id":"Q4669652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb034b4f874ef73340bc683cab60d752523ed68","datavalue":{"value":{"amount":"+0.9149328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$5019E673-3FDC-411E-811B-C15934DA0B57","rank":"normal"},{"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":"dd669b5f1e5a0836c610a313f08fff62d8812017","datavalue":{"value":{"amount":"+0.91154087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$EC58E2AB-3778-4784-A7E2-4FFC0DE7CA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6932e88451e757ee35db2967e8f7727b2c025b24","datavalue":{"value":{"entity-type":"item","numeric-id":4612421,"id":"Q4612421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a303646bda740491b94af3f8195edfd6180c3a0e","datavalue":{"value":{"amount":"+0.9080988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$7509ED93-ADCA-4812-9222-A3296E70F75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0888f8fa42d1ad71ea9cc7932a99c7e0d17c36","datavalue":{"value":{"entity-type":"item","numeric-id":3399672,"id":"Q3399672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26a63db2b74c9f00712f14cf1190b4b0e5cbd1c","datavalue":{"value":{"amount":"+0.9035322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$D6550E00-ED1D-4B4E-8A3D-650F7E9B0F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9b57e4c7b8d4b9fa71b2a07b2ddb0869cb2e27","datavalue":{"value":{"amount":"+0.9034382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$BA281D38-BDFA-4754-B571-71D4D08B949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5ae02988cf89fafa847e035f6b40a766c3456","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db492a4bcc9c23a20727ca3ef20dba4dc6930193","datavalue":{"value":{"amount":"+0.899853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894019$992B114F-F307-4DE5-85D8-3CD4D0304C53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894019"}}}}}