{"entities":{"Q3189798":{"pageid":3200506,"ns":120,"title":"Item:Q3189798","lastrevid":86629610,"modified":"2026-06-04T03:12:33Z","type":"item","id":"Q3189798","labels":{"en":{"language":"en","value":"Logic-flow analysis of higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344193"}},"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":"Q3189798$DCAF285D-ADCF-4B5D-AA1E-2594DD117CE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c95babf0cf73c04f300424bddb19637b7c77ab53","datavalue":{"value":{"text":"Logic-flow analysis of higher-order programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189798$098196F2-CD26-410A-813D-2D30977A8CCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63e6b836f6a326c91e0d687d4e308316aba295a3","datavalue":{"value":"1295.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189798$2C30D0E8-12F7-4ACD-8E3B-E7312DC3ACD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b228a2eb9cd29de544bfe408321242c35d75e9a","datavalue":{"value":"10.1145/1190216.1190247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189798$D620D3C2-30AE-42DC-8FB1-EF729148E7BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1fb940fe4766e5f9dde191175dcce387f32975","datavalue":{"value":{"entity-type":"item","numeric-id":879359,"id":"Q879359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189798$0FF1EA15-CDE2-4D03-A1AA-65E2E0F43FB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189798$B99BAC66-EC7D-47F9-A062-EF0B875BA92A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-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":"Q3189798$D05F1E58-004F-40DA-A264-23B1D81C525F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189798$E9107E12-5B2A-41CD-8940-1E4E2B3686C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189798$D3D37A4A-4588-4AE6-A683-B8A9520D7CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189798$02A50868-FF9C-46C5-8DD8-1C9D9EFD185C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1b139078ad2d9776281016dd21804f6db090ab5","datavalue":{"value":"6344193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189798$4996C6F8-716A-44EC-8253-4BF74FAE660B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fbdfbc61a91c53e946a6ab07c1feedf79132c","datavalue":{"value":"CPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$D1B129DF-2572-4395-BDB6-9EBF3689E6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee911c96be49b166447d97bead5d64245f1f172","datavalue":{"value":"LFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$8696436A-BB6C-4CCB-84AF-2F4DD7C2ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd70e2657cde0077eee0a5f966663b516ce524bb","datavalue":{"value":"abstract counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$44520C90-D830-4A87-BA86-ED84CE0CC59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c68eb4b92f3c519652b4ae7db48653d2d3ec70","datavalue":{"value":"abstract garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$222D846E-2724-4A4D-9F74-748B40891B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2cd2caa891b921606808530c6f34eb3f2491d8c","datavalue":{"value":"environment analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$48A7CF70-CD3D-4167-910E-FA9D99BCE03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6e548b90eca80e7ffefe0c78842004ce8eda1fd","datavalue":{"value":"gamma-CFA first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$6B5C09F6-3E00-4690-BEB0-5DE323045407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$A3538D9C-5D0A-4269-8A23-EC0065D1D130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fd0111e5ab5a60612f7757ff3b5f3eeaf72d23","datavalue":{"value":"logic-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$E14E245F-3583-42A2-945C-0853FFE582F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$19C79C26-9FA1-400F-A2D3-649B421F0783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189798$3B47572A-414A-4AB7-8783-062BF5873F59","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":"Q3189798$C60787C2-F903-4FA1-A56D-7B9758E9B07B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3a30dfa4f00bdb69a1c705910874bd5782e1886","datavalue":{"value":"https://doi.org/10.1145/1190216.1190247","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189798$F7AD7D97-6A6B-44B5-ACC1-22C1A727CAE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f4fdddd7d286124b9b6ca549f265257ade1368c","datavalue":{"value":"W4236379125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189798$D230DBA8-762F-4B8E-862A-E26B4D946356","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23b3e0cdef6c73610100ce589d172fc22686f0f","datavalue":{"value":{"amount":"+0.7585263848304749","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":"Q3189798$ED1E117F-ECC0-432B-85E2-3A8F90767844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0799e8c034b999d7d63955690ae84cb06442b136","datavalue":{"value":{"entity-type":"item","numeric-id":2900270,"id":"Q2900270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e9414fb8261fbfd7251d402ad90db42699871c","datavalue":{"value":{"amount":"+0.7347625494003296","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":"Q3189798$8D9C72C0-B756-4892-AE89-251158B9F2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe66ffc594f268ae47fe9bd036c7ee18509b6e7","datavalue":{"value":{"entity-type":"item","numeric-id":859953,"id":"Q859953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30aba601342c73b64a5bd752abdc4d10edbf743","datavalue":{"value":{"amount":"+0.7342638373374939","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":"Q3189798$25E457BD-18CE-4016-A6A1-DB27B6E732AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a90d73e4c88d5d3a40bb810c77607909a1ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75ce964883dd67f87fb12153005dd73948ad0cc","datavalue":{"value":{"amount":"+0.7324740886688232","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":"Q3189798$1573414B-DFF1-43E2-8E1A-FEC62385EEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8912b6d9538b2958e941d3486e26288886f3741","datavalue":{"value":{"entity-type":"item","numeric-id":4302797,"id":"Q4302797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af64234a35327bee87307fcc170575f2b1b98a53","datavalue":{"value":{"amount":"+0.7255932092666626","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":"Q3189798$FBB75927-98EC-46FD-92FA-B50303D287B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic-flow analysis of higher-order programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic-flow_analysis_of_higher-order_programs"}}}}}