{"entities":{"Q2424878":{"pageid":2435621,"ns":120,"title":"Item:Q2424878","lastrevid":44062977,"modified":"2025-11-19T14:22:35Z","type":"item","id":"Q2424878","labels":{"en":{"language":"en","value":"Model checking open systems with alternating projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7073268"}},"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":"Q2424878$1348F070-E6DF-439C-BA0C-FBDB512DC4ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"090f323e2541535227e1f31f0ebfd43dab67bbad","datavalue":{"value":{"text":"Model checking open systems with alternating projection temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2424878$27ECB58F-D46C-4A51-900F-2E2C7EEDF4A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbd8474197face37f823075d5045380dc6b67ab0","datavalue":{"value":"1423.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$71225262-5894-46F9-B013-82F40B93DF12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$90EF2E8F-AFEC-4961-AB65-121F4CCBDFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$223479EB-D8A8-4850-94D7-24D06AF58A79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$3D5AB39D-DA0C-4CE4-BF5F-7BD4B197779E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32811a0eefced7079831f67220d5dfb015d0445e","datavalue":{"value":{"time":"+2019-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2424878$C4A25253-E855-49B4-8CDE-5F25B3D65410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$F375AB51-B3B0-4BE3-8403-C769266A80E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$D3245082-2C10-4271-A888-5BC032310DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$1C059717-388D-4565-9081-F4C714146076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$59982F3F-7BB4-42E5-AB6C-C528351F0E78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f0e3f529cb13f91d751dff542d5bd61b2bc2b79","datavalue":{"value":"7073268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$98A638DE-6B5B-4A9D-A8B9-F9845E858EFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424878$82490B28-0588-4884-A300-16E7700CA8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206c784d52c4a36fcd8ea9f081b4eca6ce243be8","datavalue":{"value":"open systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424878$FFF1C7A6-423E-44C9-97FA-1D18CB3C364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424878$CAC3923F-7616-46C5-8F19-21A24E321D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"448ffe94b0772b40240f9ee42e8d4fac1837a8e8","datavalue":{"value":"concurrent game structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424878$5A6F79B1-15B3-4EEB-A5CD-691556471A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424878$C1649893-3FDD-4644-8CAA-2F55750B2EF9","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":"Q2424878$678F3849-DE4E-4F5D-AE16-338E83FCE3EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ed7255975b1edb0cea80daf8eb0335fcdcd5fc3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.06.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2424878$864853D5-B856-4D84-A18A-AE98E953533B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"488d8477961690883ac8c7c5430bc68449d4b0f2","datavalue":{"value":"W2463231560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$78A9EE35-FB1A-4399-A463-7A58D98AE92F","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":"Q2424878$C234C7F8-9EBE-4153-8A38-055BC6E33839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$9E3A9B8C-8C32-4136-8EEB-C6DB8F926132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a011a8c2c796ff89a4202d730c944a360e439ff","datavalue":{"value":{"entity-type":"item","numeric-id":5305645,"id":"Q5305645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$3B901DF0-FCAA-4BE1-8F55-61C64DFB6B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$25F68884-F8A3-4D16-AA74-8333E0A02595","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":"Q2424878$7484FCFD-10E9-4AB5-92F1-F98DDB4D96D5","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":"Q2424878$8FC4E69D-814A-4EF8-BD95-12F95825DEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31165551553340b332237594544d75e2a25839db","datavalue":{"value":{"entity-type":"item","numeric-id":3502632,"id":"Q3502632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$41B7E62A-86BC-4713-966C-4C5209C78CED","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":"Q2424878$1E4E5C96-DA3C-4CD7-8708-650B5EB8F917","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":"Q2424878$A1EAA3B8-56CD-4556-8818-D4CF4B8B5E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$D3C07738-5504-4AE8-8045-BFD827CEDE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$2AE405C9-A886-486E-9666-28123BE3C211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$624A096F-5BF5-4A16-A6B5-BA54B8D6FF64","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":"Q2424878$06DB8C81-A6F9-47BE-B2DD-6DF08D5C31EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d813fca75a3d719a33bbcd4c1644084d452a9730","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424878$6302E425-69AB-45EF-93D5-40D3302467ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"274de06a9c56c6afd3dc3cf7159f074c90a5ff69","datavalue":{"value":"10.1016/J.TCS.2016.06.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424878$2CDD002B-021E-4B96-90E7-04B0873F2736","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b95d004babe029fc7c86265d8230bfd1bcded2","datavalue":{"value":{"entity-type":"item","numeric-id":3467865,"id":"Q3467865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d8a48dfb8f9d69aadab30aef861cb9caa168d3","datavalue":{"value":{"amount":"+0.9253889","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":"Q2424878$5C82B290-AA59-4DFC-ADB1-FEC65B8ACE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e76549a817b933483b9daa432aa031e220ae87","datavalue":{"value":{"entity-type":"item","numeric-id":2424879,"id":"Q2424879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af03ea36b348e7ade6133cb566c2c52c896dfca","datavalue":{"value":{"amount":"+0.9144554","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":"Q2424878$F3E99888-8F34-4301-A486-0FC779432275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4e8ba95b3cf65e677e30c4bd3d5f10b6520b67","datavalue":{"value":{"entity-type":"item","numeric-id":4576245,"id":"Q4576245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6468a005976ae7b54d0729f83d9688952aa64a4b","datavalue":{"value":{"amount":"+0.910005","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":"Q2424878$11B78622-9786-4C7B-BF9F-371555AB83C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6b7498f5920637787f322928d176bdbab0ec91","datavalue":{"value":{"entity-type":"item","numeric-id":3461297,"id":"Q3461297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77447718bfdc1e04ed5ae6c4dc7a69cc8fd76cd","datavalue":{"value":{"amount":"+0.8987907","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":"Q2424878$CDAC8F2F-C3C1-4864-9FE9-60D86956FE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe36c5ddc6f5b2f1294c19211f5404179bdf2c86","datavalue":{"value":{"amount":"+0.8965722","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":"Q2424878$86E78715-878F-4EE0-AD35-DE2585394C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854b191df588c847edf6dd92e2052c425cc5a22c","datavalue":{"value":{"entity-type":"item","numeric-id":4501586,"id":"Q4501586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21dd4d8692ee4978ac2d63be9650e033ed566784","datavalue":{"value":{"amount":"+0.89115053","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":"Q2424878$FE2837D2-8B8E-4855-999A-B0A0D0010676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8847509eadd0c8656b5b2028b19ad26f25b999e5","datavalue":{"value":{"amount":"+0.8885253","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":"Q2424878$E02E11CB-4B86-4C90-8F3D-C583BA569B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e69134ba57300fd43b47e1897bec75442d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2767090,"id":"Q2767090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afafea58dda19038dbf87d8cb0162f06f490b7e6","datavalue":{"value":{"amount":"+0.8824979","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":"Q2424878$CC323416-C921-411F-B51D-59A7796DB90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e55bb5af3c4c87158030d0505f4a3d6ad9a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3117554,"id":"Q3117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9382f11bc6b5b367713286b9617587552bab2a80","datavalue":{"value":{"amount":"+0.87990975","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":"Q2424878$EEAD1058-2448-490F-865F-D5D2A351CCB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2424878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2424878"}}}}}