{"entities":{"Q5410687":{"pageid":7440261,"ns":120,"title":"Item:Q5410687","lastrevid":51980642,"modified":"2026-01-20T16:35:19Z","type":"item","id":"Q5410687","labels":{"en":{"language":"en","value":"Foundations for decision problems in separation logic with general inductive predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286349"}},"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":"Q5410687$89FFF197-3CD4-45C0-91C4-7EBEC1C93B0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0e9026b1b3341399d2ca1428c3beaac8a660579","datavalue":{"value":{"text":"Foundations for Decision Problems in Separation Logic with General Inductive Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410687$76B855E4-C69D-4DC9-90CA-2B198091D665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"494ae43cee30e82ad044f09ad76ba46d5b998e40","datavalue":{"value":"1406.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$66474A88-7756-44F2-826D-C805F7DF69F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9a147ce4e445f858b63c5563c69c329ecbb138b","datavalue":{"value":"10.1007/978-3-642-54830-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$BC4E34E3-3629-4D9E-8AD0-A57B41242404","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b13a313824c152231b7ab366e50d8a16122ae5b","datavalue":{"value":{"entity-type":"item","numeric-id":269324,"id":"Q269324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410687$ABC62B3B-77DC-4C41-B368-917ED1C35CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e232ae85d13ab7f1e0ccfeb9d527ee923e2bb81","datavalue":{"value":{"entity-type":"item","numeric-id":646493,"id":"Q646493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410687$6B9572CE-7C6C-443E-8723-694B28CBB74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410687$C7CCF458-1D5D-411C-9C40-B8DEB3615219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410687$24087461-A982-449F-AA74-119DB4F83719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410687$623E654B-BE64-4841-9E7C-5F2672D1F761","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410687$04F46D6E-4FFA-499A-9293-E32F7C73E6EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410687$97C78D2B-AAD7-43FE-9B87-CCC754415C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$F7683A4B-6E51-477A-B874-75DD9B9D3352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$FEA5868C-EAFE-430F-80E7-AD173F99B915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$882AF9F0-8077-4128-8712-C280FBEA105F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$3D2CACE5-5B97-4BBD-A412-3732CA2F6F51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc5867f5f5a52ae3f24edc9edde1984b20607bc2","datavalue":{"value":"6286349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$C56B57F2-A113-410F-926B-BB94F279BB87","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410687$DF30C112-F8E8-4AF0-884A-410601192501","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":"Q5410687$5ACDCB2F-D50E-4614-97BB-5404CA369E43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3480df49737fd41122f0b05f45ac32877558ee00","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54830-7_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410687$BABC407C-C25F-4C9F-A8B8-F30F3DE93606","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b793ce873390717d38a99ad1df960bb24ca68fa","datavalue":{"value":"W122465024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410687$062ABE24-9E7D-42E9-9D27-90F7F4242741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250834f45f057a927abfea28e9f0a9bff54c14a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ad66d3283015f20aa588a1f8e28c6902e494a7","datavalue":{"value":{"amount":"+0.8303532600402832","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":"Q5410687$88C8CD16-E51F-40AC-8043-BFB00F5EE3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4009fbf74228d50438a3bfacb9dc9b9fa992e6","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6a94526985e428dabd731daa27637071d74084","datavalue":{"value":{"amount":"+0.8120055794715881","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":"Q5410687$05B71319-9928-493F-8552-E236F9EBA22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e19bbb791608ca63a345b3983f727d0d9a2b56","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61b25a72e0b08dc530116b74343a7dc0a4d66fe","datavalue":{"value":{"amount":"+0.8085563778877258","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":"Q5410687$9C3A924D-E42C-43D5-B00F-FC980B8E6B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85485cb6787313ee550b6a1db69031acc11a9b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5111651,"id":"Q5111651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901160701cfed92864dc70ff400a9b31bf59c18c","datavalue":{"value":{"amount":"+0.7979612946510315","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":"Q5410687$E1EA8FDE-84F9-42A8-B952-E141309B8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7dd9f75c01012cd143c7bfff8b47885411b79d","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aab7a35c6735a31ce2c9048275f486acf712c30","datavalue":{"value":{"amount":"+0.7953863739967346","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":"Q5410687$DC7E5A97-F853-4DAC-906B-6D5E79416DB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410687"}}}}}