{"entities":{"Q3452253":{"pageid":5227914,"ns":120,"title":"Item:Q3452253","lastrevid":52391813,"modified":"2026-01-22T13:10:50Z","type":"item","id":"Q3452253","labels":{"en":{"language":"en","value":"Free theorems in the presence of seq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507259"}},"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":"Q3452253$2DC13509-8B3C-4536-BC84-1FD49FE1607F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"157cf33fe85a405fbdbaf6cd5c3bf1a501e68e45","datavalue":{"value":{"text":"Free theorems in the presence of             <i>seq</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452253$C61948BF-8719-4DE8-B78E-72BDBAFAE667","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30ccf7b17d2414c7827124d84cd42f5d64416852","datavalue":{"value":"1325.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$EDD76308-DA24-4276-9340-783401E380F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c9886661138b841bfd9c31abe19c7aec099e8b","datavalue":{"value":"10.1145/964001.964010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$5072E012-E034-422C-8D92-929E001D6D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452253$54EEA39A-FA07-48CF-8489-E3A1F878FB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452253$B735467B-15ED-4C45-B4D3-17CCCDEBAAF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452253$3D5D4FF8-3517-4E7A-A668-C7B4187DEE1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452253$900D4E37-9B24-463D-80B0-CA3408FB0B20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$C23A67A7-5B21-46B5-9497-34D6E34C38A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$4A4D0166-729D-4CDD-81DB-21827634A0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$E5A13613-0C74-4B2C-991F-95CD662BCE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$A135E56D-9AB9-4780-89E7-D768B4C45E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0714c915ee3d14c00b709f88b748ce772dd97658","datavalue":{"value":"6507259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$05E403BC-5B27-4FF2-8AE7-E69952B31A4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$440CF8FC-7F5F-4D7A-819E-A4857161DF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6579effaa629e31b0f8165a80a57402305f89b1","datavalue":{"value":"controlling strict evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$1EC0B06F-47F2-416F-B9C5-F3C9A12B36C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$D347370B-6FEA-47BB-BFC6-F041980D23DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$34ACFDA7-D520-49C9-9F38-F2EC0CF0B892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$C27DBB49-1EBF-4E54-A3C5-7FA68D218416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$31DB1B2E-E65C-44E6-ACAB-3FC6F04E2054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$6259027E-C8EA-453C-8624-A57DF1CC6144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92eebb7b2c6a53cf6ac4caed5461c359efa3fa0e","datavalue":{"value":"short cut fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$3225B088-49EA-448B-863F-472D0EFAB0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b597593329c9e3a91e75822e54d2346a2f604bf","datavalue":{"value":"theorems for free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452253$E2268406-F973-42D9-AE9E-480AEDE5CC54","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":"Q3452253$673D9D65-D28A-4966-B42F-7633C7B4A2B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d589dda92f23016609e162fc838e98cc6f21817","datavalue":{"value":"https://doi.org/10.1145/964001.964010","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452253$F90D4BE2-B159-43E4-8771-E6A86EA351AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91ad62c68b6855a13b6bc532d0f95a36128f508a","datavalue":{"value":"W1968277829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452253$B4AEB91B-35EE-453A-A54C-E0E709B518E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0a42ecf1bc9954dfca100d60def37db47fe49f","datavalue":{"value":{"entity-type":"item","numeric-id":5472909,"id":"Q5472909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4681e9379a772254dd56c3fc27286fb48704735c","datavalue":{"value":{"amount":"+0.950847327709198","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":"Q3452253$6B415DEA-7852-4A35-B75E-D3B5A74AED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79a01a22b7d3c0c7bdb205141af19f9cd5aed52","datavalue":{"value":{"entity-type":"item","numeric-id":766167,"id":"Q766167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c1f89ce5cd01ae5ff49eea0a84508ab183fca2","datavalue":{"value":{"amount":"+0.8323498964309692","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":"Q3452253$0EAD3401-0C91-4FD7-92D9-E57C3DBD950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76f3bbf2e4dbc198b27d1e5e6691993c280f12e","datavalue":{"value":{"entity-type":"item","numeric-id":2464947,"id":"Q2464947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac22ad13390965ac70d609a29c1e3fe664375909","datavalue":{"value":{"amount":"+0.8090601563453674","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":"Q3452253$7EB9BB04-1E2E-4AEC-BEEE-F18C8D4C4320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932cec585e3aa0ab6d2cef9b15e89d98168f777f","datavalue":{"value":{"entity-type":"item","numeric-id":2936814,"id":"Q2936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3806b30b9a8baf4c7a80e55603b3af0b5eab4a3b","datavalue":{"value":{"amount":"+0.7826026678085327","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":"Q3452253$D709889D-FFC0-4B95-8799-31AC13513375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01626b106d59b5cbcb33fdd24721802e88287238","datavalue":{"value":{"entity-type":"item","numeric-id":3564921,"id":"Q3564921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a824482fab20e3086d2bd37ab200b31388bfe8","datavalue":{"value":{"amount":"+0.7650784254074097","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":"Q3452253$B8F3C49C-5630-481B-80A3-461DDB741798","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452253"}}}}}