{"entities":{"Q5090983":{"pageid":7120559,"ns":120,"title":"Item:Q5090983","lastrevid":55416244,"modified":"2026-02-17T15:58:15Z","type":"item","id":"Q5090983","labels":{"en":{"language":"en","value":"Extending propositional separation logic for robustness properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561347"}},"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":"Q5090983$7AC79E03-CCAF-44F1-856D-955C3E61A203","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$63CF9E57-E58A-4831-8644-BB9810FCC5DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090983$D6B6C6A5-DFB7-4E65-A8A1-0E412BE5AF6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090983$8FF26506-5A9A-48D3-B8A3-DD8208E7037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090983$D2E6F41E-69E0-4F6F-B39A-84C91D37BC6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a82625bea6aaf55f9c9712f82b7d6b90f314b1bf","datavalue":{"value":"7561347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090983$AFA0DA10-6903-41E2-A148-3A046772EA38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090983$3CF99951-0F45-4D47-BA16-77BEBC5ECDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090983$6ED89114-F414-46C1-8F1D-36750B928085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090983$4B81A77B-3F17-4BEC-9FD9-3109D9EF27DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23862a50f8f8ffbc33ea6320cd1aacf4625bb0b","datavalue":{"value":"logics on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090983$CB011E12-515A-47BC-80C6-769AA88FF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090983$F2C47BE7-6DFA-44EA-BE1D-929EA71E79F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc26a45e2a4660428b1fa5ad29e753c99e96faa6","datavalue":{"value":"adjuncts and quantifiers elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090983$33412CD9-91E1-4C4F-9E3D-AD1797AD1571","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":"Q5090983$F31E5C41-6DBB-47E9-8DD1-1807B43267CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$8912E3B2-DEF6-4943-B617-5847A3208429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$3222DD9F-4D7B-4BDF-A2C6-FC5F57846022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$7BFC1B79-299A-49F1-B16C-E3FB7DA9DCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$7EB289E8-73FA-4AD0-9DA3-FEC04848C93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$DD1D9A83-FE10-4B15-82BC-764030090426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$4361FDD6-1F4D-4384-AE7B-2A3FFAEB6436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$39F20F23-9FBC-453C-9152-C0F07E8C5F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726beb58318e87f8f28c63fe4ff2b4e12330ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465854,"id":"Q5465854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$EC7A091C-4879-4699-9FFA-5AA68DB74A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ff9a52cab460a33a7fc9bc3f18ea7928bde13b","datavalue":{"value":{"entity-type":"item","numeric-id":2957697,"id":"Q2957697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$FB76BD37-8BF1-4AE8-BBBB-94879A868C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ed283f352ab1fafe41dd5a04cf9750bc9a78f6","datavalue":{"value":{"entity-type":"item","numeric-id":2411038,"id":"Q2411038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$D38944F3-6EE1-4A8A-8394-89639D7F2DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf203a403075204115e8a5ecfae64b08b576c51","datavalue":{"value":{"entity-type":"item","numeric-id":1653010,"id":"Q1653010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$6C9895B1-0ED7-43F4-82F3-E7D9EB9A0EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$7AFCD251-E22D-493A-8C35-07E99B8ADCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$C938A505-6060-40B3-9198-98292CD8BA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fbb642cd648c1a7a27f9c766d1ddd2f59e48d8","datavalue":{"value":{"entity-type":"item","numeric-id":2988661,"id":"Q2988661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$C8C83E53-7B9E-4BEA-B8E2-D1F96A0CB300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7f5ea7003ce4e30d16faa85112855feb92fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$58E428A3-4E93-47CE-820C-E59FFDCB566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fe6c09f3638fc1b3688c4d3e71e34c7f5bfa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$32C92F92-6981-4AE6-8597-5CAD5B546CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a4ffdc9ad3ff53955286216a1220912094474a","datavalue":{"value":{"entity-type":"item","numeric-id":2847405,"id":"Q2847405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$1C9997A2-0B89-444E-AD27-7A82FB7E7B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65d7985a100e347335721c87b8105aedc1e4468","datavalue":{"value":{"entity-type":"item","numeric-id":3643267,"id":"Q3643267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$2533ACC0-4A08-4323-92F5-32C29BB88FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$CA94AE40-AAA5-4EEB-93C6-1E3CBF2776FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$11794224-4F05-49DC-8B3E-E6952279C552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090983$8C3C61A8-DF19-4105-BF87-7FE1C593666F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b73eb4dce83f1cedbea5a9da976c42f458dab285","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090983$6FAF6B73-88F7-4057-9069-CBDB2CB0A989","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95daf92324fdba8c20ae3d08c2c86b375db37626","datavalue":{"value":{"entity-type":"item","numeric-id":1653010,"id":"Q1653010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1fc03dd6352f2a9162158dc7c8802d2dc0a7c1","datavalue":{"value":{"amount":"+0.7921096086502075","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":"Q5090983$B60AC3DC-2B7B-4BD0-91A8-FB8D70A4DE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f2a4284f274932835949e7c1de015cb265a279","datavalue":{"value":{"entity-type":"item","numeric-id":2988661,"id":"Q2988661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56f7291b0d64381a8e62edc4b0722f025471233","datavalue":{"value":{"amount":"+0.7873482704162598","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":"Q5090983$3BB42765-9BBD-4515-B652-6213B2DB1B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56224b765e3bac370acbabba10088ee76f4442b","datavalue":{"value":{"amount":"+0.7591835856437683","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":"Q5090983$381154C7-F37F-4596-A400-644FD94BE718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99af7953828fe30c899bb8c4ca0d8dd663d3b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2417849,"id":"Q2417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99575f60e49590903dbc50c3a90dba78b35a3d75","datavalue":{"value":{"amount":"+0.7513048052787781","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":"Q5090983$C52D476E-CA4B-446A-AFA6-74C05CC7837D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b230a303ac75a217d5d64bdc66cf73506c8b362","datavalue":{"value":{"amount":"+0.7508955001831055","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":"Q5090983$209712AE-C390-4DD3-97BA-14C69C3306EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090983"}}}}}