{"entities":{"Q4989410":{"pageid":7018987,"ns":120,"title":"Item:Q4989410","lastrevid":91258520,"modified":"2026-06-04T22:41:07Z","type":"item","id":"Q4989410","labels":{"en":{"language":"en","value":"Decidability for entailments of symbolic heaps with arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350781"}},"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":"Q4989410$7E80A320-E87C-45B3-A403-B09AF5AA28BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$186D50A1-1B9D-4B98-93D8-5C401FB4752F","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":"Q4989410$264D84DF-1378-4A34-8DF7-E577DF65C3E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-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":"Q4989410$BAF4885D-D690-47E4-8EB9-33CF1B5BE139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af3a7b9fb73af96cc088c6402fedd970a5098503","datavalue":{"value":"https://arxiv.org/abs/1802.05935","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989410$D89139E8-6C19-4ABA-A5A2-3F33518F0EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"78861f4c5943ea28bc53dcfb01e208751e991f01","datavalue":{"value":"https://lmcs.episciences.org/7472","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989410$79144FEB-AFB7-4B46-BB57-43510BF99158","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989410$931A82E2-DFCC-4E39-B8EA-44195A0C770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989410$29D73CB5-7651-4C6A-B836-59041EF8D569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a9b33bf6a5568a0c0a5e4643ece5087275b7290","datavalue":{"value":"7350781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989410$3E87B6E8-5CA0-4E43-9329-A3AA68C188DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989410$6A00E3C2-E98B-42A7-8C4C-EF2332352B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af363f91d546addc0c33b786827122660087604","datavalue":{"value":"program analysis/verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989410$A8F5DA20-7E3C-45BA-8099-8C649421475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989410$2F133A03-B56B-4F4C-A970-CC2E3129F727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270f1a4769ce41d92ad7a61e341b778f67336e6","datavalue":{"value":"arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989410$DD2F6A1D-312F-432E-A891-E11B171434F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989410$390B287F-7AA8-4501-BD38-D05CC1C9140D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$238AA5D2-3E7C-48C9-8BDD-83339AA56D5E","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":"Q4989410$A4C106E6-002F-49F9-80C1-45AB516EF80F","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":"Q4989410$FE0BAD68-083B-4077-824F-686B9AA6FC7D","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":"Q4989410$95FE5C19-63CF-4160-B0FF-B3F700EFEF1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$77A22018-F75C-4B11-812E-5293339625C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$64C552C0-D973-4645-83EA-B2484D54E657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$0F98D55F-9375-47DC-AD86-194C6E70F7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$D91ED07A-A914-4460-B0A1-968C5465F0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$59A5553D-1193-4436-96BC-920C982BF054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d584fa3396aa4a5bb45485bac8e4f553232816c3","datavalue":{"value":{"entity-type":"item","numeric-id":2405270,"id":"Q2405270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$88EF0173-07B8-4C7D-8B80-40390A5D0C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8784f04ba7ff77200b6106c99ff63b784f2c1d","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$DACD33BD-66E7-4409-82D7-5B62113D7809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$27C47985-6790-4E02-88DA-36317A4BCF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$8AAA621C-4095-4ADF-9810-58AECBA6FA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2c039a5883d5ac3cd95d56b3bcfc5b39b322fd","datavalue":{"value":{"entity-type":"item","numeric-id":5326282,"id":"Q5326282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$7846199B-F412-4DE5-9C57-2BD9E9DB614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636a058f8e83cc505757b510fb62dd99437be061","datavalue":{"value":{"entity-type":"item","numeric-id":2789053,"id":"Q2789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$0AC0FBE3-313C-473C-9F94-D6C3E6C1162D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$C0FE9E83-3BF4-48D9-95F9-3ACB59B2766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eafa32561bedd2503fc06cf62f87454a99ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$253AD744-B17E-419F-BCEA-F77A9B16EF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405081d02bd64e7f913506e07d422385bd676028","datavalue":{"value":{"entity-type":"item","numeric-id":5055997,"id":"Q5055997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$933272A6-5ED8-40B5-A55E-F0E36631E10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$49B522D6-DD89-4794-B463-F8022291D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f51c02d369715987c42abe1dd6fe2a9b5ac443","datavalue":{"value":{"entity-type":"item","numeric-id":3460899,"id":"Q3460899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989410$DBB3AC8C-2B32-462D-B878-CBE890BACC2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0033fe52d2566aa15b53e92e5acf68eb8f13ba8d","datavalue":{"value":{"entity-type":"item","numeric-id":5055997,"id":"Q5055997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a59110c8df326b20149eff9a8c627d4e41fc0d","datavalue":{"value":{"amount":"+0.9235097765922546","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":"Q4989410$86D0E680-29CF-4FDE-ADF9-B2F6BF973EB1","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":"9e95fe08bcf6b376ba8d99a08ebb7d0650e9ae6a","datavalue":{"value":{"amount":"+0.8149292469024658","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":"Q4989410$BE8F5AEF-0EF9-48AB-89AB-7F85DAFD195F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bb9a85afa6144e47ff21d69a0598b4dc1c0ea6","datavalue":{"value":{"entity-type":"item","numeric-id":6091412,"id":"Q6091412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93dd9218aa2a7724f6496672a698c8f7511d0ef9","datavalue":{"value":{"amount":"+0.8082341551780701","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":"Q4989410$35114DB6-3407-493E-8593-71B2B76B27ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50afc43eed75d1650a53d0978d61f9e3dfbedcd4","datavalue":{"value":{"entity-type":"item","numeric-id":5136317,"id":"Q5136317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4963b4d64e68d7f5c5b52c158b03101c531a2dbd","datavalue":{"value":{"amount":"+0.7917989492416382","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":"Q4989410$6C36FD16-7220-4B93-8A96-BC7CD2A7D133","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":"fe2fa68a249d5303032220018a5a6ad18f28f592","datavalue":{"value":{"amount":"+0.7849929928779602","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":"Q4989410$E76AB684-6307-4D3B-A093-12CC1BAA341F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability for entailments of symbolic heaps with arrays","badges":[]}}}}}