{"entities":{"Q436400":{"pageid":438167,"ns":120,"title":"Item:Q436400","lastrevid":61815054,"modified":"2026-04-11T01:51:32Z","type":"item","id":"Q436400","labels":{"en":{"language":"en","value":"Automated verification of shape, size and bag properties via user-defined predicates in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059154"}},"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":"Q436400$31B5273C-28A9-46B2-9D26-15A7E47409C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e5b131e14e33cbd9a0a4ed7844e5bf0302c339c","datavalue":{"value":{"text":"Automated verification of shape, size and bag properties via user-defined predicates in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436400$5ED4FF3B-9CA0-4EEF-BEED-5B707E31294A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"444dcb8550d63e6fcbddf503d7cbaff1f1af5566","datavalue":{"value":"1243.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$228D389C-8560-4EA6-AF55-B3BD2691FBA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$92E10D3E-A252-4B1C-89E2-99EC0A239CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$F638E4A3-4A5D-4EF0-9AB7-FCBC0D3AC1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d434b3386a2e1d22ea7d407073d0af6bd3f7060","datavalue":{"value":{"entity-type":"item","numeric-id":436398,"id":"Q436398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$67976D9E-79D5-4DD3-84E4-EF8E3DB7325E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$C4CBD326-3E64-4A62-AE07-D3DA9858F988","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$E6222CC3-62DD-4ACC-991F-12B02F31DCA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436400$CADF6126-98EF-4C06-9C93-B8EF30138AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$C758BBCA-6A14-4444-86B5-A9DF5C91D8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$9ACD93EA-54D3-48FB-A1EA-E51DC25EB468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$16B42B80-36EA-44B1-A530-51178752FB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$51A46F68-DD04-4720-8E39-796980B9BB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf64ee56ed5883095d573afbe1c62ff9f07216e4","datavalue":{"value":"6059154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$DA9EEDCB-9D57-4C6C-84E9-6A4F18C7D1CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436400$1AD2493E-1792-466B-A73D-9D7663C51E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q436400$C04E2EBE-34BC-4A76-8DC2-820E7B2EA872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34d61be2e186f858522b83fec3839dc2e61cb98","datavalue":{"value":"entailment checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q436400$B5B4C460-A4F8-4E08-AA22-21BBA7844D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34608ea214508511b49afad3b92ecd40abe0747","datavalue":{"value":"inductive shape predicates with size and bag properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q436400$D1ED2571-7242-4336-B30F-805750357510","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":"Q436400$08E87E33-7E32-4746-93B6-A59EE8D8EBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$BC364B53-7689-4981-8AE2-1FCC182DC12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$0510D658-ECE0-4795-9CB5-5603AD6D36B1","rank":"normal"},{"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":"Q436400$7D78A53A-9EC6-4BCF-B6DF-3D264FEDFA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$E1477F0B-40D8-499C-B7CF-6AE05D8DB2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$3BBAC22B-11A2-417A-A240-586870A24CBC","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":"Q436400$60647547-C2F1-40DE-B80A-D5810BDEE8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$6BED43D3-6D70-41D8-8904-0C7AF87619FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$DBB3789C-4CA7-4CD3-BD91-F8B100B8102E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$27D1D230-50C7-40FE-B3A9-296790219238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$3F712B39-E14F-4AAE-9086-F83FF4821D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$6AC16E7E-3394-4071-9D73-55E280700A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$0EB2AA27-9B84-4C79-82AA-1FC820021F70","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":"Q436400$6CCE5FEA-1BB3-455D-BE09-48948CCE63C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"290d9bc5c816653d68c3826aaf492a44211c39cc","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q436400$E1F0851E-1D85-4C8E-9D70-F835F860E407","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"880b21ecf6077b44810f66af301fd292468f30f8","datavalue":{"value":"W2045388381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$CFAB3255-A207-4FD2-9FD4-D45343F94905","rank":"normal"}],"P223":[{"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":"Q436400$6982B1C7-2DC8-4045-AB0C-7F1150041A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddd0949a53b05a5c6e9163f0e19b465ef959e53","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$DF75247B-FAF8-4E1F-8221-5852902AA294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$DFD2332F-A1C7-4EF3-8256-FF968703C539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$D2B570E0-0CCC-4CDB-9691-DE65A0456244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c905609ba1a69ac6cba3a72bf833c26796dee0df","datavalue":{"value":{"entity-type":"item","numeric-id":2936769,"id":"Q2936769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$B35886D5-C070-454F-B0B1-7A4957003A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3692aa2d157356a2dba2cdcf8e4dfc8407c894b","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$8C2D1EC8-A4DD-437B-A45F-2130B80D62C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$811E1B4D-7777-4425-AADA-0A84309B2943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$41EAE466-5B42-4B50-8454-E9449AE4BC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$BECBDF03-7376-4E5B-82A0-7098C38CDB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d0561d6adf9d7c6eabaf6de644e8ad9f5983d","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$D85B5A23-66C2-4E4A-8ED4-2BF2C8EB0E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fb67831048f0d62fe4d449fdd58a69df2892fe","datavalue":{"value":{"entity-type":"item","numeric-id":5505599,"id":"Q5505599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$EB7C36BA-E408-48C2-93A6-416D8D7BA589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$4A455A0A-5D44-456E-A027-8B08E6F553CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e521a76d17bb67e40357c17948f3ee6e6f48d7","datavalue":{"value":{"entity-type":"item","numeric-id":4934618,"id":"Q4934618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$6A625004-2B4E-408D-A8AD-5D04729AD495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"097beafc05a97f0c4e666d19252acf96b5d4d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$C328CF05-2BC5-44D0-93DE-A07372E2AB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$6ED7F23B-2EF9-4347-8930-A8410D398F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e1822cc4b1e1be7d3f6478fe3be7e4f705bee5","datavalue":{"value":{"entity-type":"item","numeric-id":5899013,"id":"Q5899013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$F8234BDF-5C95-458E-BA7D-881F3D3E28A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fc3deaa77fddc859de02906e50659fff7f4acc","datavalue":{"value":{"entity-type":"item","numeric-id":5762903,"id":"Q5762903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$EA0C64DA-06A8-4E7D-BABE-D40D3E726477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef552af965d052b8ba64fe1fd78aa90edf47625","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$4206A863-4ABE-4EFC-AF1C-0A726B5982ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc147e554421b32de8151899e567ae26f219e3","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$74489470-44F2-4C1A-AE92-5DEC90A817B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd8bff27d5fbec176507b9ef836e3c148f2614","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$69BEB8CA-FEDD-4EF2-BE84-1A0F96A43E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$B7219699-E785-4D49-8811-E6987A199A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$8E32DD1A-7C4C-437C-8800-70E61FAD9E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$C5A2E7B0-C040-4B53-8843-97B3B8EBCD69","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":"Q436400$C9BB136A-92BA-4459-AAD1-6417EDF58778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$87CBCC98-B077-47C3-B076-C53C453BBB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27124d54cb51e845e43d7ecd27812d025e0950ff","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$3A96DFED-BE51-44F2-A4AE-BA4A27BF0B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc5b8faef02add0dac1e1edb32f2d2749aba6cb","datavalue":{"value":{"entity-type":"item","numeric-id":5466563,"id":"Q5466563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$AD8835D8-3CCB-4562-AE31-415B4EC1DC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fef702d3dfc6983b8b868d96af6e8261be1cd5","datavalue":{"value":{"entity-type":"item","numeric-id":820139,"id":"Q820139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$3193DF65-F11F-4D73-B672-9412B548F2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$C0563C19-018F-4CD4-A9B6-5FF16B4E441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfd62865a78026bb5cdd8ce719227f1e763aff7","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$B6268188-D35E-4DB3-90B9-74354193B712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59904daaf66125f88229d740bfc49c973a37750","datavalue":{"value":{"entity-type":"item","numeric-id":4532095,"id":"Q4532095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$1CF4BE06-495B-4EA7-9ED3-9FB723EFCCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175b398753b6478b140249590f4df7dba5367c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5898616,"id":"Q5898616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$A93D91EA-6253-49A6-9E11-92C92C3F80A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436400$92F9FA36-7F6E-429C-AE13-AE8DDAC48D53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81e7228671e33d2e9036984db49c27c75c8106f8","datavalue":{"value":"10.1016/J.SCICO.2010.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436400$79AE8388-C631-45F9-8AEF-62BE81A25951","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd604750052f6347b1d760a77fa2c990e8d03","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284b2541df1f2af87411066afd7b9871abcb18b0","datavalue":{"value":{"amount":"+0.9534900188446044","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":"Q436400$0045DF20-1F85-46DE-A01D-A5B33BBCFFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b747739e68a28ccea936b1abac75aa57dfa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":3512504,"id":"Q3512504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9589f9fdee319060e685912d3f898ca08a4542","datavalue":{"value":{"amount":"+0.7997123599052429","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":"Q436400$4FC9B559-8EE8-4B14-AA90-E4A6B770F86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c73e27be43b684a3a9d118000e4bc37409973b","datavalue":{"value":{"entity-type":"item","numeric-id":604389,"id":"Q604389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb6a13a884415e7ab04d94fa8413bfb181cab1b","datavalue":{"value":{"amount":"+0.7787073254585266","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":"Q436400$55DA557E-4B0E-4145-BFD4-C390ABF5AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d92a25c4769b60bedd453035abfc39902034de3","datavalue":{"value":{"entity-type":"item","numeric-id":3460548,"id":"Q3460548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cc2943d3f6ad45ea5bbd36091f863331d3092c","datavalue":{"value":{"amount":"+0.774938702583313","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":"Q436400$A2F5EE6B-BAC2-4C7D-A0AF-AF2D4E595E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effa353d5ae0977d1a82ed8e033d68fc0ef92444","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ba524c2b4faf1eea367d9b07b0acfc9015dbbc","datavalue":{"value":{"amount":"+0.7684346437454224","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":"Q436400$2DF5C56C-292D-4896-8412-BE0778058717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of shape, size and bag properties via user-defined predicates in separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_shape,_size_and_bag_properties_via_user-defined_predicates_in_separation_logic"}}}}}