{"entities":{"Q2164251":{"pageid":2174994,"ns":120,"title":"Item:Q2164251","lastrevid":82570763,"modified":"2026-05-06T21:13:16Z","type":"item","id":"Q2164251","labels":{"en":{"language":"en","value":"A decidable fragment in separation logic with inductive predicates and arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571392"}},"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":"Q2164251$E248EC12-3F20-4958-A124-2D2B418FFFFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24074c712e71f3cccf33075d8e0cfc61bfba6a88","datavalue":{"value":{"text":"A decidable fragment in separation logic with inductive predicates and arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164251$26D62747-BFD6-41B4-8C8B-981D6DD2EAC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc4ad37ad23056d47fc2b9105f9b78cd42d03032","datavalue":{"value":"1497.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164251$42D389B1-773F-4D0C-99F5-4E3A16553C7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38cb574ec70926e054351a81101f0dec433a1e42","datavalue":{"value":"10.1007/978-3-319-63390-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164251$8465A325-0108-48ED-B6A4-56AD16B62882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13fb74ad40999245fc6c54507d06687947328f92","datavalue":{"value":{"entity-type":"item","numeric-id":2164250,"id":"Q2164250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164251$3C72DD45-1181-40F4-99AC-5C633ECD0DDE","rank":"normal"},{"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":"Q2164251$CEDC50E9-4F1B-4D63-A9AD-94938609CBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164251$771BC45B-CF25-417D-9183-F74E2BE616B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164251$754EFE89-CAE2-4EB0-98F1-BD0FE6ED1609","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2164251$0ABDBD81-8273-4989-8B27-75A657ABD485","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42a815573c4a9c4e2ac846fa1342e1a04215508a","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/4702","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164251$0E997083-164A-46CE-9DB2-D3140F56A58E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164251$2673D7EE-8FAB-43E9-8DC3-BD1F19EA5D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164251$AC4FAB99-17DE-4C42-B9C9-4464CA6C7843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164251$15257A1D-455A-4617-90F8-618D2B7EA925","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9dad968ac8e08f8d36044e374def5ad124586de","datavalue":{"value":"7571392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164251$07ACBFF5-6A7B-4B98-9E27-7EE7A6ED43C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96028fa19b1d85b7a7982101bba7ca3ddc9cb463","datavalue":{"value":"satisfiability solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164251$95C35FAE-4BE8-4835-81AF-90FC5DB849BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164251$B3EF38EC-51FC-4CD4-8A96-FDA290F73733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164251$5610DE79-A348-4E7F-B198-D48AF5B6B7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec380ca252be3c5f710d69356f4a05c9923ebeab","datavalue":{"value":"inductive predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164251$17D7D400-2DDE-4E68-882C-2D2BC23DC835","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":"Q2164251$4A6E59B3-EBF8-4841-B4FE-974C0CD07F50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e63072e5a74bfd388053a74d63e6c2092c88b120","datavalue":{"value":"W2613252377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164251$2CD51EC2-D005-4303-ACD5-20F895BE8E23","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":"2e720d97525a34358bc75a2d4d5497ce29ce2725","datavalue":{"value":{"amount":"+0.9111397862434388","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":"Q2164251$666B8CAF-83BD-43DC-822A-AD06F915CAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321dfc3b4c9c7651a8484ba5234ad14e8d589acb","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689f311b4fd45807c09c1720009e9333ec68c446","datavalue":{"value":{"amount":"+0.8652322292327881","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":"Q2164251$ACB2FC84-BCC8-49F6-86D9-1505E80C8FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186420509d12547686f01c091542ebe3e5da7dff","datavalue":{"value":{"amount":"+0.8558564782142639","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":"Q2164251$5029FDBE-CF1C-4C6D-9B51-7EE12921209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba51166c471e9289a0ecc3d71d73a5b4685b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36555023f1390c27b3d1b9c581a91953d60004d4","datavalue":{"value":{"amount":"+0.8170410394668579","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":"Q2164251$4D0BAF18-CE33-43E3-AD63-7EEAAA5DD809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1337f6f778fe290fe3a403311747133f44a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18c79d66d0147e74e62dc0b0b835bd3f817ea05","datavalue":{"value":{"amount":"+0.8148985505104065","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":"Q2164251$EFC8DBED-2B73-48CB-A54D-C90F397030E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidable fragment in separation logic with inductive predicates and arithmetic","badges":[]}}}}}