{"entities":{"Q4635636":{"pageid":6665217,"ns":120,"title":"Item:Q4635636","lastrevid":40698396,"modified":"2025-04-04T09:48:25Z","type":"item","id":"Q4635636","labels":{"en":{"language":"en","value":"Abstract interpretation from B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863109"}},"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":"Q4635636$1C385B22-09C1-4D2B-BA42-AFD66BAA22A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c57c876fee920a782a0bf19ab3a65859ba5472b7","datavalue":{"value":{"text":"Abstract interpretation from B\u00fcchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635636$78645A27-3571-4B6B-9D04-DBBC5C62459B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e79321e46424372ccbeee135bed4e2757a70c8b3","datavalue":{"value":"1401.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$91BC00DA-5041-48D1-ADAF-0010B63187D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"919b52327cbaae177018139a219178c7f26adbeb","datavalue":{"value":"10.1145/2603088.2603127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$DE9049CB-CF5E-466C-B2D5-86DC49C426A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635636$C1B52FBF-7C43-446F-A62A-C8AECD3119E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d2e30a2b8e9fe6a6e3778ab63aedcfb8d76a50","datavalue":{"value":{"entity-type":"item","numeric-id":282124,"id":"Q282124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635636$762DE2A6-3E83-4C19-AE97-32A2F2CDDA53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635636$D8C86AFF-5FFA-4363-9DE4-D469DD8B28B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635636$56DEEA05-255F-4B0E-8DC8-0208186B16E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28cba8afd597c6c551ebbd2fb93832a3ec3157f0","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/19353649/Hofmann_Chen_2014_Abstract_interpretation_from_buchi_automata.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635636$2029C664-269C-457F-B9DC-3275F68B7D97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$38369E31-155C-4530-941D-78A0F8F34DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$656149CF-48C0-483A-B139-F4F41475E416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$C653C6E5-1EE6-4D3F-AD09-DBCF6EACC5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$17998305-B2B8-4BFE-A818-4777A9C8130D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$188E1840-7747-4451-91C9-AC242D6CF539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3819f0faa99bd202fd96ba8299b502e28f0dd267","datavalue":{"value":"6863109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$91BB107F-BACD-419B-9DB2-5CA393E3C131","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635636$5B14E1FC-80AD-44B6-839C-FF01905146F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc0e5a8d6410b651dd3b743906e7e68aa4ef591","datavalue":{"value":"temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635636$DD96D139-9B3B-410E-84B3-6576C75D2EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635636$6D9362C9-A1C6-4211-BA15-D95FC32CD7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7facfa32eeba386b3c5324ddaf48f2c2e31e3608","datavalue":{"value":"type-and-effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635636$07123A79-B3D0-4170-8883-BBE34BDD5C41","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":"Q4635636$53E4188A-A3F5-41D5-B3D9-0E5F99636DC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b91bbbddf6748def4ac941094b0dfabbca479f7","datavalue":{"value":"W2016143798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635636$6C7DF531-2BB7-4BA4-8B15-0B2AC4D08396","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f2005576d5c913144e0cc43c5a878efbc34682","datavalue":{"value":{"entity-type":"item","numeric-id":2360874,"id":"Q2360874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18c4f9d91613d22ab2f05fa878b8fd853331c02","datavalue":{"value":{"amount":"+0.9007245","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":"Q4635636$59F69D30-8F26-42F6-B080-1CF179B13E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcb699756df25a31694772574fad73e45244a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3454115,"id":"Q3454115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18c4f9d91613d22ab2f05fa878b8fd853331c02","datavalue":{"value":{"amount":"+0.9007245","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":"Q4635636$1CB94C0D-8912-4F7B-83EE-0BB0CDB45C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efaba7ddc45f21add5d501ad748397115fd829e","datavalue":{"value":{"amount":"+0.88255614","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":"Q4635636$B1835E2C-0A4D-438C-BC6E-9E8BD420B073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c458e70f6038dd41325747d4ffa82a543c9745","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2eb27cb9682dfc5a93d71e2411dc0c8cf12936d","datavalue":{"value":{"amount":"+0.8770768","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":"Q4635636$908A0BF4-33E5-47AB-B9EF-3037E8B9C379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec13281ffc419a125b51b44d1f47889c66d81e6","datavalue":{"value":{"entity-type":"item","numeric-id":4412826,"id":"Q4412826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f5ae1528ca4c842ee29f332455c27099b6ad22","datavalue":{"value":{"amount":"+0.87555206","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":"Q4635636$6DE96DFC-7698-4143-8678-0528C4C031A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80fddc06f171b010e05253495bdfd9140d398424","datavalue":{"value":{"entity-type":"item","numeric-id":4782022,"id":"Q4782022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9ca03e4d5f9dfabc89189f097e5d3584dca9d4","datavalue":{"value":{"amount":"+0.87435997","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":"Q4635636$A3F60359-58F0-4415-A54B-89B441073A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5994b3094a9d612d490dbac88ab67ae56dbbef3","datavalue":{"value":{"entity-type":"item","numeric-id":5711491,"id":"Q5711491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2693895c25ea9f3835202f7cb80bc2a562d5347a","datavalue":{"value":{"amount":"+0.8735707","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":"Q4635636$74BB5F87-F285-4DBE-BEDE-A0A3C2408EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6508c9f4f8ddf7ba64ef46a34bb3f21df216114","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21b2af4c2913926b10cd5ec064f19a5333f22c7","datavalue":{"value":{"amount":"+0.8726458","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":"Q4635636$AB74F72D-3912-4508-8847-305E66AA5272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8083f040d748d86a2222152550bdbd6b7647d095","datavalue":{"value":{"amount":"+0.8700673","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":"Q4635636$76F7F1A7-8979-42D0-89A5-D0366843ED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3fd0948ae81b076e72932616dbee598bbf94cc","datavalue":{"value":{"entity-type":"item","numeric-id":4508396,"id":"Q4508396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afea463edfbd65cf50153a36f0e2b1e1fef29aa","datavalue":{"value":{"amount":"+0.8664405","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":"Q4635636$3EB99C12-07E8-422E-A3A7-A181834ACE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635636"}}}}}