{"entities":{"Q879369":{"pageid":881217,"ns":120,"title":"Item:Q879369","lastrevid":65075583,"modified":"2026-04-12T00:09:34Z","type":"item","id":"Q879369","labels":{"en":{"language":"en","value":"Relational separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151783"}},"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":"Q879369$335ED58E-215D-4AE9-A58F-751387C689A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e708218281c6edfac07b88af6b9a6b0f2041f253","datavalue":{"value":{"text":"Relational separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879369$783880D6-DB7B-4964-95BA-A686137B31D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbdb8c1104365e72eb42491f1ecfb89e544d04e6","datavalue":{"value":"1111.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879369$261C46D3-83C1-41B7-A8B8-BAB7630A6A19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$378610D6-9757-4DC7-9BE1-D81B2B774980","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":"Q879369$6C95F3B9-703D-4288-A0A1-C7CCFF10ACD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879369$E94A8975-B7C5-4702-81A1-26F653FA2656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879369$36312481-AFE2-44AB-A1A6-E2D3DB51E56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879369$4A34B15B-8B8E-41A5-96AD-13B3000B0D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e9240374a9d5747fed22282bbef80437293cbb2","datavalue":{"value":"5151783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879369$F2D5F192-1017-4C7F-B79B-58F914652401","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q879369$54C7F69D-E4FA-4753-8B2A-A74B65F7F739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q879369$D9D8AA69-6968-4605-BA52-BE4A0160EE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165ee9797dffb94e64463d3246f3dd8aba119241","datavalue":{"value":"relational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q879369$1FA49C89-1413-49E1-8AF7-ACFA2BC8071F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2887f0d4a8389b28890c2f6eba2221da3ed2927f","datavalue":{"value":"Schorr-Waite graph marking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q879369$AB7BDBC5-ADB3-4B1A-BFD1-663491DF4A92","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":"Q879369$B8A73CB7-12D3-4A2D-98B0-E8B6118F1D3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb1647beebfd3815665b14e4f390340695b14993","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q879369$EDE16C9E-D5A6-47B4-A3D9-4AD07860C54E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db5788c6b5973d4543af13bf64a8598b74643c7c","datavalue":{"value":"W2115974895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879369$D877245E-7759-45EE-840C-7A995E599037","rank":"normal"}],"P223":[{"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":"Q879369$D5F4216F-62E6-4AA0-9689-B452D849328F","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":"Q879369$17A637C4-A146-4854-BCB8-E1B27C1F2C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffae1b379654812ccb60071d9820aff09a3f08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3452262,"id":"Q3452262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$960E0829-1E05-4783-907C-8F881C12F639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$37553883-5949-4F44-A693-4000EF603345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$10C9CF32-C034-47C7-BC8C-1EB6F0DB7491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66930857d878a57fdc790648136b97860b4ebd5d","datavalue":{"value":{"entity-type":"item","numeric-id":684396,"id":"Q684396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$378E099F-4BC0-45A6-B5F9-F2C5E668F31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$DE67EBC9-AAC9-408E-9F59-1BA01BE67F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$92CF0C96-98CD-4DC4-830A-185D0B0FBC95","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":"Q879369$4D51101E-33D3-4B01-9084-2FA536BE0140","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":"Q879369$F801CF6E-085B-46C4-BDDA-BD6B6FC38963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b3a3f4b3f44b312014bf38e16d46d1bd8aea8c","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$31B5720D-3F85-4AC3-AB62-36D2FDD6C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$8AB3BC43-7891-4818-A7B5-8DF47686F70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322294b00e69e6ef557c70adeaf074f069236131","datavalue":{"value":{"entity-type":"item","numeric-id":4328055,"id":"Q4328055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879369$EAB6D8A8-CBF3-4EDA-A83E-499A24E6DF96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1faaa298eeb765757cf263c3d158a87b29c6d15a","datavalue":{"value":"10.1016/J.TCS.2006.12.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879369$4AAC4D9D-ACEE-4E7D-A2BE-3BF80AA8D8BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ded45e887ea185744e20a58699abb596f0374f","datavalue":{"value":{"entity-type":"item","numeric-id":3095237,"id":"Q3095237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14beb53fba0a758d435c8b9512258d9e8e87c562","datavalue":{"value":{"amount":"+0.8361458778381348","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":"Q879369$DAEC243E-42ED-4816-975A-BA8E7599BB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e15fef631af27afda6c342f2631a2923f234ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ee5ae12fee582d8e82c6c7fce16f2893c640c5","datavalue":{"value":{"amount":"+0.8018057942390442","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":"Q879369$C94278EA-90CD-41F8-9F25-9D3A95AB72B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197a8fbbadbaf6089c71317e8b619f67ab7caf6c","datavalue":{"value":{"entity-type":"item","numeric-id":3518282,"id":"Q3518282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0790da19fdfc811e3a245708cdfc82946739af","datavalue":{"value":{"amount":"+0.8018054366111755","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":"Q879369$3402FE56-630A-4984-96AC-775647810AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de081cd841a7173c26d32760903ea9135339589b","datavalue":{"value":{"amount":"+0.8006036877632141","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":"Q879369$C5F0780A-B580-4BAA-AB60-DACCF8E5C7D4","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":"491d19b0b7b515398ab85c94fa60c49937ccb996","datavalue":{"value":{"amount":"+0.7978352308273315","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":"Q879369$8034A20E-4857-41B5-BE03-BBC1A3A7190E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_separation_logic"}}}}}