{"entities":{"Q1196301":{"pageid":1207050,"ns":120,"title":"Item:Q1196301","lastrevid":66836091,"modified":"2026-04-12T13:11:10Z","type":"item","id":"Q1196301","labels":{"en":{"language":"en","value":"Inferring the equivalence of functional programs that mutate data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 78176"}},"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":"Q1196301$6CAC1B02-C585-4A10-9026-8A4E069AD00E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95504bff0b2189e7b8556f93cc10b494fa5b493f","datavalue":{"value":{"text":"Inferring the equivalence of functional programs that mutate data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1196301$C9B03950-36BE-44B1-B93D-AAE7C5D9EF75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"136e76d9d92b0e0eb1191a948d2fe8deea4e2f4d","datavalue":{"value":"0768.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196301$0DFC4BAE-9D45-4A1E-A05C-C742A3ED1FE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be78921ed53b349f6e9ecc78b26b931dd4970f67","datavalue":{"value":"10.1016/0304-3975(92)90301-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196301$0E75000E-5F9A-4AB3-9534-EE4708A9B084","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":"Q1196301$B2E4B580-AD65-40C9-A629-433C23E0E84C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e9bed994651c228c1a6e0ea605acd5eb9883aa8","datavalue":{"value":{"time":"+1992-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1196301$E762140B-1754-4957-9C8C-736CFF8A98D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196301$9F09CCA8-81C5-4A55-882D-E6C2E80F4889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196301$B134D676-8939-44A8-8E0A-1DCA64CAC528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196301$617E3DE5-EC4D-445E-8DB2-1F0EB2041003","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b60ee54f7f10288caafae75a3bf7a2fdb952a3d","datavalue":{"value":"78176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196301$5E6D0CAA-4C3A-4221-9090-7D2A96B33255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544ca6eff3a6a6714c49eacda092d116062a67b8","datavalue":{"value":"constrained equivalence of programs with effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196301$0C28F019-EF9C-41C0-9120-0E68E824C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196301$0731BA8F-DE75-41D2-83C4-17915A0DE60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f81f85df438eafc36ed08d79be8059bb58202b5","datavalue":{"value":"single- conclusion consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196301$C1F35019-5B4B-47DE-9A77-9EAFC605F089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196301$2E990094-7AEE-4BF8-B5AE-2D5483C306EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$45CDD19E-CE4A-48AF-9AF3-C96B1846FD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$766501D2-3145-4270-AE9F-EDE784B51909","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":"Q1196301$1FDE0B9F-51BF-4612-ADED-E5CD25CA8319","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$665645DE-5CE1-409C-81CF-F08C9BE51C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c324aa1e4a2f079502797d72067f2c4a5406a497","datavalue":{"value":{"entity-type":"item","numeric-id":3694663,"id":"Q3694663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$A0F386DB-7677-4575-BC95-FAB82CF097A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$709A23BA-172F-4808-9644-926235A63C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$C72F2A89-20C0-4F69-89F9-193F3AE32E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$50672D01-2ABB-410B-B378-578B7A017F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920df49df97b76b4d510cfac828b9a04cb03a37","datavalue":{"value":{"entity-type":"item","numeric-id":3992705,"id":"Q3992705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$DA9F6810-A7AD-4B85-97BE-0BFD924151BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15af30663ff4a9d67f0ae5e190b118364d360f42","datavalue":{"value":{"entity-type":"item","numeric-id":1104731,"id":"Q1104731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$B6E197AA-5A33-4B93-96AD-14F5D7FFA448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$EF055E4B-6E7F-4032-87F4-AF1E23E5DF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$B00EA3A5-4144-40AC-9477-E106CE84D378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d996addb41848d520514165d74373cf7bdb2df","datavalue":{"value":{"entity-type":"item","numeric-id":3332227,"id":"Q3332227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$91DCE2E8-74F6-457C-9157-A133852B497C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$241DF1CF-30C3-467D-A21E-5B54C911A254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$4C3DD1BE-F0B4-47A5-8E7E-CFBDD1411E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196301$D6C6802E-4758-4655-B1F4-7F413F367248","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f89fc998efa049471fd6f81419cbd3c32791e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1104731,"id":"Q1104731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac6c66382b4877b0e54ce42a16429330ab9b709","datavalue":{"value":{"amount":"+0.7327560782432556","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":"Q1196301$3666E8C5-8545-4A67-B583-24948243BB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d02c91dd03d60dc96864ac43fde9a93abbaeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5753940,"id":"Q5753940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae9f9576bdf9902ce15454f5c827c1d6507ea7b","datavalue":{"value":{"amount":"+0.7309690117835999","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":"Q1196301$E7BE8A1A-4DD9-411A-A6FA-84C00EE8AA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792c0ae4f0f9f08dfa7e1830872f85395afd8e03","datavalue":{"value":{"entity-type":"item","numeric-id":2410575,"id":"Q2410575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d754261713f38953103b2b5b2d1f1c1649b6f64","datavalue":{"value":{"amount":"+0.7301596403121948","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":"Q1196301$742087C0-B510-45D1-A9F3-0F55A4D3674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae74b2f1a3ee06d41ba566a1cd84c479997243e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a8c2cfe8a73b96fa83fc893e584fad6aa76b03","datavalue":{"value":{"amount":"+0.7232179045677185","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":"Q1196301$41A7965D-2FB4-49F0-934F-F82F06DE9015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a60eb932c8557a8d9a340978cb9b5879fec5a1","datavalue":{"value":{"entity-type":"item","numeric-id":3587255,"id":"Q3587255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27a1d6dfb2c7682238a1f5e450cdeeca4f60eb7","datavalue":{"value":{"amount":"+0.717475414276123","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":"Q1196301$DDA6D83A-7BAB-4F28-82C8-68EFFE82B2A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inferring the equivalence of functional programs that mutate data","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inferring_the_equivalence_of_functional_programs_that_mutate_data"}}}}}