{"entities":{"Q832157":{"pageid":834005,"ns":120,"title":"Item:Q832157","lastrevid":64706418,"modified":"2026-04-11T21:40:52Z","type":"item","id":"Q832157","labels":{"en":{"language":"en","value":"Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498134"}},"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":"Q832157$C76B6774-332D-48C7-BFD9-43C4510DA204","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dd6ef38e0fa6c0f32966e4d08fd68c75d811c03","datavalue":{"value":{"text":"Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832157$C50EA30B-4636-4A1C-A124-131E9D586655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"643b242bbbf02d9aadd02f30b9fbb44d17fe5fc9","datavalue":{"value":"1493.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832157$643E7492-52C8-41FA-A029-39850E24FFF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adccb530d4c0cae8c78013e1607a0c7c20073edb","datavalue":{"value":"10.1007/978-3-030-81685-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832157$96F01170-3F63-4D79-9E02-6C1D85279163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"123bfafb2f4109e7c3df6b89fc9b0bf1a3482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":784118,"id":"Q784118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$ABCCA5D5-8E29-4BDF-A1AA-A53A6F187F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2cf3a1ee288385394eee599a267ab89dc82b450","datavalue":{"value":{"entity-type":"item","numeric-id":300404,"id":"Q300404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$83F93EC5-8486-41B4-AFC2-7890875BFC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58eac631bf2a7e6a15b304f1380b17131f99dd63","datavalue":{"value":{"entity-type":"item","numeric-id":832156,"id":"Q832156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$57D0C327-6B86-4D7A-A970-156949B444DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"604e2732b1b9634c7f23f07fef29c6e42547c2b5","datavalue":{"value":{"entity-type":"item","numeric-id":387989,"id":"Q387989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$07C7ED9F-3347-461E-A363-560DB23F2AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e7aa46ac3d887e424dd5cc7f00c3746db134d5","datavalue":{"value":{"entity-type":"item","numeric-id":763479,"id":"Q763479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$5B034F12-4234-4D95-A223-76D27B401BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832157$580F6F5E-0281-41D9-962B-8E1F248716EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832157$A664102E-AEC1-4AAD-BA3C-78ACD37628D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832157$1824E804-4B51-4359-978B-091BB68BBA08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e3a6f211ae172011828e40920813078f6a5a37","datavalue":{"value":"7498134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832157$4D7BE260-EC80-40B3-8446-C471548C10C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$7061349D-27FA-41CB-A3DE-032262BC719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64a5d9831311ec850aa1a93b11d66d44e4a5a614","datavalue":{"value":{"entity-type":"item","numeric-id":5972665,"id":"Q5972665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$34087495-94CE-4AFF-BEEB-6B7C784692F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$BB3FF9DC-7557-4348-938C-A4DAB0D9FCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$6BCA7510-71CE-44D0-9249-572642B92721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bd0d2004971db48e861ecec36573f0c8bd7609f","datavalue":{"value":{"entity-type":"item","numeric-id":52554,"id":"Q52554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$184289A3-7166-4CA7-864A-AC0151BE1DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$84E9A9D3-AD3D-4072-A575-D9CDC0CEBE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$891F11E7-7777-4487-A196-F0425BB65CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c38d7d9c9f3af17c25a5c6cf3800ef2ed92e522a","datavalue":{"value":{"entity-type":"item","numeric-id":35077,"id":"Q35077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$867A454F-378C-4A41-A9D6-F446A90F25AC","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":"Q832157$B165BEC3-82D5-4BDC-B22F-9E85F1AC2090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b66631dc7eaf9c5bbe93c8f4db4d8e0c2e2fa0de","datavalue":{"value":{"entity-type":"item","numeric-id":32089,"id":"Q32089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$6F909673-9D84-4783-A2EE-98448B41A9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9afd1e8fc349d198c89a22f85926ff81edbd463","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$A417172E-34C8-4F8F-8DD2-358E482DF0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af7e320eaa043645fcae501eca102305f45924c7","datavalue":{"value":{"entity-type":"item","numeric-id":40341,"id":"Q40341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$15FE17AC-ED51-46D6-ADCB-C363473DD57C","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":"Q832157$42535D7B-2CEA-4754-8B01-C4BFFA859C31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b337bea9ea5d7b282ebd10b047b5dbe1f3abdf3e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q832157$C5F57536-8935-4BBD-89B1-4FE8E3ACDB48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc63c0e11254441aa83cdd1ab2f39c6c6d142dcb","datavalue":{"value":"W3183258024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832157$E3BA8140-62C9-43D5-B67F-0C7D7986131C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e212bdd6f4b87b546d50f29b1d7fea21385722","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$2183C074-A3D5-4192-9833-21185654CC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b08bc38884077be60969868f7bf15be790ad4e","datavalue":{"value":{"entity-type":"item","numeric-id":3303902,"id":"Q3303902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$5A1BF5C1-5115-4294-ACBF-8A5C2CD577F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$64B53730-9662-4EB1-AD7F-73EE623D753A","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":"Q832157$A8FFA20E-3679-42A4-86A5-2D6D553AFF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6b847528569308c270822a9e669d3f5e692fc","datavalue":{"value":{"entity-type":"item","numeric-id":2219409,"id":"Q2219409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$7D9B4B0B-A35B-4A26-ADBC-158DA1D2F675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ced8d6f2a9df1ee71786851c7533b59c2dba2f","datavalue":{"value":{"entity-type":"item","numeric-id":331617,"id":"Q331617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$21352CD7-CBF5-4529-B9AA-74E7188293C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8839917919f90fa144382a094d8dea8f58a77f","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$6822773C-0E3F-4EDD-846D-A25C50BD7992","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":"Q832157$DF802DCA-54F0-4627-A17B-EA878FC0B59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7555180e723f0e2bcf44b1b8e283c15d8eba8712","datavalue":{"value":{"entity-type":"item","numeric-id":2226760,"id":"Q2226760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$FDCDCF1D-F646-496F-9964-3EEF19034464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$140C6E65-36E4-4B39-8F97-4A842FABC5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97547b952eaebccf538f4fa1ba08a9660852f04f","datavalue":{"value":{"entity-type":"item","numeric-id":5041091,"id":"Q5041091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$2E36ADA0-BD27-44D9-B00B-B1FB507EC03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa3e0baccd13a31decdefff78dab1089382403","datavalue":{"value":{"entity-type":"item","numeric-id":2988651,"id":"Q2988651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$456E49E6-1AB5-4C7C-A88D-E2CBDBC918AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408dd153356546cf4f54bb5174901182b587cfa6","datavalue":{"value":{"entity-type":"item","numeric-id":3617714,"id":"Q3617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$AB7F663F-29EE-43AC-AF4A-174700DBF756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b7e39cd0ef69597527af3b77677552467d3b5a","datavalue":{"value":{"entity-type":"item","numeric-id":6166148,"id":"Q6166148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$622C3FB8-9F37-426D-A33A-E9EACBCF330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$769B9A12-3977-4072-9828-0DD7F95F35F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba89e24c650d6f69085035ab2ee78d9f09dc9b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2828323,"id":"Q2828323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$3D12E8A3-5A98-4FA3-B58B-1E1E8BBEEAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df01f1f257aa4e0eda78a40444b30a121e95f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4645730,"id":"Q4645730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$01D6D019-8227-4539-8BE9-D05878633D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$7972102F-07AC-46BA-9D28-94FA781059DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56662cbd9e13aadd4e49a3ba2ba43c21b58f2afe","datavalue":{"value":{"entity-type":"item","numeric-id":5145330,"id":"Q5145330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$ABB558C7-E12C-41B0-93C3-8A8B7B0F4E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88107773061b55a684a37ff2030cb91e127bb568","datavalue":{"value":{"entity-type":"item","numeric-id":5408549,"id":"Q5408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$5F5F4437-FA38-4C8E-B92B-2CF38264B43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$0503EEF7-C921-43F5-813F-AD903A302F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$A0D51E00-41DE-4BDC-BD49-EC3E100F5875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4664bb57de74b2131833ba33d6f5ae1dd0bce5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$A806F1E0-4829-4C2E-9A0A-2F2A596143B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4359902a223f2ffbc7e18e5d836332573e45d8c6","datavalue":{"value":{"entity-type":"item","numeric-id":2942864,"id":"Q2942864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$EBCF9200-6A57-4A98-8D80-2F19AF7FD6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6df64544c0eec8ced5b78fbd60e68d3ae563cd8","datavalue":{"value":{"entity-type":"item","numeric-id":749197,"id":"Q749197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$20C391B1-3B14-4C4A-BDA2-70E01BBD94A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$B1A9EAA4-ED1A-46D4-90F0-37B3D6842B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$6160C211-6818-4CB5-9C5D-2DF3D8CAEC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7ec5a4eb06caee544452117e09ee8cc73eef23","datavalue":{"value":{"entity-type":"item","numeric-id":6091293,"id":"Q6091293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$B73EBE81-A4C3-4065-B146-A52781DEDBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$AB826831-B56E-4E8C-8A56-1EA673F5B9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$048F7F25-5E2C-4869-B704-6B319B8AFA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e469422ed01408c31348e84487db269e23f39f8","datavalue":{"value":{"entity-type":"item","numeric-id":5255079,"id":"Q5255079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$F6A92B24-1665-4AA5-8B76-522B20FBFA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ca6ca9e2ffad4c673cd67ebf560070a61a4c67","datavalue":{"value":{"entity-type":"item","numeric-id":2234087,"id":"Q2234087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$48F132E4-23A2-4967-AD8F-AFA408AF2D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde0c5acdec560094faaeeaf74535ff9bab476f","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$78E2403F-3430-4348-ADF3-EC4E4432D305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$3638CF84-81DA-4B58-9DAE-4C0DD5E7D49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$77AC54AE-5BB1-4F6D-AA17-4774CDEE9A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a83428767e1f7920f2dce5105ba967ac8bf5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2280222,"id":"Q2280222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$3E3EDDAB-7C64-4B1F-9962-4E4F2C08D5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eef7c45e05e86437ee5a82ee557e166b54807cf","datavalue":{"value":{"entity-type":"item","numeric-id":2981966,"id":"Q2981966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$431058E6-03A3-4A72-BCC3-6A295C63F7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$9AC672DA-B0B8-4FF5-A5E0-46B57EE0F969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$458C5A1A-EAA8-402E-958B-DDD8C7BFAE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adb59b5fe026263a42ef8f6cdf4bb210b1250a7","datavalue":{"value":{"entity-type":"item","numeric-id":2937788,"id":"Q2937788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$19B6E73E-39CA-4114-A208-A2F4047C497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f054d1c534dbec3ef29b40f00b53e78f40949dd","datavalue":{"value":{"entity-type":"item","numeric-id":2931809,"id":"Q2931809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$89172E3F-C1D1-49D1-8BC5-F9E2887AEFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$4028C270-37A1-48EC-B31D-B1C414E29465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ec3fa11448ba46a63979aff58ae23be2ddbb68","datavalue":{"value":{"entity-type":"item","numeric-id":2151272,"id":"Q2151272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$0842A04F-AAAF-4BD0-8EDC-1B88892C9D6D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832157$07D7F9DF-F96E-4071-87BA-C565C1AE453F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deductive_synthesis_of_programs_with_pointers:_techniques,_challenges,_opportunities_(invited_paper)"}}}}}