{"entities":{"Q278747":{"pageid":280514,"ns":120,"title":"Item:Q278747","lastrevid":60694749,"modified":"2026-04-10T18:34:06Z","type":"item","id":"Q278747","labels":{"en":{"language":"en","value":"Completeness for recursive procedures in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576265"}},"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":"Q278747$6AFCF265-8FC3-44A9-B74C-336D4F6842F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff9501ecafd7cb98444fb2234e8b130e601b36a","datavalue":{"value":{"text":"Completeness for recursive procedures in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q278747$A64E3727-C827-45EA-A21D-55839EF600A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d18c09d0532a0f90fa2e7940d35e2b78c5f83784","datavalue":{"value":"1339.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278747$33EFA856-8474-4F75-9CB3-9495EA4B86EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$7A3A4782-575C-467E-A229-02CDE5DB2CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfff6e06bd5d20a7cfba912e6978841553955ace","datavalue":{"value":{"entity-type":"item","numeric-id":6771310,"id":"Q6771310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$3970B213-EFAA-4552-B80C-B3C83F37F934","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$4DF9323B-DBA7-45FC-AB03-A1363711DBE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q278747$230B7628-F276-4AEA-BB4E-8E08CFEFEE38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278747$DBE663F2-8DEF-4016-A328-DB1EC34641CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278747$676487F2-37A2-410E-A68B-8764826D67DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"317475b18c41d78e79886d2db51b189cc3d93992","datavalue":{"value":"6576265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278747$8A04494F-79C2-4ACF-98BD-B0E90A04BD6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q278747$0A06BB07-D8A9-4F4B-8869-9FAFD6107E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q278747$A732FC55-1024-4A7B-8871-ACF85399A88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q278747$D67C06E6-6E54-4580-94EA-2192DA0C7ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q278747$C8A392B4-62FD-4F44-81F7-63002719B44E","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":"Q278747$2E44D8D6-B00C-4BBD-8BC6-A729F830590E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$D87C2642-C5E5-4841-B88F-80FDF48940B8","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":"Q278747$DD5285C6-871F-410D-B688-756B71EB0F56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0cad63ad104e22f38564088819ec9a0ab860b21","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q278747$2990C24B-A1B6-4CB7-9358-A631BFB7108E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd2dd423e87abe0af2d35764732b7fa042a22ab5","datavalue":{"value":"W2315100164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278747$447A7340-1C3A-4685-B2E1-08EDBA13C659","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$86ACF66D-3053-454E-944D-5E335E9D1AEE","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":"Q278747$215C4FF7-2008-4B76-9EDD-69B0DF574A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$13E45F1B-7C41-47DC-9621-E6D0D1C1F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$A18C18FC-0938-4E5E-A115-5C81C62B064E","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":"Q278747$B733636F-2DDB-4034-B562-280F668D5A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$BF8E2C33-7A50-4A81-969E-5C2F3711BD25","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":"Q278747$385BB6BE-7BB6-4046-9717-5FA3D76582E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e0aa807f915e26300ea89577d46a95b8c17c06","datavalue":{"value":{"entity-type":"item","numeric-id":3334976,"id":"Q3334976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$54E9E6A4-5663-44DF-8195-D66309F77B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3692aa2d157356a2dba2cdcf8e4dfc8407c894b","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$C3AB6B19-F43A-4C2C-A4EA-15BE516BD131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2875da2348ba3de61abec02e7268276d1bf41d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3512504,"id":"Q3512504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$AAB9A64C-CDF1-4702-823E-98D3EA27296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278747$5D9CC179-283A-441E-B67B-8EB4C2B51315","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cad00d9e6022e157cc23f106f1605904f74ca876","datavalue":{"value":"10.1016/J.TCS.2016.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278747$B014C5C2-FB29-4DC9-8FDA-4EC62FA02A94","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":"3c147143373edeac7fd6728126a00ab9096e26a7","datavalue":{"value":{"amount":"+0.8476865291595459","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":"Q278747$C75806E8-6AE8-44A6-B89E-4BBEE15114CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ce0918d1af667037f0872eac8a9e371c66863f","datavalue":{"value":{"amount":"+0.7962868809700012","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":"Q278747$79A74752-E5CE-4256-A84A-6C8C8A0B8C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb4a09b3436528ff53ecbd19b34ce8215675f75","datavalue":{"value":{"entity-type":"item","numeric-id":3221388,"id":"Q3221388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e787936ec3caa362b7e92af63d1414fca60d6f67","datavalue":{"value":{"amount":"+0.7897577881813049","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":"Q278747$69E7BE83-CD70-4176-B772-6FBF07CFE09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dde2e2fb41aa5e4499bc3889ab64db327fd2b2d","datavalue":{"value":{"entity-type":"item","numeric-id":732009,"id":"Q732009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99cfc921bad837d4577c11afff5412b3bffd56c","datavalue":{"value":{"amount":"+0.7793828845024109","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":"Q278747$B10AD7B3-A2C3-44D7-8C94-0837F3B60F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a250ca016f0d5c763d56fe7f0ad35c2bbe1d87","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a67499a64c4af7ba30092b287f8c5419a225d4","datavalue":{"value":{"amount":"+0.7675458192825317","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":"Q278747$F0C4D4F7-50A9-4C0B-AF82-42CB26298433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness for recursive procedures in separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_for_recursive_procedures_in_separation_logic"}}}}}