{"entities":{"Q913480":{"pageid":915328,"ns":120,"title":"Item:Q913480","lastrevid":65333193,"modified":"2026-04-12T01:51:52Z","type":"item","id":"Q913480","labels":{"en":{"language":"en","value":"A transformational characterization of if-then-else"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4147475"}},"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":"Q913480$9899BAC9-0F88-4BAE-A4D6-0EED65CC8F80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2159c0d3f4089da2de2f8715f0aa48921c19358f","datavalue":{"value":{"text":"A transformational characterization of if-then-else","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913480$B789206F-B14D-48BD-9F4F-A71B2F2E800E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3246adfa966246e4e68af638f4659cf124dad18","datavalue":{"value":"0699.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913480$3702101A-2846-4259-98C7-E6C5A5945EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ada0f7e8c0ea7d23cf28ff3f0a20a1fb79448830","datavalue":{"value":"10.1016/0304-3975(90)90052-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913480$4FBBC852-1E7F-4ECD-99B1-B4A24F464C78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$DF0422E4-B383-496F-AF27-A706A9B92B45","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":"Q913480$3C142436-3F36-43AD-B4B0-BAE305BF01A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q913480$33C500E4-614C-4793-832A-C0F7F2AFF335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913480$35786BBE-AEC1-4FFD-96C6-580C96D843A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913480$AED1C70F-B13B-4D7C-90C6-007E25B6A0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913480$49013892-1D85-495B-B5D0-32C2EBE69EE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f963caa183c02851b1dbabc8b9784588cc566eb","datavalue":{"value":"4147475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913480$FBD72977-A17C-49DD-BA9A-A81362B49C2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q913480$33247E02-536C-41E6-88EA-5B155C161839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q913480$0A63BD1E-D0BC-424E-BB57-FCB0019E68A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d97644b4bf8282f8c4a441e2ea03774a48f7e6b","datavalue":{"value":"assertional categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q913480$F8C50925-4E12-45FF-810F-1B9D8E7151FB","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":"Q913480$774542DC-9396-4DA5-9A5A-022D91B7800D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$C0F80417-B61C-4E0A-9214-F8A2A1175191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e180e8d2869ed052f2a2f904a5219a385cb3f88b","datavalue":{"value":{"entity-type":"item","numeric-id":3960815,"id":"Q3960815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$7F86D237-8727-4D92-9B49-9C5CE20B7C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144a5268eae262c43efb3957ac8ed30df1e00038","datavalue":{"value":{"entity-type":"item","numeric-id":3984365,"id":"Q3984365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$4CE6A552-C3B7-49E0-BEA7-00C60E243967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$3FA05D5C-CDB6-45BC-8901-0F05C3D0EC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075b36e5a836598c374b28438bd65ca78c07e703","datavalue":{"value":{"entity-type":"item","numeric-id":5838520,"id":"Q5838520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$883B41D3-55FE-4C75-9C95-CAB016B74287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$E4EC3CA2-63CC-429B-9F93-348D0E97BAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$EBD5687B-7FFC-4113-8414-9E13139C0A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e425d0d4da32ef851db9d90195cf0dd24b8a6ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3835042,"id":"Q3835042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$5AF1848E-FB3C-433B-8FE1-E4303E1945DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf27a943103b169908ad08360c79efd5ac50a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3135115,"id":"Q3135115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$81269BC1-8923-4AC6-AE3F-E1285AD6B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$BBEB5B5D-729A-4ADE-BEE4-C261F88179A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818fdddfe8aa20a2513f81442580770b66dc2c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3777431,"id":"Q3777431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913480$5DF8735A-BC5F-4B5F-B9D3-5D69FD1F0227","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45b7a9153f297abaa35a2bd7a7e424bfeb1992f2","datavalue":{"value":"Q128089631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913480$8FB4E0AA-929F-49E0-A5CE-23610A84301A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01bd06c1fcd6ffa412b561972f738cea0a51a35","datavalue":{"value":{"entity-type":"item","numeric-id":2500828,"id":"Q2500828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33c6180ee5717cb2f5ac4d7cf417b71fb3806b0","datavalue":{"value":{"amount":"+0.8733117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$18EB2444-BD35-47D2-90A2-102375D4C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eee38321cd31510f345a6ed6690e7410e2f107d","datavalue":{"value":{"entity-type":"item","numeric-id":3817577,"id":"Q3817577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78af8f5a0184b1bd0c0a8ac8d5445f16ab4bd139","datavalue":{"value":{"amount":"+0.8729948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$EFA32EF0-3A5F-427E-9D61-2424F1E32FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4da894c457a9507a121f2a987c9b9cc2108f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8833e3b067e49b59eb68c79be79064e1496c9bba","datavalue":{"value":{"amount":"+0.85607785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$B5B15021-2217-4FA2-85E9-9B621EBD8039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e73d9592a35237c36a1b2806c34374c94c9bc0","datavalue":{"value":{"entity-type":"item","numeric-id":2964013,"id":"Q2964013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f14d478c5c184ea37f7265bb2312716c7dc624","datavalue":{"value":{"amount":"+0.8452478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$A0FFFB3C-711A-4881-AC2C-577A3F6D8CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6426254c0a4b61d246be83e3d7410b234c864806","datavalue":{"value":{"entity-type":"item","numeric-id":5269894,"id":"Q5269894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07c99195591f2151e600641deffe944bd56cd3d","datavalue":{"value":{"amount":"+0.84478605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$EFE084E4-F0E1-4F0D-882E-32D2DF48927C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9fa6fc67ef337dcd9fa4ddb1b7cbda3898d373","datavalue":{"value":{"entity-type":"item","numeric-id":3184732,"id":"Q3184732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672bec6e0a377261acd12383007056c71cc4f44d","datavalue":{"value":{"amount":"+0.84237456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$3614353F-1E5C-487B-826D-181407A9B3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163cf70ab024920f9b89106bcf4fe0ca5473f63","datavalue":{"value":{"entity-type":"item","numeric-id":3801055,"id":"Q3801055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9681a2e7b1c88f164153c25e2f2cba8891a6df72","datavalue":{"value":{"amount":"+0.84129524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$6DBF8F8A-9539-41A7-9D10-9DC7AA61D93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a465049b7ea42566f271b1edb7ddb153625a9be","datavalue":{"value":{"amount":"+0.8389549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$11332BAB-3AB6-4D1D-AF38-1A3576C9B2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba08af075418b24fefacdb992be0b95376ac131","datavalue":{"value":{"entity-type":"item","numeric-id":5930885,"id":"Q5930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a465049b7ea42566f271b1edb7ddb153625a9be","datavalue":{"value":{"amount":"+0.8389549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$33981D24-FBBC-46DE-BDB1-B10FADC2C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0fdf86f28858c64e4537be93177dfbf7fe7b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4202945,"id":"Q4202945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd3017ddb518cfe621ba2559884e7ba8dbd5b4c","datavalue":{"value":{"amount":"+0.8346158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q913480$1200F959-626B-4D56-9F2C-85F73CDA1732","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A transformational characterization of if-then-else","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_transformational_characterization_of_if-then-else"}}}}}