{"entities":{"Q862390":{"pageid":864238,"ns":120,"title":"Item:Q862390","lastrevid":64938939,"modified":"2026-04-11T23:14:05Z","type":"item","id":"Q862390","labels":{"en":{"language":"en","value":"The SAT-based approach to separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118118"}},"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":"Q862390$A33EF12B-FFA4-41D4-B874-E3FF9C52B972","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"794ff3d2eecf2789ab40aa1f8b5f7253c4d4f320","datavalue":{"value":{"text":"The SAT-based approach to separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862390$0879BC01-B6C1-4704-BA08-9B335689FCF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6691def627478df1bef925ccdd5517f550b100c","datavalue":{"value":"1109.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862390$8A479861-FCA8-481F-BF09-125235661C5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$ABDC5781-6ABE-484E-9A10-E7A6E58B4360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcd26f860b44bfba2e9bedcf5b19eb2d71483a","datavalue":{"value":{"entity-type":"item","numeric-id":814471,"id":"Q814471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$666B7607-470C-4E4E-BDE5-9E62316C221E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$471D7C9E-716C-42B3-A7FD-99694B513D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3260f3ff5bb501f931edc564a27f90796d6990e6","datavalue":{"value":{"entity-type":"item","numeric-id":414855,"id":"Q414855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$087FBBBB-6E52-4DAB-8D33-6D5344D98476","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$E2300EDD-5436-408B-A270-2CD49A42D218","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862390$C3F26B15-10F5-4890-A42D-8DC48DAB519D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7e50a469da5ba54fd0507ce94e1c45b141e81a8","datavalue":{"value":"http://doc.rero.ch/record/314780/files/10817_2005_Article_9002.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q862390$CC0FBF4E-BCF0-40B0-B996-0D7F9A97A685","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862390$5BCDEEBB-B205-4DF5-9298-8A4C28EA01E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862390$AD518F09-E543-470D-A63A-5F324E26A8AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386a09bcca12343f6df7661b75971efc39a86e77","datavalue":{"value":"5118118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862390$89BEED25-99FD-4960-84D5-2CD2415981B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q862390$3AF72142-0B3A-4665-B860-4E8C828B7D96","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"92acab5d026331a33860f49d1d2ceadf54a61689","datavalue":{"value":"Q62652851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862390$CE66CA50-5B57-4CB4-B1AC-0B76B1268374","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ba639714f2f8787e77fa0ff38f8320423878539a","datavalue":{"value":{"entity-type":"item","numeric-id":13241,"id":"Q13241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$D00689BF-8E67-4A60-8914-245A2586C29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8ebd0d95437221445cb2bfed9bc4709cec91c80","datavalue":{"value":{"entity-type":"item","numeric-id":13303,"id":"Q13303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$F73A2DC4-4FA9-4215-9608-EC7A34B98D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ceb49dd35ab17ec4b22a9c1f0dd26d31401a25d8","datavalue":{"value":{"entity-type":"item","numeric-id":33158,"id":"Q33158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$2F6A8C51-4C55-410A-8B1A-C157D6E48DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$77A06E60-DA04-4550-88D0-55F02D51C3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52976748fd61906f43fb9f1c7e04fdac3cae57fa","datavalue":{"value":{"entity-type":"item","numeric-id":16196,"id":"Q16196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$D9D9EA2F-D058-441B-AC92-5CE7CE6DDEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$5531FD47-3EE7-4162-8000-FA77FD5CB2EE","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":"Q862390$480C526F-D0DA-44CD-85D2-C19E1E5BE78B","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":"Q862390$34C4FE4C-5F65-4AAB-9F8C-CD0721ED2F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1da11d23a30c7be3e1cfb0119cfa9df58c47955b","datavalue":{"value":"W2170813482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862390$FEA6D7AA-8D02-4E3E-BC8C-A5ECB24D085E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8fb9366cf73138dfce57da59b48de3e7493c00d","datavalue":{"value":{"entity-type":"item","numeric-id":1353946,"id":"Q1353946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$8D303330-12D1-4142-B180-B0F0F5DD1035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca6a116cda218a5a5ba933b4a80a76fb1eeb6a2","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$F319FE87-37D1-43D6-AE58-AD94788F5EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d2fbf590e109e2054d60534c9f4db367ce44ea","datavalue":{"value":{"entity-type":"item","numeric-id":2848055,"id":"Q2848055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$D509F731-D307-47F3-A38D-F3E31CEB285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a976a6d6a088dd093dbfbb375175fbac38994986","datavalue":{"value":{"entity-type":"item","numeric-id":5714755,"id":"Q5714755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$52D17172-7669-4ED8-9D66-CF35585C97E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71dd5571a3c1c99537e11b357ad1449f45692c1","datavalue":{"value":{"entity-type":"item","numeric-id":4809056,"id":"Q4809056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$10FD72C0-5D6D-4FDE-85B5-96A330C334F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$B5A89A2A-6D07-49B4-80BC-06D0DE0D2664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132f197eba1642379bbe97f1fd2389daaa6c6a4","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$2F8A4D63-146C-4449-98DD-40060CBBD4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0850fea071eeb746de213743329a7ceeda8fd6de","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$97994391-1F35-4E57-B68A-3F602FDD0234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85900b4df4cad2d3e2046dfcd6398b6a189b934f","datavalue":{"value":{"entity-type":"item","numeric-id":5464752,"id":"Q5464752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$1917F013-E481-43C6-888B-9A7DD842F2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$F38F014C-C1A0-4158-BA0A-A68D38EC707B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$A225821D-3502-4012-AB06-E933BBA651F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41051290dad36879ad016b201152054fc1f7f49","datavalue":{"value":{"entity-type":"item","numeric-id":5307060,"id":"Q5307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$0C1141A3-5DCF-4A8C-A1E1-A09CE1FA3033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab6fe83f95c43ff07ff256779f395102f5f0b58","datavalue":{"value":{"entity-type":"item","numeric-id":3493325,"id":"Q3493325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$33F39120-030A-4760-8D91-F8DD272FAD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bb50b61f973cc1ba829d108fc8dd7d7c409ed3","datavalue":{"value":{"entity-type":"item","numeric-id":5325884,"id":"Q5325884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$BFA5EB30-73AE-4B4A-BC6C-56A92D75A2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625f6543cb45ef040d1e85336980be3f05f00677","datavalue":{"value":{"entity-type":"item","numeric-id":5900690,"id":"Q5900690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$F93ECD22-0772-426D-8563-18A165025859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153ff2c071bc5db7ed2a4a4864b90953ca620982","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$677FC3B5-8588-4699-A37E-1236596135B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cb64b0528c98205216ec932060ad7398d2f289","datavalue":{"value":{"entity-type":"item","numeric-id":4539619,"id":"Q4539619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$62735F24-A726-4E75-AB8B-A7F58996BB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e69fa5e2f2ac754b66363d1885e8388223310","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$B6FE9E6B-9EDA-437D-B8FD-F59AD730876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce0cb076df11c9a4fd8f1278c099cf930802a4","datavalue":{"value":{"entity-type":"item","numeric-id":5714768,"id":"Q5714768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$CDD0884E-8064-4D18-9DD4-066D26B7E383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187ac37ffc9a6cd026f976080d84a63a34f01dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4427901,"id":"Q4427901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$6805BA6E-77FA-40BF-86F0-F765254311F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66319efa68022a17b3f0d51cba4a6a8b45923c84","datavalue":{"value":{"entity-type":"item","numeric-id":5325882,"id":"Q5325882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$4E06F36C-B911-40FD-9F6E-379AA9652852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$3C8621E2-363D-42E2-BC45-5A6566334744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caf86375d5742ea2c000a772a856d31236b04b6","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$2D030AF5-A3D6-480A-8BEB-BACB48D99087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2def19939511ed33dfb6b50dc47a04dc6169ae","datavalue":{"value":{"entity-type":"item","numeric-id":1575430,"id":"Q1575430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$E10F72E5-1700-4676-B286-CFE94BAAA62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c4614861cca8cffe8c73b1eab1c760ae07859d","datavalue":{"value":{"entity-type":"item","numeric-id":4804898,"id":"Q4804898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$D6CABBA8-A4BF-4C4C-A038-49EE8137AF21","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":"Q862390$F9A9C34A-E399-45E9-95AC-86EC0A77E5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c17eeb95ef336e0ff97b95aee49dfe9ccf900ea","datavalue":{"value":{"entity-type":"item","numeric-id":814524,"id":"Q814524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862390$5E13BE05-7BB1-4382-A2E8-E88DEE2164FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0daa2016acbf4b81bf5823f30ebc0fabd90f955","datavalue":{"value":"10.1007/S10817-005-9002-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862390$FC5FDF12-7E4E-4AA4-AFB3-A974EC727E4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1d807fec9ff369bc56366ccb4b6be58ed1a33f","datavalue":{"value":{"entity-type":"item","numeric-id":5387848,"id":"Q5387848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d81d60cfbd4323288f133a310c80e26c627fed","datavalue":{"value":{"amount":"+0.8784446120262146","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":"Q862390$E7F7EAB2-5C30-443E-BF1E-6AEF6EA137BF","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":"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":"Q862390$FEEFBDBA-523F-4842-9271-2CA1E8A542EA","rank":"normal"},{"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":"c94c806d90b39e87ae90189cd16ac936b34e62d7","datavalue":{"value":{"amount":"+0.8282721638679504","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":"Q862390$7C8B5E34-D675-4D08-BB5A-7245BA362F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b717fa5de8dfac6c5c4a59ad4f25da488a26631a","datavalue":{"value":{"entity-type":"item","numeric-id":5312895,"id":"Q5312895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb19e571cacc0ee7416a17b10e49b9994d2ea392","datavalue":{"value":{"amount":"+0.8146594166755676","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":"Q862390$4CD132E8-02F6-4349-A116-3CE148559878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e101aa12f8433dfe039af423261b1e7d474bd8","datavalue":{"value":{"entity-type":"item","numeric-id":4804898,"id":"Q4804898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2a259e585eca6c9a9a995d50dc425d2da6425e","datavalue":{"value":{"amount":"+0.8105653524398804","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":"Q862390$F388FA20-99B2-44E0-9557-593C53EBE876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The SAT-based approach to separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_SAT-based_approach_to_separation_logic"}}}}}