{"entities":{"Q1990511":{"pageid":2001253,"ns":120,"title":"Item:Q1990511","lastrevid":72239253,"modified":"2026-04-14T03:33:05Z","type":"item","id":"Q1990511","labels":{"en":{"language":"en","value":"A decision procedure for separation logic in SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965629"}},"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":"Q1990511$A4AAD58F-197B-4357-BF9E-1374395CB4C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61579b31e5ee2c22654a58093f35f9d8955c75f5","datavalue":{"value":{"text":"A decision procedure for separation logic in SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990511$B4692F6D-3EB6-455C-8416-4426D10EAEBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f3a385ebe40e974f5b20e0e216ff9cf1025cce","datavalue":{"value":"1398.68486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990511$F1DE4347-5420-4E0E-9446-88954EF84C8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b065eb65cdb49d5784144be4d9156da6130198c4","datavalue":{"value":"10.1007/978-3-319-46520-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990511$05F43847-2E69-4400-86C3-12343FF035F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$1C05B8F9-54E0-408C-A31F-43D488D02767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$4552C42D-95C3-41A3-B3B4-1E05E5141308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0174a7a86359e2cfc467dd0ebe3391285eca943c","datavalue":{"value":{"entity-type":"item","numeric-id":1990510,"id":"Q1990510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$DCD7D15D-BBFE-4984-A018-4B0457D97FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d6d2df57140b8738e420c9f16da523f55af6a1","datavalue":{"value":{"entity-type":"item","numeric-id":1688536,"id":"Q1688536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$2ACB819C-CF5E-465D-9661-9C2415F36DE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1990511$923AECB7-B04D-4B02-B092-A296226E9F64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb0480de4ab3356dfc5c03d6f8bb16280fe63abd","datavalue":{"value":"https://arxiv.org/abs/1603.06844","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990511$97042BBE-B45A-4DFD-BC33-7195DB9ADA9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990511$7F59599A-CC9D-4616-84BC-9D7EBC2934F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990511$00E8B1AE-67C7-4520-A5C5-5322CA5AD2BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e395d8a9d5f195c3d4a1807efaa2c3bf4254bd","datavalue":{"value":"6965629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990511$A7DB0EAF-31E7-469D-9CF2-731AC433CB11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$68AFF932-C70F-41A2-AEFE-4ACD7D481FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86e863a5050d80bfffa55dffe8141581cefb24d3","datavalue":{"value":{"entity-type":"item","numeric-id":40256,"id":"Q40256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$7977B694-AE52-4BD6-89F8-86190CD74903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$B6733209-C0E8-4773-9ACF-9C7716501F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da473e069d657f6312622e5621b040a55a3a4367","datavalue":{"value":{"entity-type":"item","numeric-id":32676,"id":"Q32676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990511$3D795F1C-E194-47DC-965C-287C5140D0F7","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":"Q1990511$A78FF987-D641-44D3-961D-DA21D756412A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcdbbc92c591f769e4e7ff50dd2603c38483426","datavalue":{"value":"W2309670657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990511$58672B21-2A3F-49E5-B2C5-5DEE176FA404","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":"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":"Q1990511$5E2357CB-05E7-4B70-A4F5-42E7E1B3EE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6b8fa1de3c338cc55561beb8689294bdc2daec","datavalue":{"value":{"amount":"+0.8333463668823242","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":"Q1990511$C1D6A18D-1EF6-45A3-86BB-7C844E989A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca72a740cc4518e5cbf6b1379c150f31db31622","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d295e56719168fa1fc977b98accc06529a1a77","datavalue":{"value":{"amount":"+0.8282868266105652","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":"Q1990511$1EEB22AA-4B28-4FE1-9537-3B8B72B24E67","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":"77c6d2f589bd00ac74bc21cca9b316145cf94c72","datavalue":{"value":{"amount":"+0.8271825313568115","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":"Q1990511$5A4976EB-2544-44FA-8B7C-CA05487FC29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ca8a7036dfadaf3c119ba34b498acbd82bf91c","datavalue":{"value":{"amount":"+0.8253267407417297","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":"Q1990511$E5F7B243-7FBE-4B34-A520-ACEDB296C299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure for separation logic in SMT","badges":[]}}}}}