{"entities":{"Q4635608":{"pageid":6665189,"ns":120,"title":"Item:Q4635608","lastrevid":53070272,"modified":"2026-01-24T04:10:25Z","type":"item","id":"Q4635608","labels":{"en":{"language":"en","value":"A decision procedure for satisfiability in separation logic with inductive predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863083"}},"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":"Q4635608$C38B3159-81F9-4E58-91B1-E5CDB6C7BC6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab0f33235bf47aa8543f3cf274ce026387ed219b","datavalue":{"value":{"text":"A decision procedure for satisfiability in separation logic with inductive predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635608$241EDD26-2DAD-4728-A2C0-413B791F7FF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6096a89991ba01787e051bf3c925b1e2ee400bdb","datavalue":{"value":"1401.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$5381A586-F917-47F5-A3FA-9DE3346B6350","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e489a430e6fac438594d1a10b58d518e1832422","datavalue":{"value":"10.1145/2603088.2603091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$213DA38E-22F8-420D-A9CB-3C9F060A4659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635608$94B246CB-6FD7-49CD-A5C5-C2C3C8652914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635608$F45F8CE1-33A8-4F57-B200-FD7286CC5D68","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":"Q4635608$B1DD07E5-E6C5-48A3-9805-837A269DBDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe449f468b85b46403017c91eeb30e6fc473c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1779310,"id":"Q1779310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635608$AF3D3372-251A-461C-8202-D749AA83E6B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635608$AE496703-6235-47FC-8C45-5429C9784BF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635608$E11D46D3-08AF-45BB-A618-09FA3EA982E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$6C597289-C323-4DCF-B8A0-0F4C00ADF3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$6586C967-04E2-42E9-B60F-C9C40FB40AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$927D4447-D946-4D69-8989-3C6031A4E331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$6315D977-4172-4FFC-BC2E-35C5ED06F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$9B0701BF-2B4C-4AF4-B4D2-0AF3852DAA45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6178d1dd204288eb980cf7593e6b0bed48d5b6b3","datavalue":{"value":"6863083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$E135BD4B-35B1-45AC-8EFA-DA51F6CC30CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635608$4772F245-9F5C-4AE2-A4FD-EF2D2BFB6871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec380ca252be3c5f710d69356f4a05c9923ebeab","datavalue":{"value":"inductive predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635608$6F688673-8790-443E-9677-C2E7C33A51B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635608$17DB0221-9BB0-4378-9058-C3C736501EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635608$12BC7DC6-3A13-4F4C-B430-EA4D5A8D2CCA","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":"Q4635608$674FCBE2-CAED-4756-9509-4DE6D7C87797","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e17362212bbd9bed120e5e052f1265d27ca87219","datavalue":{"value":"https://doi.org/10.1145/2603088.2603091","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635608$C9A3C56F-BF7D-4AEB-A071-83ACCBD4CD24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfe0479b727886a4ea4bbe2a6822ba2639f77fd1","datavalue":{"value":"W2103490167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$D5379053-138B-427E-81C2-EA2319C775A0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"66788673b1f71943c00249d133b5e55826a1772b","datavalue":{"value":"Q130855327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635608$5907D805-43DA-4303-B582-5E95D7004C11","rank":"normal"}],"P1643":[{"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":"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":"Q4635608$72E5D49C-CF7F-4695-9B37-43C385007CA4","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":"eb8c4ee61e98d3fd06a83322c634b606e53b1f0e","datavalue":{"value":{"amount":"+0.8717942833900452","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":"Q4635608$C7466038-BF2E-4375-8A83-19226CBC78FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3477aa6b52a9cb3c55e5d78b00efcaeec4c9ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2828247,"id":"Q2828247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7f559e238511fd0be55ed76657182d2b750f20","datavalue":{"value":{"amount":"+0.8526822924613953","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":"Q4635608$B06A22D3-C0E1-44E4-ACFB-E3DA6AD012E8","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":"4f01fed09f9a31c47a9a3664fbeec174e4a93a2f","datavalue":{"value":{"amount":"+0.8491821885108948","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":"Q4635608$F1E016F4-A421-4226-80DB-39BA9C8891DB","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":"1f779129ba5d6240d9c476bb304646447148638c","datavalue":{"value":{"amount":"+0.8364081978797913","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":"Q4635608$E6E9877C-895E-4107-9FB3-14F415BC1335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635608"}}}}}