{"entities":{"Q2763541":{"pageid":2774280,"ns":120,"title":"Item:Q2763541","lastrevid":41985669,"modified":"2025-05-20T14:10:27Z","type":"item","id":"Q2763541","labels":{"en":{"language":"en","value":"Logics and automata for verification: Expressiveness and decidability issues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692398"}},"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":"Q2763541$B1B10ACF-5903-47F7-95D1-B30E2AC8F69B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f95e0e9687a814683b9a8f0d6cce7c1cfe44b95","datavalue":{"value":"0982.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763541$0E317B35-D040-44F3-9714-FF31395C3BEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfdbecd52e7c966cd99c12572cc05fc0a7a35f62","datavalue":{"value":{"entity-type":"item","numeric-id":2763540,"id":"Q2763540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763541$45A40CE2-BC6A-4FDE-8634-44352506A98D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763541$EBDB46E8-8DD6-45E1-A79B-5A1D755CBCBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763541$A17A2466-CA6E-4883-AC92-7A07436DBD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763541$EBECD256-15BC-41BD-9527-3918C2D9D3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763541$0B159654-E565-4B0E-9AEC-300FAAF72384","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7c61c1d2fb40d3aa150e58f54f04dcad1154603","datavalue":{"value":"1692398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763541$23C3F1F7-1F84-4201-8EC3-BC09E10C3ECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20fb48a450b363a5af1ec589af3d4212e3fe72e6","datavalue":{"value":"noninterleaving asynchronous computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763541$B760C911-7A4F-4DDE-B807-DAE7BA61D332","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763541$39EE57A9-52E3-4B0A-8B1D-2FBA1DB73D67","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":"Q2763541$E53B33C1-7DF6-4955-A9BB-490BAA02908A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14231b9ac434246bac5fbc8c9311f1cbf89a2730","datavalue":{"value":{"amount":"+0.9136453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$0791DFEC-7554-47CB-B6C5-FCACD900E323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefd0d618f27482dd700592c3a6a6f3c52e2054d","datavalue":{"value":{"entity-type":"item","numeric-id":5447361,"id":"Q5447361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ada640b430401f228200096c290733b83dce2f","datavalue":{"value":{"amount":"+0.90983844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$50F9622B-2F81-49EE-9C36-1B0DCB6D80F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8cf172234b69bb5fd1ba3d62f84d091b466ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2856056,"id":"Q2856056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45538ff4cf6d789d2568ffb67a1bccb94c370151","datavalue":{"value":{"amount":"+0.9074499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$F6C73A4D-960E-4DD7-B804-896DC708F3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e6f58388861cd999ded83376c67f25ff648df","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a22cd173a2f01a6336dfeca079baf62aec95d0","datavalue":{"value":{"amount":"+0.9040586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$3E97CF59-3CEE-4785-B4E0-C8090BD784C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7223ea97d0680b121a1433900756e5c525b5f769","datavalue":{"value":{"entity-type":"item","numeric-id":4421867,"id":"Q4421867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2255540956673a478e500e5ce721aa07e2d708b1","datavalue":{"value":{"amount":"+0.8997359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$16C8397C-809C-4849-8CEE-40B00499048E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d94848662e38e8ed11f7cc0868a4afc9088726","datavalue":{"value":{"entity-type":"item","numeric-id":4644352,"id":"Q4644352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5c576e75d37e3fba1f6255c5db20c14db4c908","datavalue":{"value":{"amount":"+0.89810336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$0305D392-FB7D-4E1F-A5FF-5F9EE17D1C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e255e1edfd496b6c0c06872a9f46862fecab57a2","datavalue":{"value":{"entity-type":"item","numeric-id":4503922,"id":"Q4503922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ac27f916c36e57f3b716a3be5cd40a45791a1f","datavalue":{"value":{"amount":"+0.8973972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$D1AB2C57-C787-4313-A641-F027956BDCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cd21deef8e8804b56013c2e7cdcc132ea1307","datavalue":{"value":{"entity-type":"item","numeric-id":2722043,"id":"Q2722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce2f95fb808ac972f242b8e8b8fd2e740147358","datavalue":{"value":{"amount":"+0.89528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$B978C922-1ED4-4E2D-B8F6-F12F03ED041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37159249d26633301ff8166c62dbf7c2f2715b9","datavalue":{"value":{"entity-type":"item","numeric-id":5504672,"id":"Q5504672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21df7b8a04615441797311e754c82ead5d03ce1","datavalue":{"value":{"amount":"+0.89475393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$F9F95BA7-50FE-4873-B9AB-155C9DBC8BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6661be774eff9e621fe420692ed1af5c63675d9","datavalue":{"value":{"amount":"+0.8925647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763541$9EC49680-E902-4CE2-BE77-7A5730853F3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f78d3b9689f9a76e2c2887459bb555c216ebcffd","datavalue":{"value":{"text":"Logics and automata for verification: Expressiveness and decidability issues","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763541$F80593BB-8FA1-4A8D-93FD-AF40BF0E759E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2763541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2763541"}}}}}