{"entities":{"Q2566027":{"pageid":2576770,"ns":120,"title":"Item:Q2566027","lastrevid":72795012,"modified":"2026-04-14T07:53:13Z","type":"item","id":"Q2566027","labels":{"en":{"language":"en","value":"Extracting a data flow analyser in constructive logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207190"}},"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":"Q2566027$ED3843A0-CB2C-4ECA-AA84-0A60DDAD9DBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5de6d2c155c4d190f26b636dfe4b9fa0990ad8d","datavalue":{"value":{"text":"Extracting a data flow analyser in constructive logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566027$928E6FD0-1E50-4F7A-BF98-52333BE6AEA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e63b85f8b688e508761fd3e4276b1d48f3d25a45","datavalue":{"value":"1077.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566027$648E5331-6CA0-4A70-A6A0-C75C13DC1297","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$1D348B37-D428-44D5-8A02-93C4BD40C887","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$AAABD8B2-4D68-4995-A5EC-D1DCB66D92F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566027$34FFEC37-54C4-48B6-9114-9894F30ABA60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566027$5BAF4D0D-0B43-4604-89A6-CC844E4821C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566027$ABC0F5E7-AC4F-4D5B-A5B0-124AE4D31AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566027$BDB5F2CB-2DE0-41D4-9A8B-FCAC32DF186F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c35989381bf6bb8b54a555771257bd94e21373f","datavalue":{"value":"2207190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566027$B4451A29-BE0A-4692-A1EE-A489E67D5F79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9425d66ae0811ff9c9bc9e762f73ad5c4b0fdda1","datavalue":{"value":"constraint-based data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566027$899DF9AE-076F-45F1-9E32-350662A58D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566027$C1B89967-4414-4A55-84A4-CDF02AD54CC9","rank":"normal"}],"P1463":[{"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":"Q2566027$C2CACA9E-A814-4B90-9AA1-052782EA5DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0560a1d7352ea4c8a6d719cdb4465a914b75ac45","datavalue":{"value":{"entity-type":"item","numeric-id":14009,"id":"Q14009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$58D2AD34-0604-4B9D-81AF-94212BB18458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$5339D447-43CB-4634-8B49-1A259D8CC36F","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":"Q2566027$A99F1138-D8A4-4D5A-8323-9A05252178EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7b42d8cf3a9aafbbaa046a7c68db34bcd19edaf","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566027$0A6AC5FC-9675-4815-AB43-0D0051C37726","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"389da5cd86fed7d30b662dc116fbb5136f3e0ba6","datavalue":{"value":"W2009375997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566027$96B87F05-08B9-43F2-B23A-6DA708B9BE75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"941b8cfeca1100601661e379b4a2d846f10f97f5","datavalue":{"value":{"entity-type":"item","numeric-id":4785541,"id":"Q4785541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$D5E70E45-50D6-445B-8214-DFA7D9E27563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f9ad7602cc5d595ae9bbdf775b25418df2d804","datavalue":{"value":{"entity-type":"item","numeric-id":2763680,"id":"Q2763680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$E1C105A7-C017-4319-AB7B-45C2A49462B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a5b685e8dd1e3529fc57c688335416be78b104","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$97E118A7-3A1B-4DEE-8B85-1723A7AB4AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fc88483889b05642dd765cd87ef809c7cc5568","datavalue":{"value":{"entity-type":"item","numeric-id":5308711,"id":"Q5308711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$0EA83861-003A-47D4-AF59-3460DB5E5739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457ec7f8d8ad09bea0919e00b524ba7bf9c4a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4808836,"id":"Q4808836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$F4D16CF3-C962-4C65-AAC8-1AF517616150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$5B2312FF-78E4-43B6-A652-0B5DA8C39A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$0FC013C7-BEA2-427E-BAD6-2644BCCDBE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db53c372d2d50c429bac9cbb726ccd91b696a94c","datavalue":{"value":{"entity-type":"item","numeric-id":5415621,"id":"Q5415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$C5DF7F2A-A837-43C5-BA1F-3C323B4D6BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227c00c0556b85f30631dd095bbfafd6b443e636","datavalue":{"value":{"entity-type":"item","numeric-id":1881664,"id":"Q1881664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566027$6185913E-14B1-4824-A6E1-E7BFD865E76B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"920da87a70c9a12f84b92921aeeb7b13dbceeb46","datavalue":{"value":"10.1016/J.TCS.2005.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566027$89F07249-A1E9-44FC-992C-7B93F8781778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cca9340feb7c823f0cd98d8b977656e13b879f","datavalue":{"value":{"entity-type":"item","numeric-id":5308711,"id":"Q5308711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7660d19f9449ef2ac3764a09d57b02779ae6d08f","datavalue":{"value":{"amount":"+0.9928203225135804","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":"Q2566027$5F80B953-2940-4ED3-BA82-E72717FF1BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfb3293b1b2063e0a2de5380d914ac96eed29e9","datavalue":{"value":{"entity-type":"item","numeric-id":5415621,"id":"Q5415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616a916b6fb65090cc2a2e3e16e7830bde797fcb","datavalue":{"value":{"amount":"+0.7529860734939575","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":"Q2566027$995CAAF6-0CE2-4FD8-8BB1-DC1101BD70C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175b6d7fef25e671225b66ef24977c18f2c3fffa","datavalue":{"value":{"amount":"+0.7516086101531982","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":"Q2566027$482CAFB9-6DCE-43A5-8154-136B7758507D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c011ce202f24d7b1156a23247f9852a88be8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5898176,"id":"Q5898176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44eff7e61e0927c52abbbd013da1c8c5b6bf56f1","datavalue":{"value":{"amount":"+0.7449984550476074","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":"Q2566027$DAFD8641-077F-4D7F-828B-E70A28797979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36c80680da3e8ca9b14b0da9b9be72dbe5a7613","datavalue":{"value":{"amount":"+0.7373245358467102","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":"Q2566027$E865887B-7B5B-4871-8F96-A6EF34640E89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extracting a data flow analyser in constructive logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extracting_a_data_flow_analyser_in_constructive_logic"}}}}}