{"entities":{"Q3763565":{"pageid":5793471,"ns":120,"title":"Item:Q3763565","lastrevid":51834941,"modified":"2026-01-20T06:55:23Z","type":"item","id":"Q3763565","labels":{"en":{"language":"en","value":"On the algebraic definition of programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4020446"}},"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":"Q3763565$5C46652D-675F-46B8-8EFA-853D8467EA23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef9297d549b3dc93afee46328262aea54ac8f600","datavalue":{"value":{"text":"On the algebraic definition of programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3763565$FBB9810C-6013-415F-B853-45C423433CD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e41c20330323d4ef8e914de46a51e0511a8e0747","datavalue":{"value":"0627.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763565$0EAEBB98-2D5E-4EFC-99D0-7A5B1FBFC0EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e772528b64db3ea6bdc19089f6644e387f03e15","datavalue":{"value":"10.1145/9758.10501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763565$2B0E152D-907A-4C6F-8B1B-9D1EBFAC8D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763565$2900D7B5-AA45-495B-9B1B-034FD5FB9360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f070e6b07a0173f14bde227f02429cbec1ff3","datavalue":{"value":{"entity-type":"item","numeric-id":578897,"id":"Q578897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763565$583152CF-2E9F-4F7A-86C5-D73A6DB019A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763565$F891ADE9-FCE4-44CE-85A9-695B3C4508FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763565$2595B301-0656-474C-BF9A-0F3F2C67C2F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3763565$1C9B4EE0-8B61-4198-B6A4-D6952A0019C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1364c7c6e5d7e745d579e8a78324bf44a5fc74b0","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1987-9/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3763565$CA4B487E-B8DA-4B3D-8C6B-54D8A426A94F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763565$5E8E8FD8-67FD-49A8-81B7-A49F8DE602CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763565$3BB1D427-2FE5-4E5F-B49C-E1FA262C830A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763565$29D0016E-68A4-452E-9C24-CD284FD42549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d77f7543d3bfbb5254d796648d9946d21bb9a2d1","datavalue":{"value":"4020446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763565$2E7CAC37-16F0-430C-8239-06E3C01B97E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$E82A1EA7-22BC-402A-9695-8F37A9E36393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$5241AEC7-4185-4D6C-9EA5-2945AC96D6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$5C437DED-BE00-49F2-9312-E8F3F51449E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$ED124FAD-7B74-433B-ABBE-1C5D72F63B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c93a1645a56e46ebfc444ea3dbda7bd6538b97","datavalue":{"value":"least-fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$659BB618-CC3D-47ED-AF6A-4010C0C5D310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8beee9ef5e021768e5aa0a9f1f0e941dcfabe99a","datavalue":{"value":"first-order conditional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$E817F159-5C96-4793-B041-E0A0548BF114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fd77d3819428171e05e168a5cdcc553e1939ee","datavalue":{"value":"partial heterogeneous algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$C45B1333-338B-42DD-98C7-2643103F7403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$529AA80A-7509-4487-8D6A-96C284FD9992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e636d6200f7544f4dd5a5bbed79f99982c70f6d","datavalue":{"value":"homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763565$48D56597-7E56-46DE-A35F-686FFB185C09","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":"Q3763565$45D09261-D399-429B-B82B-A87C620C2071","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"330d992c739f2548f11a35005d4fe87c14f2f789","datavalue":{"value":"W1963842623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763565$3EA4B12B-255B-4E59-9F44-EF31D1E929C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f676d9335ccba8c724966361f960736276b4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1346625,"id":"Q1346625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de725b77cc7150563d72bf6a041c077e8fc8b6e","datavalue":{"value":{"amount":"+0.9328004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$47457043-AD76-4F97-9C33-1CC3A39D19C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bac93c644530aba9a5614d05ca5d611fde7bab3","datavalue":{"value":{"entity-type":"item","numeric-id":1035699,"id":"Q1035699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0155b63a95d46961d176f68ebdecb5ad329a3035","datavalue":{"value":{"amount":"+0.9317773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$2F724E2E-23CD-447D-B6BF-CC1F91FC67D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88375ca395ccae29fff71b4549ad8a81bb2cd38","datavalue":{"value":{"entity-type":"item","numeric-id":3766805,"id":"Q3766805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50be7d11c4cc647b59e6cc364714023a1d34a329","datavalue":{"value":{"amount":"+0.9212304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$568F7DE5-3B21-47D3-873F-78374FC8C40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a7afe8a4016073fcbec908a41538c56d1f23df","datavalue":{"value":{"entity-type":"item","numeric-id":1129126,"id":"Q1129126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd44a5590fb9dfa740fb66150541d2a0fd42c95","datavalue":{"value":{"amount":"+0.9165814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$C2F13C26-181E-428B-B1F7-1ADF267F3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9d7d97ee42b888904de875c2ea55e9a15b8f70","datavalue":{"value":{"entity-type":"item","numeric-id":1066663,"id":"Q1066663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb1752d0fb9564e9a18df4cfd20dd89a37d90c7","datavalue":{"value":{"amount":"+0.9079854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$19F4B93F-BFED-4764-96FC-BA79301647FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fce6f8ad6b8c888ba1179087486e580713294fa","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62379537c835aec6b4c1c278fd9cfd9f0203e05d","datavalue":{"value":{"amount":"+0.8995153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$86A57D80-8D08-46D6-9FD0-E5240E1A3736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8db0d2b0e88faf89f8acf78254dd748364d5a9","datavalue":{"value":{"entity-type":"item","numeric-id":3731020,"id":"Q3731020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a299f4e52f835ae41fa360b053277c6c3fc18661","datavalue":{"value":{"amount":"+0.899195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$C1514CE1-7A20-428C-8B0E-A42B4850E3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d9a5eb0137648266dab2e0ada2b56f609aad21","datavalue":{"value":{"entity-type":"item","numeric-id":3347271,"id":"Q3347271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a299f4e52f835ae41fa360b053277c6c3fc18661","datavalue":{"value":{"amount":"+0.899195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$D745374D-E27A-4451-B899-A2E85D6BD589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbf9f01e471a503fa38f93408ab565e699901ec","datavalue":{"value":{"entity-type":"item","numeric-id":913526,"id":"Q913526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e363945a910301e848456a0cd07cf7958fa7cf6","datavalue":{"value":{"amount":"+0.89664626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$534684E5-BBB4-4675-A21C-E35486FC715F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66176bd66d4c903e09ae7852d378e4d0a8aade9","datavalue":{"value":{"entity-type":"item","numeric-id":5184386,"id":"Q5184386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9429260e5899dcf36edf78074831c30d2db0d504","datavalue":{"value":{"amount":"+0.8939188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763565$E8A614CB-8584-420F-A417-FFC3CCAEA418","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3763565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3763565"}}}}}