{"entities":{"Q3179309":{"pageid":3190017,"ns":120,"title":"Item:Q3179309","lastrevid":86392400,"modified":"2026-06-03T19:55:56Z","type":"item","id":"Q3179309","labels":{"en":{"language":"en","value":"Completeness for a first-order abstract separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667505"}},"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":"Q3179309$85334224-79FE-44AC-9B61-DB12A5E41947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c12d3f344ce8c42280695afffbe1c918f492df","datavalue":{"value":{"text":"Completeness for a First-Order Abstract Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179309$FE3F8972-3A39-421D-B38E-BC7D7C22B60C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c019f574e6d66228c6e09dc3cdcc3dbfdfb87146","datavalue":{"value":"1485.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179309$7CBAED48-8C99-494D-8003-B167105BF7EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f2201eccb6ccaf7c44f686686b35292de09fd8e","datavalue":{"value":"10.1007/978-3-319-47958-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179309$E0414A83-6ED6-41E0-8470-23F49DFA6D5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcd82e5ab38b299bdbc22cf18fea63d821286f7","datavalue":{"value":{"entity-type":"item","numeric-id":1687745,"id":"Q1687745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$464B7B1B-F270-4C5D-8011-65EAF10076E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$93F531EA-2184-4ACA-9D29-8075419C313F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$6CD41AC5-AA8E-4821-BC40-3D5D9923EDF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-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":"Q3179309$6C2B4587-A651-4640-8CB3-7E52AA3CDE76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fae66883134e0b70c61e830e2ab252d05cc40b9b","datavalue":{"value":"https://arxiv.org/abs/1608.06729","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179309$2C61D604-55C3-496F-B6D3-8A35D19AD52A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179309$96826795-F5C7-485A-947B-9A2D3B62B805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179309$DDA452A9-3A22-4770-911F-7DB82D655ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179309$C1E0D608-591E-4B4A-ADEF-9596C50FFFFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec19e22aee5248a8df8429da763306fa384f6217","datavalue":{"value":"6667505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179309$F546F7BE-161B-45C6-B75C-901739787660","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$6A797D9D-0C30-4467-BC62-2CED4A8FDF74","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":"Q3179309$9F3571D3-3A93-4AB1-893E-BAF646DF00CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49e46125a324522451caab309883aaa1c92f720f","datavalue":{"value":"W2963723858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179309$8980A7F1-7716-4F89-819C-73BC2602367E","rank":"normal"}],"P223":[{"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":"Q3179309$D7F88C26-CB92-4AC3-A65B-8A7DF39B0333","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":"Q3179309$EE305C08-F031-4875-801F-FBA4B5197EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$B19AA10E-8166-49C0-821A-0063974B873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f29f8e51d92f24aa201350011b974234ba76f2","datavalue":{"value":{"entity-type":"item","numeric-id":3178253,"id":"Q3178253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$C1D49CC5-5A68-4901-AB35-997BEC1068E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329632390571b70c858fb813a0e714410ba89992","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$F60CA820-37AD-4C3A-BF50-CA217825FF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5d0cf6f9353507581f003548ffc44ca59b72a7","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$11C6B7C1-F041-4620-8DAB-922566225609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650918dbf2a759bca6f5027c3110df6c9e857aeb","datavalue":{"value":{"entity-type":"item","numeric-id":5408441,"id":"Q5408441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$B57E6C8C-43A8-41E7-AC44-F8A9907678C1","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":"Q3179309$6089C8DB-1DF6-4016-87B7-4353118A01C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$8EF61D05-4C44-46A0-8972-49F207796EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8064ed87b6bf2c0288fd4e820086f5ad48a43fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4981154,"id":"Q4981154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$F8499252-47CE-4D7F-913E-0F7DB73D5D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$BA24379E-D8EC-4E3A-A726-0D3D752CC6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd27bf6d67a6d069ce32d785da5d98dbf4acf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3406689,"id":"Q3406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$1A518501-C1AF-498F-8122-58F829B0A395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c287d08085b0fff6462b539a42ce49f172a156da","datavalue":{"value":{"entity-type":"item","numeric-id":5408442,"id":"Q5408442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$9CAD5A88-65AE-4032-AC8E-95F60BBC89AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce21aee6b7d1f63ca3a02103d5e7f034f254282","datavalue":{"value":{"entity-type":"item","numeric-id":3454118,"id":"Q3454118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$5BA70AA5-B2F0-4886-91BE-9FE73E4F8A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12558229d03a6a7ab694f951af4d8db7a9b025bb","datavalue":{"value":{"entity-type":"item","numeric-id":3179309,"id":"Q3179309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$3E5EA180-BFD5-4207-8033-2AF9B06F0C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dbcc40dd481ea33b59d3f24813ff0d501fbcdd","datavalue":{"value":{"entity-type":"item","numeric-id":2892740,"id":"Q2892740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$0C4AC453-D470-4A88-B252-FA4AB10069D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845dbeb6b13e20a4a0e67132e07ccf7e6aa8d45a","datavalue":{"value":{"entity-type":"item","numeric-id":5739976,"id":"Q5739976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$FAC2E271-0CC9-4B2C-B049-9C0DDA1249A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f1c0f611deb235448f9baae9d2d65712063b36","datavalue":{"value":{"entity-type":"item","numeric-id":3636908,"id":"Q3636908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$E98B28AA-86D9-4258-BBF0-8277D2ECAA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483fd55ab9cbf6d3d40252e6e5fe64a391c1cc4b","datavalue":{"value":{"entity-type":"item","numeric-id":2946690,"id":"Q2946690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$B065FEBD-8DCF-4BE2-ACB1-3F209E45B10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490f90728d0ff6a6822ccaa685c1198270724d59","datavalue":{"value":{"entity-type":"item","numeric-id":3190171,"id":"Q3190171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$1D6F3BB7-7FA5-4E8F-A8A4-BE5F6D4939A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef6a0f6a6f479906c8d4fdf70653827aae6928f","datavalue":{"value":{"entity-type":"item","numeric-id":5408443,"id":"Q5408443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$285F4656-BDF3-412D-94F4-B39B5792FC73","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":"Q3179309$0E429EEF-4A60-47EF-8062-879247543DDF","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":"Q3179309$BB761084-6CC8-4AB6-8D96-AC557A5D0A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da999088eee61512360954211acdbe52e7a69391","datavalue":{"value":{"entity-type":"item","numeric-id":2931798,"id":"Q2931798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$4FE6C7BE-2E66-4755-9AEA-4F6ACE8009CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$AEBD184E-8361-4825-ABE5-6F79A61C147B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179309$2BC5DFA7-5EAB-4CD7-A9EA-0B2D8B8F8051","rank":"normal"}],"P1643":[{"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":"c9e9c8a4b6ef1089584356199679d80636617d02","datavalue":{"value":{"amount":"+0.8180860877037048","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":"Q3179309$03026CF6-8E2B-4218-AFD4-1418102D55C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1694d6bf440cb2a8ed659587389564d3cae23a","datavalue":{"value":{"entity-type":"item","numeric-id":3454118,"id":"Q3454118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76303bd029e73832bafa8514f5817870bdf64962","datavalue":{"value":{"amount":"+0.7989359498023987","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":"Q3179309$B45C3F9B-9596-4FD0-A8C5-D1A976E1B58F","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":"bc5acc29e7f3391b8c88364932d05d20a9d990d2","datavalue":{"value":{"amount":"+0.7916740775108337","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":"Q3179309$7BD1AF5E-96DF-4555-90B0-6457C2BAECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e6b41c567a5035d2def9a2a290c623be6df8de","datavalue":{"value":{"entity-type":"item","numeric-id":5408442,"id":"Q5408442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c680dfcf0ae4a017df756cd96fe58e8ed451b328","datavalue":{"value":{"amount":"+0.7739696502685547","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":"Q3179309$502E9CBB-761A-4479-8155-298ABB8029A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45bc313aa76b16cbd2e41776b3eafe3b9544f590","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951252ac36e357fe1fdd9e0bafc704a64585ee4b","datavalue":{"value":{"amount":"+0.7738174796104431","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":"Q3179309$25502CED-27AA-4698-8A40-F30C7D1F6FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness for a first-order abstract separation logic","badges":[]}}}}}