{"entities":{"Q5096090":{"pageid":7125666,"ns":120,"title":"Item:Q5096090","lastrevid":91357268,"modified":"2026-06-04T22:58:02Z","type":"item","id":"Q5096090","labels":{"en":{"language":"en","value":"Liquid types for array invariant synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571431"}},"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":"Q5096090$4793C3C7-2718-4DBF-81B8-26AAB468B43D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f492907d377f3fedf179bf632729f0c4b6508442","datavalue":{"value":{"text":"Liquid Types for Array Invariant Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096090$ABA744BF-CFC7-48E1-9E0D-9CC3455D6BAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a391ea99b236f9ed8f1860a094cfba593c48c471","datavalue":{"value":"1495.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096090$A5588C0A-916C-4905-AE4A-102E56A1517D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"240a5799d5dbf29d4e974f5c15c7f6ccb0a9d504","datavalue":{"value":"10.1007/978-3-319-68167-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096090$D30288FD-91D8-4B7A-B0FD-2EBF95391108","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc554f6471ff9eed49aa19334a728f6412a548e6","datavalue":{"value":{"entity-type":"item","numeric-id":209390,"id":"Q209390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096090$EFC9087A-DBAC-41C7-AFAD-E81BB63BEC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e0deb06a9287a1e74623f4839b0b1e5b1d5c18","datavalue":{"value":{"entity-type":"item","numeric-id":683711,"id":"Q683711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096090$608A3E70-0994-47A4-AAD2-24F0880FA06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fe0d5d94c9e0413608077b92ea1c7fc83d2414","datavalue":{"value":{"entity-type":"item","numeric-id":2437793,"id":"Q2437793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096090$16AEF9B2-7055-40F0-BD83-ECACEB80095F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c4f0a73cb16daf1a6d20b105b364dce4d8e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1984796,"id":"Q1984796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096090$1FF86EC7-1CC5-4880-9C41-EC247743590B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096090$CB408428-54D5-418B-AC35-F0D81AD97663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096090$3904EFB9-A2B9-4B1F-A33A-96A60F986990","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096090$03F21E49-E163-4266-893B-A45D1B04E172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096090$CBA16021-F1BD-463D-8131-A43C2B35238F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096090$A24E2441-8C13-4287-BD9B-10398A4BB897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0048915060e355efaccc78629ab049d38758aefe","datavalue":{"value":"7571431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096090$9AB033C5-90FE-4D42-88A6-D7C01BAB1DE6","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":"Q5096090$1F962573-F4EE-4094-A0AB-6CF489490C23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93dddcace32996a6c4eff29bd70345b5f440db0d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-68167-2_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096090$6343CB9F-DC8D-41C1-8371-FE630E60492A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0bd13b805c0e106b9929296f4112077f41a5ab4","datavalue":{"value":"W2759434055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096090$CA2AC6AD-4A1C-4DBB-A3D3-E43ECE0FE8D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e352e71ade0c0f3131b45b2b22bf07f75caf7d","datavalue":{"value":{"entity-type":"item","numeric-id":5121265,"id":"Q5121265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2861db231bd99d0815740e96a4c8eb65f1c4ef94","datavalue":{"value":{"amount":"+0.9272373914718628","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":"Q5096090$9A315937-F45A-4AEA-8D33-32CDEF9C2A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbfcae2017a27b3d63ba0ad23ad0e1a3f65ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5255068,"id":"Q5255068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60556cc7be6a0c4eaae1e35d4f89ae294077793","datavalue":{"value":{"amount":"+0.7699062824249268","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":"Q5096090$B4B248E5-A1B7-40BD-9AEE-CFBB9F647B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2f3df0ee4da1afbd28d0537e0f2f5f54498b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5172655,"id":"Q5172655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85ef267f730ef7c5e282393e35626871a5ace1c","datavalue":{"value":{"amount":"+0.73680579662323","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":"Q5096090$5797CC2A-584F-4549-B773-4C79696E7ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf506a39797dd2cb07bd3ce1ab670bdeaf6924a6","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad940a3aa62dbe302ee446c8580538864bdb40e","datavalue":{"value":{"amount":"+0.7089060544967651","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":"Q5096090$0C3B3A7D-076D-42D5-9F32-F942E3D6633F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbaafc7ab4be82fbef5a7586e0d9634c0f5f977","datavalue":{"value":{"entity-type":"item","numeric-id":5756517,"id":"Q5756517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a823f87049f2c5610f851c3953cf0dbe353c06","datavalue":{"value":{"amount":"+0.7033182978630066","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":"Q5096090$AEF50B57-0ED5-40C9-B0F6-E26EB44B1CCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Liquid types for array invariant synthesis","badges":[]}}}}}