{"entities":{"Q5404093":{"pageid":7433667,"ns":120,"title":"Item:Q5404093","lastrevid":75581590,"modified":"2026-04-19T13:17:08Z","type":"item","id":"Q5404093","labels":{"en":{"language":"en","value":"Towards Abstraction-Based Verification of Shape Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272186"}},"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":"Q5404093$886593D4-F3B3-470D-811E-5C0F41228850","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4802aedbb4c1bfe62dd517d43c0c51ee7efb9830","datavalue":{"value":{"text":"Towards Abstraction-Based Verification of Shape Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404093$E32CFE2C-8EC8-4280-8813-AA6D65B9D120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4899c8d2d00e21537142d5dc81674ad7249ece89","datavalue":{"value":"1283.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$D1E2C63C-4454-43CB-8233-CA8F5894A0A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37483b14cba2b8957110c7f27f032105a222dfc4","datavalue":{"value":{"entity-type":"item","numeric-id":4964716,"id":"Q4964716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$30F0F4B6-6D7A-4938-A3EE-9EC37AB6F54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eebf6d15c7a77bcc30828ff39aed12fc5e6b8ad","datavalue":{"value":{"entity-type":"item","numeric-id":4964717,"id":"Q4964717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$D0BA580D-A89E-45F0-A7C9-76D5AAFF9A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e87597fce80985ef8513e5ad4d0ca29728335e7","datavalue":{"value":{"entity-type":"item","numeric-id":1015392,"id":"Q1015392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$6236B5F0-CF47-44D9-BC89-05A01BA2BCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"465b0138066cfcda82fbcbcf33420ebad4dcc739","datavalue":{"value":{"entity-type":"item","numeric-id":281272,"id":"Q281272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$A28F28AF-7937-423C-8012-B5233EEA34AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7076f0b8835263dca513915b05854fd5c0f2a65d","datavalue":{"value":{"entity-type":"item","numeric-id":288784,"id":"Q288784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$D9AD8084-0D94-4556-92AE-861EB06C230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$881414A7-F502-4B10-AB33-DC57DF7712D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$69C3E363-8A8F-4D29-A5BC-1C0DAFC51B3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d90e7ba9218161af565114c8c946a60a85d1807","datavalue":{"value":{"time":"+2014-03-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":"Q5404093$4F4F9C0C-2BCC-43E0-9D9B-AE3608DC3E96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$8C1D3A8A-7B75-47C6-B3AE-ECE4EA78735E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$10F99E5E-9DCE-446E-95A7-D38372807CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$2CAC73A5-3076-4B50-92D2-6F0A9CA1C850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96854f46fabbaced328d2d2d8f499a64f5234b39","datavalue":{"value":"6272186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$3875D996-9CC4-42F5-A81E-2A67A6E2E9E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404093$032EE3F8-3B46-41CB-B6C0-00280FDAF384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404093$B94B6077-494F-4958-8655-CDF1B9F5FAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffbf962e1d50c50edcf2de454a1648672bc5b27d","datavalue":{"value":"spatiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404093$B664B397-6004-4BCC-B99A-D9CDC8C03F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404093$4E710D58-78BA-425C-A838-762205C3B522","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8717a8b8fe52e531a2633830cd1833d54f0f056a","datavalue":{"value":{"entity-type":"item","numeric-id":20531,"id":"Q20531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$E6BDC675-F4DD-4A5E-BEB0-FE18E6731CC5","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":"Q5404093$856B784E-24A5-4EAC-A852-C3610F48A153","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"70fe6ce78264cc68c4e3b66a8ef527cc1ac5dfab","datavalue":{"value":"Q113318113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$4B6EE89A-25A6-49BD-B7E5-A1E13555B1A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c647768fef42c7653a7099c5ef410a4beeff22e2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.05.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404093$F66CC347-34C7-4D11-A73C-A2DEAD6BF1A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"762905472d7c0ab546a597368efeb50d37c9aabc","datavalue":{"value":"W2027217686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$9ED4244A-9DF4-4BCA-B619-5B4BBD57640B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"547d36fa2a77eb3b5bdd1e6b75d43f18ded88138","datavalue":{"value":{"entity-type":"item","numeric-id":4621139,"id":"Q4621139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$BCF8B9F7-7421-4F8F-BB62-34B610AC77EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52145011a4283338d631cad144a23a318ab2a432","datavalue":{"value":{"entity-type":"item","numeric-id":4621138,"id":"Q4621138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$6C510945-22B8-44B8-A605-F388593CCA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021ae2c982ddeb55dc90db1820a2918d5b6f05a9","datavalue":{"value":{"entity-type":"item","numeric-id":5404084,"id":"Q5404084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$23CFE35B-00F4-490B-90D0-EA9EFB761300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba357fe7250f2fdcecc724d6923ddc4425eb2663","datavalue":{"value":{"entity-type":"item","numeric-id":4931196,"id":"Q4931196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$0A53CDD3-7AA8-43CB-9DB0-36A9C24F6BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404093$AE657958-0E47-4DDB-ADE4-E1CF4408156C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b59ce73e65f8b201e277956e594b66e770aa8812","datavalue":{"value":"10.1016/J.ENTCS.2012.05.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404093$6F509392-2844-4DAD-9662-2CD06FEAE582","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21ae6f77e069f91f72c7be536913eb33031f91","datavalue":{"value":{"entity-type":"item","numeric-id":4414398,"id":"Q4414398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e1003a5d0a5a668cbd8ece190df5569840f44a","datavalue":{"value":{"amount":"+0.9165164","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":"Q5404093$9F290CDD-37ED-4F3A-9180-8AD209630312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6164f88065b5a08a964a93a48aaeca48b6fd3ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3600484,"id":"Q3600484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2115c90e0bcfc02de3c2863163b64ccae5e3f0","datavalue":{"value":{"amount":"+0.8902096","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":"Q5404093$B7D4BE23-88FF-466B-8148-AFD99FA274D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5291b9b1607e541e9d0488c090faa6f672eb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336faec4ae6feed836f6ddff76fc7ea8de7a0892","datavalue":{"value":{"amount":"+0.8600315","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":"Q5404093$18699E19-425A-44F2-8133-20A4F76DE4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9739c5b37e9b8bef432e2fd2c54bb327ae45c261","datavalue":{"value":{"entity-type":"item","numeric-id":845242,"id":"Q845242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab05ac13a700887d82ff1fada65171d9d3d1e5f1","datavalue":{"value":{"amount":"+0.85615927","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":"Q5404093$8352F2B7-1FC0-433C-AE6D-F3DAF5D3E97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878e59eca479c140a2d6f9aa5873256c95814086","datavalue":{"value":{"entity-type":"item","numeric-id":1623113,"id":"Q1623113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7392f689f77339d3a75326c7415e43014646373","datavalue":{"value":{"amount":"+0.85070497","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":"Q5404093$D91183FA-19ED-4FB6-98D6-57FB3C53306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3534071a46c3341c4c367261d6b574ae3e3c3fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3575267,"id":"Q3575267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26807e28f9b67098e1a5a409570d5dcc2e5f09e","datavalue":{"value":{"amount":"+0.84911907","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":"Q5404093$B3A07E56-EFD3-40D5-8027-2B6DB3B03172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940c3a33a3076683d6f422e45b5d13fafa1aa8df","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0ad605e479d30af96ae648718d7f4166cf8759","datavalue":{"value":{"amount":"+0.84757024","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":"Q5404093$259E3FF9-1FA2-4DDB-9BA4-479D3FEC6C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a4012993ee49ac51704827d6fd9d469b825eb6","datavalue":{"value":{"amount":"+0.8467046","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":"Q5404093$C3D4DC22-543C-4B48-9D09-B03D4CE0271D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826c65c93e77040b127cbc090a0d63d0e994a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3510783,"id":"Q3510783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0894c80694d5d8698dfe17475a3e50ddfdd31560","datavalue":{"value":{"amount":"+0.8465977","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":"Q5404093$3158AD9A-D366-4ED2-8E88-0B6B74038303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd604750052f6347b1d760a77fa2c990e8d03","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41744486a996b13fdf03323c21a2dd2173b0c8d5","datavalue":{"value":{"amount":"+0.843293","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":"Q5404093$5D094521-EBE1-4FEE-B2E1-12CA4C2CA32E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards Abstraction-Based Verification of Shape Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_Abstraction-Based_Verification_of_Shape_Calculus"}}}}}