{"entities":{"Q2039937":{"pageid":2050679,"ns":120,"title":"Item:Q2039937","lastrevid":72486735,"modified":"2026-04-14T05:15:06Z","type":"item","id":"Q2039937","labels":{"en":{"language":"en","value":"Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368086"}},"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":"Q2039937$976DC208-DCA3-4506-89CC-48D3CD9EED10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"962b9ed8c44da3e885e75a98bac8b2bbcf8b514a","datavalue":{"value":{"text":"Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039937$35975587-0099-4173-858C-DEF5D515C0DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ea0bf2629eb14fa2cb6ef3a7c4ac2291c4107c","datavalue":{"value":"10.1007/978-3-030-59025-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039937$550FB8F7-2C94-4558-8EF9-5DD8C6D4EC1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec32593b9f7634b07f8f09285e3ca37383757e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2039936,"id":"Q2039936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$7F1CE1FB-3A6A-4EBF-A296-0FC0701E12DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$39863A0E-018C-4DD9-B2BE-C67F858BD1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$F9B22BBC-B588-4579-8378-84AB27EEFF7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea07e2e14cf0a66355cfc6e3cc2a283124ee993","datavalue":{"value":{"time":"+2021-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2039937$B88C6CE1-A2A9-46C9-B54F-C77FD3E6CED9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039937$7E50C4B9-8D21-4841-86DE-9026812E6AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039937$87382336-0080-4612-B11F-506C3AFB1244","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45aa14eafbe2453988a64be5fc0350eda0ca2da9","datavalue":{"value":"7368086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039937$2C6A7D23-910D-40F1-AB70-91A1B3FB013A","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":"Q2039937$BECB425A-7B97-4F15-8FD3-873B58BB9666","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ffaabbe053906cb549d6e6265ce6f3b4641d8b9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-59025-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039937$270E2CFC-6110-42C8-AB23-04F33ADE8BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c6df8448272c3c58e03edf7f705295a5762a70d","datavalue":{"value":"W3085766635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039937$536D9624-6EE6-46E0-AFDE-987DD754C102","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$433DF3A7-2B2E-4F6E-8082-9406FB94B9E3","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":"Q2039937$DDB207D6-8178-4FCE-A8F6-03ADF5E0AE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9e8e1fe138d59390014af6d7c1a08c93029421","datavalue":{"value":{"entity-type":"item","numeric-id":3611996,"id":"Q3611996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$8BAB5E37-CC56-4DDD-9A06-176FAFA05D0B","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":"Q2039937$BD2D04E4-56B6-4EC8-A808-AC957E94B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$A0629D84-AABC-40D4-BEE1-44BE0E02F3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f361bfc77f34b4d1069fcf2c9336d696522aa","datavalue":{"value":{"entity-type":"item","numeric-id":5079743,"id":"Q5079743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$76310979-3A35-4506-B294-98D4C382BA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$D89933B6-9C11-407A-A9DB-C5FF274A8B75","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":"Q2039937$8289386C-891C-4CA1-A87D-F9F8F843EC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eafa32561bedd2503fc06cf62f87454a99ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$C85B2779-1530-4A57-A490-028C6B82BAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116e203b13950c7d791fedec0e2b457961000c64","datavalue":{"value":{"entity-type":"item","numeric-id":6091412,"id":"Q6091412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$0C49605E-3EE5-468F-BFD6-36A6D15FF79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc42b19f5531b15b53bb1ba3322e171067621b19","datavalue":{"value":{"entity-type":"item","numeric-id":4989410,"id":"Q4989410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$1611A7AB-3A7A-4B4A-B8E3-A08CFC6CC68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$52A37BEF-A597-448C-BD8B-9FDD9A30B066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2d626404a6f19f344ecb0bc7ef0ffc6b5f6cbc","datavalue":{"value":{"entity-type":"item","numeric-id":744209,"id":"Q744209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039937$3D9BC76F-A964-43BA-8F6A-8201EEF74CAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d94830ad89dfdb7fb2561d9182557670505501","datavalue":{"value":{"entity-type":"item","numeric-id":6159926,"id":"Q6159926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ab24eeb1be5e4374e52a5dc0fea00fb343f55a","datavalue":{"value":{"amount":"+0.7801072001457214","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":"Q2039937$99F04DE2-0F7B-461B-B1CB-B1AEA27C8057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f9403070a5271bdf5109a399c9c58e9c1fce40","datavalue":{"value":{"entity-type":"item","numeric-id":6536318,"id":"Q6536318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a707b93b2f66bd86a1449e7f12973eec9b596b1f","datavalue":{"value":{"amount":"+0.7540059089660645","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":"Q2039937$F4040E06-436F-4A55-B470-0D39508402B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedf41f4ad814a262dc70d8faa9745816259d7c9","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f9b4ffd85193b6e77af4e3e20344c81b5b2653","datavalue":{"value":{"amount":"+0.7344653010368347","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":"Q2039937$70B9A230-0F1A-42C2-AC42-117FAA23F758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce9665b91ecb3a2eb7e60be16e012a2320e66e4","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1ffc88c6b20b5235e1bd99a8dfad1b65512186","datavalue":{"value":{"amount":"+0.7243090867996216","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":"Q2039937$134D3276-F083-4C13-9D01-5CA00B8DAB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fd74f668204d6d27440d14dfd39de5c9ec904a","datavalue":{"value":{"entity-type":"item","numeric-id":3382810,"id":"Q3382810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7767f8d286f384c3a1f79a002bb4549eb5ed7c","datavalue":{"value":{"amount":"+0.7220273017883301","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":"Q2039937$7FD0748F-71F2-4B6D-B76C-24AB1A37380B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contributed_papers._Restriction_on_cut_in_cyclic_proof_system_for_symbolic_heaps"}}}}}