{"entities":{"Q4927426":{"pageid":6957008,"ns":120,"title":"Item:Q4927426","lastrevid":90983912,"modified":"2026-06-04T21:57:45Z","type":"item","id":"Q4927426","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 6177464"}},"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":"Q4927426$05384114-D9F2-4793-89F1-E30E66DC397A","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":"Q4927426$9640FC42-6E8C-4EF1-B59F-58E9D8C265D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2c8bcb6749240c39162d83dddc766c276915375","datavalue":{"value":"1266.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927426$EFDAD036-8C99-4B9B-81A5-D0DE8B48F7E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d130c69499d7d6a5859f49e09db56ad7e9c3e759","datavalue":{"value":"10.2168/LMCS-9(2:4)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927426$B04FF5CF-AC9F-4AE4-B04B-197E8E522C90","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":"Q4927426$31391740-77C5-4B06-8737-0BE1C08CC56D","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":"Q4927426$F431D01B-677C-4AE2-BA77-30A9EA882BBA","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":"Q4927426$9EBE41E2-C3A1-4AC9-BC0C-5DF36F924486","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927426$D8103A35-ACFB-4674-A1B7-CDF74502DCDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c42f984d06608ffecaa9a55907765aabe7f17f1","datavalue":{"value":{"time":"+2013-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4927426$F2702829-5987-42FD-9F18-27BB7F47DDE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927426$2DD24755-418C-4764-BDBF-02BDD93161DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927426$B8FD48EE-093F-4D0F-BF4F-7B48CA692C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927426$7D3ECEA5-6BDB-4B87-802D-004FE88FF729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927426$A6E2CC7B-9919-441D-8ED7-28F307694D4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9357fa2e7b889766f59008611146330063a4a4ef","datavalue":{"value":"6177464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927426$6E1371B5-0571-4E03-A2CE-E0C68CA1CAD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927426$E1BD2EA9-71FD-4766-8885-F7C891B35D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927426$CFC61E49-B62D-492F-AD51-0F10DCB9AE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927426$7C3879E2-3FF1-400B-B444-325D5D597ACA","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":"Q4927426$710E7BE3-A75A-4B28-B426-76B9EFF4D756","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38812664c68fd5094e8a8bc035c8b5aa237e886e","datavalue":{"value":{"entity-type":"item","numeric-id":3090852,"id":"Q3090852"},"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":"Q4927426$7FF2F6EE-7AF5-4576-9856-DE43CCC7DB5B","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":"6401dc1ef03a4dcbb7b4bcba7c614238e05d08a5","datavalue":{"value":{"amount":"+0.840945303440094","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":"Q4927426$C610B659-7627-4271-998F-4D4284FCEDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ad8be2e25bf5f769312def07652d80cf3933fd","datavalue":{"value":{"entity-type":"item","numeric-id":4518425,"id":"Q4518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0a6d531355e957b12ed925e6c278def27d5b67","datavalue":{"value":{"amount":"+0.7879008650779724","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":"Q4927426$BF41A3F9-34A5-4D6F-A84C-9E1F7EF7AC3C","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":"fc76fa874ee9bd72bd8e6512e917587482ef99ee","datavalue":{"value":{"amount":"+0.786684513092041","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":"Q4927426$ECA6F5B4-9516-4735-A200-1A071B3251CF","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":"aeecdd58a3d6a098bb923fbb862c56627bd9ad1f","datavalue":{"value":{"amount":"+0.7855265736579895","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":"Q4927426$E60349DD-F9F7-4445-9B1D-5E1E342EF0D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two variable vs. linear temporal logic in model checking and games (scientific article; zbMATH DE number 6177464)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_variable_vs._linear_temporal_logic_in_model_checking_and_games_(scientific_article;_zbMATH_DE_number_6177464)"}}}}}