{"entities":{"Q5427253":{"pageid":7456827,"ns":120,"title":"Item:Q5427253","lastrevid":50216780,"modified":"2026-01-13T13:29:47Z","type":"item","id":"Q5427253","labels":{"en":{"language":"en","value":"Models and Separation Logics for Resource Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5213009"}},"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":"Q5427253$F2A9E355-93FA-4461-A05F-2928D073637C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05f19b941ff3635df72a1ecd5331a6ff97d9a17b","datavalue":{"value":{"text":"Models and Separation Logics for Resource Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5427253$9D4487CC-E41C-465A-ADD5-5392D28255FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d641e9c389f69fb0c3ee52fa64cf620d6c985660","datavalue":{"value":"1130.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427253$FD178F03-3992-4CA6-A6F6-C2471DD0267F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"829207ed63627511d9532d1a52e775c8cf94bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":5191501,"id":"Q5191501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427253$42062E62-2598-43AD-951A-7E6EFB281272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427253$BB6FEC2A-A819-4AA7-99BC-75D049FEBDF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"806ce7a5341bdedb9ded78965f199921fbebfc0e","datavalue":{"value":{"time":"+2007-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5427253$7B369A58-98CE-4601-ACD7-1EAD03B59A9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9ef002d769022d7d2d4db69bd06ebceed395f26","datavalue":{"value":"https://semanticscholar.org/paper/4f427478df69b66d92c6e3bcf841c97102aa2d40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5427253$E14AB2B7-4DD6-4382-B3D4-2A739A62A775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427253$94E1EAAD-011E-4487-ADCF-2A84F41B4F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427253$24459267-DE58-4F9F-BCFF-7EB979A59C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427253$6706D4A5-FE61-499B-B709-116F6FE96D53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4997c6f0f135f2c1685933ff0e96fe19b2a57d16","datavalue":{"value":"5213009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427253$8EF63484-A255-4789-91DA-73D2A396417A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e177de1c7d5ad7c6ec08aea7b3a67099d4c5b253","datavalue":{"value":"bunched implications logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427253$BB5AD785-EA1B-4FED-A5EE-A48E97F45E4B","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":"Q5427253$79AA4FF2-E37F-4758-9FFD-766B30B311C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bf9ac35b855a0e5b82c33cc93a00a54af9f512e","datavalue":{"value":"W2050700536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427253$F61A5B4A-0C6B-4599-A80A-091EFE32603F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70951d73daa79e038b291399a480a16b40ae43fa","datavalue":{"value":"10.1093/LOGCOM/EXM019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427253$F43DBE73-360D-498C-940E-5CB868E76710","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427253$7515FC02-EDBD-4877-A4A1-06F835EB2E3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f1d65b56787812df13e5bf551b0526c10c79cc","datavalue":{"value":{"entity-type":"item","numeric-id":5191502,"id":"Q5191502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745cd88cffff2d84dfe75d2d6824c258de4ac61e","datavalue":{"value":{"amount":"+0.9020451307296752","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":"Q5427253$CB9FD9EB-C73D-4F63-B38A-269C2838A96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc718aa1c80923324709ef97e3bb512e84befcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2099c22361269fd1841f503d05a7e9faa3ee2333","datavalue":{"value":{"amount":"+0.7803009748458862","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":"Q5427253$C2B3B4DA-3EB2-4B26-9C5A-C2D7E34FB922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0843dede5e394189a0e50b8e45310558643385ca","datavalue":{"value":{"entity-type":"item","numeric-id":3406689,"id":"Q3406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6351d993b7ffafd70740ee6e3c7b702c5fe461ea","datavalue":{"value":{"amount":"+0.7734755277633667","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":"Q5427253$30A4458D-49AD-4E26-87CA-42CBC0717E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a621be19ccac2300d0e15d91c4480eefcb2127","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eae4bc0bf21847405e874752f1c504377da612a","datavalue":{"value":{"amount":"+0.768144428730011","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":"Q5427253$0576B00E-8953-4FF1-957B-0000BA050939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f54f8ca4ea4287e8548c97e990f9f054a98a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49e41fffe93454886de32a2dbfd8846e87cfda8","datavalue":{"value":{"amount":"+0.7655231356620789","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":"Q5427253$92E62CF7-7FE0-4CF4-96E5-644880DDFA23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5427253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5427253"}}}}}