{"entities":{"Q3090852":{"pageid":3101567,"ns":120,"title":"Item:Q3090852","lastrevid":85752875,"modified":"2026-06-03T11:22:39Z","type":"item","id":"Q3090852","labels":{"en":{"language":"en","value":"Two variable vs. linear temporal logic in model checking and games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945211"}},"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":"Q3090852$83B409BD-0009-4127-B15B-E573AB54B1E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"964f0a89deb13de4051459a4ff8062fd7d91863c","datavalue":{"value":{"text":"Two Variable vs. Linear Temporal Logic in Model Checking and Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090852$583769B8-A703-49DE-8687-58B7381856D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f02abdbfc8341d6e3c1bb41bc4aee1e185726ebf","datavalue":{"value":"1343.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$0B9D7093-24C2-4387-BF0B-01350B061C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb6bc8ddf867398fd2c655aca66864a6d3173af0","datavalue":{"value":"10.1007/978-3-642-23217-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$17E5D03C-E4FE-45C6-911F-EDEAF01BCAAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67705e1e44642039902bf4ef21e5fd6d7a30c49f","datavalue":{"value":{"entity-type":"item","numeric-id":394743,"id":"Q394743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$180EA3BA-BE51-4D9F-BEB9-724662939FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cba5d3bd2b925adc8ded61015c7377b817a50363","datavalue":{"value":{"entity-type":"item","numeric-id":3090851,"id":"Q3090851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$429F8BF6-8487-4A51-A55B-E51248A4A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$194E0147-B12D-4F89-8F63-01652607750C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$FEE73124-2969-44C4-8DEE-412CA42DF7AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090852$91A87E1A-D8AC-41F5-AFC4-CF81F864084D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2959fe1c84cbd2fa4608d1d6f4c2022246953877","datavalue":{"value":"https://arxiv.org/abs/1303.4533","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090852$E91B6B9A-99E8-470F-B7C6-D5F4D945DC70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$9CD0302E-9322-4593-AE10-85D170CE3A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$C60ED31A-70B5-4508-9DE5-034D61E9DABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$AB53D819-E3D6-4757-A9F9-AB7A5E67A9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$410032C1-9932-4022-8F05-EEF6599F02BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$D2869B67-83C8-44AB-9C05-187AB45EAA78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5acb97850301f29ab6f2296ab753de3f85c99cd","datavalue":{"value":"5945211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$0A76D8E4-0333-43D1-863C-3EACF9CBE7AE","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":"Q3090852$6D7EDFBF-444E-453E-A91C-2233C89289C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95e59d3e4cbd634bfeefeeea7504a0dc78b0b70d","datavalue":{"value":"W1506717375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090852$766B2ECA-7C30-46DC-924F-ACE3D2127285","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecbe8498bea9dfe933ee3e08ca9d63d4f901531","datavalue":{"value":{"entity-type":"item","numeric-id":5900562,"id":"Q5900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$E61552B0-C350-4C8F-8AEA-0E3AE9861576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bead402385f7535bc409d00f8ffd646fa7f3432","datavalue":{"value":{"entity-type":"item","numeric-id":4258566,"id":"Q4258566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$3E62404E-0D07-4C78-8F35-F0F4C37A0DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f797173b5b805e966fa2d55f1bc3618dd306318","datavalue":{"value":{"entity-type":"item","numeric-id":414898,"id":"Q414898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$2D40DE44-7027-4926-A6EE-002F81B61B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6930e49ca203e4c5be273ceae28c8fea75c5054","datavalue":{"value":{"entity-type":"item","numeric-id":3408150,"id":"Q3408150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$5A08FF69-6D26-4F91-94BB-16478F4A6920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$E9E04ECB-AC68-403C-9D65-04CA3D2CBE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$86E99863-24C5-4E2C-B4E2-F2B697689A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$98F6B9FD-FFDC-4A7F-8646-C56D1313806D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1af63d4fb1b182e57889faf02ebb0ec9fbb312","datavalue":{"value":{"entity-type":"item","numeric-id":5710687,"id":"Q5710687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$07F1FFA6-22AD-4993-B571-D40AD0D8F5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$8D881976-634B-42E3-9F0F-F6942108E59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2eca7cffc6d40bf7b44dfc9cd51f22d16849f3","datavalue":{"value":{"entity-type":"item","numeric-id":5428871,"id":"Q5428871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$7C663040-D506-42CB-91C6-86F79A536043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$34F9DCE3-09FE-4298-8B18-B68100A05DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$8241D15A-7177-4D89-8754-1650691E6CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fedaa1226af33f3e132239a703d6971d476d26","datavalue":{"value":{"entity-type":"item","numeric-id":3395099,"id":"Q3395099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$81DF3894-E96E-4F70-8505-1A7EC6689681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090852$17BFD06F-5BEF-408B-A64F-B97816D3634B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c74e1d935c640894210013c13c45f489b53c1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4927426,"id":"Q4927426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fa5f9229541d97179090f89359768cd5772673","datavalue":{"value":{"amount":"+0.9872664213180542","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":"Q3090852$5C8C847F-0869-4051-8D53-E46C40172276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c871295c9e4c9edb2af1be0762e00f52730a7d1","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1f2ee5d1d8d8b032805c0017671a1df487aa8b","datavalue":{"value":{"amount":"+0.8285722136497498","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":"Q3090852$E6951CF1-BEE4-4D17-A689-C3B4F2306EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4ceaeef9428454328905d0c38bb4d0346a5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4542541,"id":"Q4542541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2f308c223fe7ecc6e47196c963d70064af9b06","datavalue":{"value":{"amount":"+0.7841091156005859","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":"Q3090852$BED31206-C7F0-4E47-97C8-2487EB74D46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ab5a47344b2fff07154aa8ec7b77733b4ee896","datavalue":{"value":{"amount":"+0.7823988795280457","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":"Q3090852$1C8C2ED7-D75F-477E-A821-BC80BB083D8E","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":"e2cc0e7b3af6a40076dfca7c45a35a4564c0893b","datavalue":{"value":{"amount":"+0.7812774181365967","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":"Q3090852$107F0E04-5212-4A0F-8D53-BF39D5C4932B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two variable vs. linear temporal logic in model checking and games","badges":[]}}}}}