{"entities":{"Q5458360":{"pageid":7487919,"ns":120,"title":"Item:Q5458360","lastrevid":58571784,"modified":"2026-04-05T19:41:35Z","type":"item","id":"Q5458360","labels":{"en":{"language":"en","value":"Footprints in Local Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262409"}},"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":"Q5458360$11D29CE1-613D-4E55-AECA-8D47A95516FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a63e1890afde31f3907917e4dc966a56fbf1b434","datavalue":{"value":{"text":"Footprints in Local Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458360$32521477-ABD3-411A-B727-4EB47F623DBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d89f52e87f6003b106cb80c03f33507b6e56e24","datavalue":{"value":"1139.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458360$45EC92D5-8F69-4A15-9105-77E5E36B0D18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"513b060b35672b296a408e71a8d3a4c2867ebb7c","datavalue":{"value":"10.1007/978-3-540-78499-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458360$54934AC8-9B30-4099-AAFC-367CB60B3957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefd163f0cbb5c4ad01dc83f82c45f7dbbca2cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3617712,"id":"Q3617712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$CAFB353F-2521-483B-8683-431816B91351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$83594818-4C6F-473D-B379-B7FC45800D9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$580E7446-D335-4BC7-9EED-F64EF997BBC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458360$12423887-3983-44CC-8D6A-A8B930C5BE98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b76c4890726cbf1d5b411230c3f105dc66b0fa95","datavalue":{"value":"https://arxiv.org/abs/0903.1032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458360$49010257-80BF-4ACC-9836-FB9D87B9916C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458360$DB2A5C58-E318-4FCC-BD66-BCF5A3E6273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458360$BCAFD656-6DCC-410B-BF9E-20203A803379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fabae91ef332e213653c2473b1b1ea842c19abbc","datavalue":{"value":"5262409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458360$E90EAF43-B436-4340-B069-38C94D8192FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d589213e6f57409a5608465fef38d84f2cc5eb4","datavalue":{"value":"Footprints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458360$1361CCF9-9986-4D5F-B577-F3ABD7BFB970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222233be603b2104d3b2d6febdf6fac9256b3b53","datavalue":{"value":"Hoare Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458360$58D177BE-8DA7-4CC8-A27B-F7313363BEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c3d3605a4a265558679bd2c1497f97afc3f424","datavalue":{"value":"Local Reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458360$4B51518C-4B1B-4824-87B9-6C4519462C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dfe46ee2ee9a4135ea25f4fb0c40a1ddba63b6b","datavalue":{"value":"Separation Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458360$D671727A-BF56-4FBA-915C-7953BA6E265C","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":"Q5458360$3BA5378F-225E-4EB6-865A-8CA302DDA339","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"471584780e16ae95bb1fe51271776f151617b25d","datavalue":{"value":"W2171375973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458360$57B801C4-8EED-405D-A737-76C292A599CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$E9E4DF9C-B775-4DF7-9F08-36CBD32E726E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89937173c50b34672f1fb8e67f955cdfea5ba6ab","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$7723B055-F646-4080-80FA-226C1833A0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$D4D74123-7C17-4595-BDFA-CBFCCE275708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67625aaf8ba1a48060cec8621d1bfe60db9cb31","datavalue":{"value":{"entity-type":"item","numeric-id":2852352,"id":"Q2852352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$750A65B4-680F-479A-BF72-6398425D6F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e345b28b6b4a436b683f7783d3d5886397a900a6","datavalue":{"value":{"entity-type":"item","numeric-id":5276152,"id":"Q5276152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$3D3B1EAA-67E3-47A4-A9F7-57187770C1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e4da94ca9e1027b37e9820e95120b0e3685157","datavalue":{"value":{"entity-type":"item","numeric-id":2864149,"id":"Q2864149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$8B86A7D8-41B9-4CAB-A1A5-D9E08E0CB07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$24F44A3D-94CE-40E2-8AEE-E9315423FCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$ED7CBF4C-4F4E-4CE2-948D-D687C1F44DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$202ABA61-3CDD-43CC-8551-1477BAA97B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$CF4724C5-B2E6-4AB0-A321-9337CE73F0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$9E339B7F-0A76-48C4-AA8E-0385C8A973CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458360$BBCE4AAD-75B6-4F92-9142-F41B44734629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e1001d2711d335bc6ae4b5dbbb84c07f099beb","datavalue":{"value":{"entity-type":"item","numeric-id":3636803,"id":"Q3636803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$D1BF2DF2-BAC6-4041-9721-3A73462C6F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d428460903c2987cbeea62164b5449c26762a3","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df040000b0677dceb226f52ea1fdf18bb0c59380","datavalue":{"value":{"amount":"+0.8302314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$22830266-0C7B-4D1F-8FA7-5D9DA255D1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a989e34bb8fdfd7f94fa8a6b405ef3fbe5c893aa","datavalue":{"value":{"entity-type":"item","numeric-id":310092,"id":"Q310092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085b5a74d67a7465bde1a4987a8869f8c44ea376","datavalue":{"value":{"amount":"+0.8283298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$599CCA52-C60B-4FB9-8B0B-6A5217C94C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06232e5325ee7c1a7e2d33cf9ea15f3557bd5279","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2ac362f56e9c13ca63dc66c834d55ebaf386a6","datavalue":{"value":{"amount":"+0.824506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$5430C87C-269A-4E2B-850E-5917AA50FC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1f7de16e7680b626200e59d367e7465570bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4807834,"id":"Q4807834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a95180d74136c398ef5a89d370d5a7ea246e89f","datavalue":{"value":{"amount":"+0.8219228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$F59B178C-7629-4273-B58F-974260E9020D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"682ed43450eee5a7b228afdb0ae0542925608a01","datavalue":{"value":{"entity-type":"item","numeric-id":4263004,"id":"Q4263004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e20b818091453dda72f9f837824d49324ae53f","datavalue":{"value":{"amount":"+0.8140489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$451DA940-A425-487B-9809-251E16285646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf634ba7c14a39b00129c78278db3dc4a20c984","datavalue":{"value":{"entity-type":"item","numeric-id":5717464,"id":"Q5717464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562a01f498f28023eef876ab2423b49c3bc1695a","datavalue":{"value":{"amount":"+0.8080833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$EEF7C009-095C-43C6-B5A4-26CDD2A465F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c03523f8f7140cdd7586c3231383dcc26263f5","datavalue":{"value":{"entity-type":"item","numeric-id":4354626,"id":"Q4354626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17539739ba6f740c163b20bc3c8e0f317b05f4f6","datavalue":{"value":{"amount":"+0.8075475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$7AA7802C-7099-45FC-B97A-9D19C5BEC9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d3bd3ca33e7569a81c2a5b20389500f54db93d4","datavalue":{"value":{"entity-type":"item","numeric-id":3481833,"id":"Q3481833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99030f92bae82eec5ad5ead9cfcbbdcb999ceb99","datavalue":{"value":{"amount":"+0.80345845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458360$7711A74B-BC67-414F-A042-ED16EDDA31BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458360"}}}}}