{"entities":{"Q5055997":{"pageid":7085574,"ns":120,"title":"Item:Q5055997","lastrevid":92258699,"modified":"2026-06-05T01:16:18Z","type":"item","id":"Q5055997","labels":{"en":{"language":"en","value":"Decision Procedure for Entailment of Symbolic Heaps with Arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631450"}},"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":"Q5055997$D59CAB20-2DD2-4550-8321-4489852DB4A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d27247c530ee663fff6ca8c99cf74b187a0291b","datavalue":{"value":{"text":"Decision Procedure for Entailment of Symbolic Heaps with Arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055997$180F4177-483B-4D60-8EC8-1C519F00470D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bdf914a9a3e4179ef2fda743cdc36129ff446ae","datavalue":{"value":"1503.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055997$DE1F8532-6089-45F5-80FA-EDE5EAF5E709","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15909bc8ceccaf1cc94383601411ba807e14d55f","datavalue":{"value":"10.1007/978-3-319-71237-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055997$F9904181-1396-46B3-B374-158A0FD38382","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":"Q5055997$6D9B307D-8F11-444C-A443-DDBBA151ECCA","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":"Q5055997$6545B7B1-28A5-4E8E-828E-40F8D879EC1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055997$F62BA80D-D127-4E48-86ED-6EEAD723AFD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055997$843192CD-FDDE-4D43-857F-69245E30C601","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddba62b19867a9d21fceefe74ed1dfc51418b3ad","datavalue":{"value":"https://arxiv.org/abs/1708.06696","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055997$D150167A-859E-4D0A-BBE9-12F94F2E89C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055997$32CF0F7B-4915-4D37-8CB5-AF691EEBAACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055997$918216A9-7226-4438-9365-BBA9ADDF2B08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1342f5e487df848b5df034eb080653aeed629518","datavalue":{"value":"7631450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055997$B8EC2C1C-B472-4CE5-858B-B0B6BD0CB740","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055997$0155EF15-67E6-4EFC-8613-E8E87DBD2FC0","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":"Q5055997$C5239DFA-0C61-4F4A-9D73-2F1186D23BB8","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":"Q5055997$DE9A4824-CE56-463C-B9D6-B15CCCE52F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"121116a746397712de938501a0bc137743cd660d","datavalue":{"value":"W2962831873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055997$BF8C8012-ECD8-4C26-A62B-8EB474C00301","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":"Q5055997$D71C226D-5F41-4AD4-B8D7-A7B570F104BA","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":"Q5055997$F9900809-47DA-4DB5-B49E-CF14A33F484C","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":"Q5055997$1FFE227B-3553-49F5-8C73-17E2FB23A51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3a32751a143a211da73fec4c2725da5321c9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3184673,"id":"Q3184673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055997$591FA67D-376C-42AC-BB72-E477E6644849","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":"Q5055997$899B7D47-5633-4061-9D63-E76A108CACE2","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":"Q5055997$A8F46587-A86B-4E97-820C-7BEA786652A9","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":"Q5055997$EAD1EC8A-744A-430C-BB12-F408E6DF9BC6","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":"Q5055997$1AAC28CB-DFA9-4254-96B9-BDACF04233C2","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":"Q5055997$AB84C79E-7907-414A-9D9D-DF063394B1E0","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":"Q5055997$6F41F6C9-0663-40B0-BA36-802C611A12E1","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":"Q5055997$3283D7FC-FB0B-4D50-82D2-D71778EE3D20","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":"Q5055997$9E67BD7B-82CD-44C8-804B-1C70FACF8FF4","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":"Q5055997$90C3FD75-B654-4B69-9EC1-D3CE422B80BD","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":"Q5055997$C20C3E3D-1C45-40E2-8811-4B9490A3B174","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":"Q5055997$560892D4-4E57-4F2E-9FC2-9619B9076B31","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":"Q5055997$DB9B135E-3555-4382-A073-D4233306054F","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":"Q5055997$71754550-5194-4B4B-B294-574ED10284C5","rank":"normal"}],"P1643":[{"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":"78b3d21eb1cb487f657210961097fdabe28c8c48","datavalue":{"value":{"amount":"+0.8064590096473694","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":"Q5055997$7C9F3BA3-16A4-4EFB-80E7-FBA1BCF9E9C5","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":"a1048ad1f4fd0bd58ba6de073f73976d0ef9192a","datavalue":{"value":{"amount":"+0.7889355421066284","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":"Q5055997$DAE22984-C8E8-4426-9767-3F241706529D","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":"ac8e6fbc990adfb9d4cd835140ba2a56a6a17ff3","datavalue":{"value":{"amount":"+0.7826216220855713","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":"Q5055997$F6D059E8-EB04-4E45-8D07-AC26A04F939B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa10a0492b8f73c4de4e6b54492d0fdccf84bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1688543,"id":"Q1688543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb471b8c876d33990c699608f5194664929ab882","datavalue":{"value":{"amount":"+0.7790095806121826","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":"Q5055997$6139FDFC-93C4-4E45-B306-B45BA74FDF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e7e6afb67b14d5ac655e9aad0be896869a7453","datavalue":{"value":{"entity-type":"item","numeric-id":2789053,"id":"Q2789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa3a41b6e362de7472a9533bc490c54e707f8a5","datavalue":{"value":{"amount":"+0.771986186504364","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":"Q5055997$800A680B-F9AF-4FAA-BCD7-835F914ABB5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision Procedure for Entailment of Symbolic Heaps with Arrays","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_Procedure_for_Entailment_of_Symbolic_Heaps_with_Arrays"}}}}}