{"entities":{"Q2640348":{"pageid":2651091,"ns":120,"title":"Item:Q2640348","lastrevid":44541309,"modified":"2025-11-23T18:13:45Z","type":"item","id":"Q2640348","labels":{"en":{"language":"en","value":"The laws of Occam programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187116"}},"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":"Q2640348$C44FB7C2-C840-42E3-9A80-0921513DEF02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e69b4102b1803f93706981a99e0a35c712f27b5","datavalue":{"value":{"text":"The laws of Occam programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640348$9BEE3ABF-F1B5-4C98-A1E5-BDA32B56DA2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b79be4094b35ff214867b76eb2e8b9f487e8a89","datavalue":{"value":"0719.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640348$0FDE1BD4-ABBB-4F97-AFDF-4DA8E1CCEE36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b47fa09f5d6ab0d97281cb15197990c27fce6cf6","datavalue":{"value":"10.1016/0304-3975(88)90049-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640348$B0D15240-69C0-48F7-830C-936ED4981146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$A66170B8-EDCB-4AD3-9D89-BD64BFA84F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$9E250D38-C93F-4EFB-91D6-C36E7ED9D420","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":"Q2640348$BF8074D9-64CD-420C-BB6A-73776F79D689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q2640348$EAAF712A-62A2-4340-8E2D-6A1A988EED4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"520a6837ee29335e4cfb613c125859b39b80fde9","datavalue":{"value":"The authors describe an equational axiomatization of the semantics of OCCAM. They show that WHILE-free programs have a normal form, such that two programs are semantically equivalent if and only if their normal forms are syntactically equivalent. This shows that their equational axiomatization, together with an induction axiom, is a sound and complete proof system for proving the equivalence of OCCAM programs. The paper is very clearly written.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640348$D37B1A3A-14AE-4AA6-89B5-6449BE6C6B32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640348$779F5F2E-75CB-4127-9C5A-AF5D1E3216D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640348$37F79FC4-E60F-4E1E-BF36-37A5F74D17CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640348$5F6E61D6-8818-44F3-84AA-D818853B55DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7725fbfdee38267968b2a1d2798f25becb41dcbc","datavalue":{"value":"4187116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640348$B2FF0A06-7BE9-484F-B787-6C3D061BE4CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8ba42d6baf1e32df8fe2d47407c67f62dd1016","datavalue":{"value":"Occam","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640348$15BA4AFE-39E9-4436-BFA5-F38743BC0DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431d61293b9811b1df18bb7197a681e41e389943","datavalue":{"value":"algebraic semantics of parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640348$1B7EA5D8-0393-43D3-BD57-CD2906BD2741","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":"Q2640348$6E2ED7D0-3897-49AB-8F25-675E7551091E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f973f00993da1fb5af0fcfaa8d5028e7cdc8a55","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90049-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2640348$73E15C13-F8C0-4A34-BD00-E50F10FAD742","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6f682958f50beaac081d7af16960b7e5af508ea","datavalue":{"value":"W4212811695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640348$2C578AB4-6010-453B-9A4B-F3D6E4A9323F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$03CB3D67-66EA-4B0D-A178-2A98998CA29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$CE855881-8A40-41CF-A72C-3F1161E9F27C","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":"Q2640348$1968882D-BEAC-4A41-9A4D-1CA306C6180B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db38a79a6567e1a49fc2e32f37d806f7a7816623","datavalue":{"value":{"entity-type":"item","numeric-id":4739889,"id":"Q4739889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$CAD52583-257F-4F2D-937E-2E9F03772E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$1ADE5485-0B8C-4664-B4DF-B7C40CEEEC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$83CB8140-9D63-4D79-8CC4-F65DE91D2F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bade70664fbf608a525f21b092e81ebd16081db","datavalue":{"value":{"entity-type":"item","numeric-id":3677137,"id":"Q3677137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$C603B0D0-F1C5-4C99-92AB-505694406D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$AA7C39F3-09AE-4E8B-9C4A-8A3DD0272ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555c47ee53a1161cdab77210bb68822d53f6a746","datavalue":{"value":{"entity-type":"item","numeric-id":3680259,"id":"Q3680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640348$2E6C6A44-11E1-4974-A9D1-F49830431B6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd147a862a9629b2c046bf512446997948e721","datavalue":{"value":{"entity-type":"item","numeric-id":3993115,"id":"Q3993115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf38286b32bc6680be778ac3487326855f8fce8","datavalue":{"value":{"amount":"+0.9098276","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":"Q2640348$EAE19144-8660-4377-ADD0-E72E0E4DB722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e1110c715fd7eb83db24aca9faa5abc83ce3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b86d8017362e5ef458a3f559d4dfd00ce921c4","datavalue":{"value":{"amount":"+0.9039402","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":"Q2640348$EAAD6FCB-39EE-4A09-BBBD-3FE595661F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e72cfcf1662d73035c36809e6a7de8475b7ef2","datavalue":{"value":{"entity-type":"item","numeric-id":2842638,"id":"Q2842638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196aae0dd8e6721485f17dcc07e7c653b81606ff","datavalue":{"value":{"amount":"+0.8627685","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":"Q2640348$5FEBF0EC-D1B3-4DC2-A8F3-F33657A401B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9183b07c33a9776ce2cd595dc305b19af68ba8b","datavalue":{"value":{"entity-type":"item","numeric-id":4583135,"id":"Q4583135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460bad8975ae5097624398a482f83812ec1e63a5","datavalue":{"value":{"amount":"+0.8605736","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":"Q2640348$67D82323-8B05-46F3-98C1-434A2D2B640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa99e6fc6c5a9c4c8c44c07014eac1dbef5ba28","datavalue":{"value":{"entity-type":"item","numeric-id":2908555,"id":"Q2908555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3dbdd327ebbc214e91166721152b0174cded37","datavalue":{"value":{"amount":"+0.86010915","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":"Q2640348$7A82C920-6C6D-47FD-9A86-60F24F54E7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37f9c36428e805ee7887ac0f8f2d3e0812860ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3994745,"id":"Q3994745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ddeac63ac5b177df5f7a7d3e304997f475755f","datavalue":{"value":{"amount":"+0.8566231","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":"Q2640348$BDE7B429-A197-4D9E-8A4D-7FB425367F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5139e4c5fe402756d5408c9694070075ceaab69c","datavalue":{"value":{"entity-type":"item","numeric-id":2937790,"id":"Q2937790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67fe15ffd54a5a5187c7f1aaf45086351daaa9d","datavalue":{"value":{"amount":"+0.85503656","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":"Q2640348$2F13B6FD-A14F-4A6F-9F21-D3BBD285EDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9cb6ec2b4c40affe100143ef4208d998685fb5","datavalue":{"value":{"entity-type":"item","numeric-id":808685,"id":"Q808685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2a056e577e8f042c07572f010fa83b1e1825b4","datavalue":{"value":{"amount":"+0.8383393","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":"Q2640348$DB579735-1344-4C8E-970C-1581E73B9AF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2640348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2640348"}}}}}