{"entities":{"Q1129121":{"pageid":1139870,"ns":120,"title":"Item:Q1129121","lastrevid":66193797,"modified":"2026-04-12T08:10:45Z","type":"item","id":"Q1129121","labels":{"en":{"language":"en","value":"Algebraic translations, correctness and algebraic compiler construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190225"}},"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":"Q1129121$5F1D11D7-C3AA-4A4F-96FE-BF2FBF74CBAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63632cdfb22b53ab2d2bf837ab75286cb83da39b","datavalue":{"value":{"text":"Algebraic translations, correctness and algebraic compiler construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129121$BE01AA7A-0197-49A4-B197-564C30CA6A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e55460bc65b1cad569edea78b2551973ee481259","datavalue":{"value":"0902.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129121$1BD37510-4748-4ECE-94D5-33403C74C752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09f34ee6374553f9e6f6d23622f1c7134a27d5ba","datavalue":{"value":"10.1016/S0304-3975(97)00267-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129121$187A37DA-2D3D-42A2-9C4A-683310B5217E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a838cee4002f7a0fd7574b7675b50155abf2c73","datavalue":{"value":{"entity-type":"item","numeric-id":1129120,"id":"Q1129120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$CC2D994E-774B-414C-9BEB-F7583995BB22","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":"Q1129121$F94A5DA9-339D-46AA-8A7C-E0AD16BB74C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129121$2E03607C-179D-4EB9-B771-BD33427D8E54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129121$05C8A7C3-66BA-485D-9F78-E2C4B4DC3274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aad8815e8f3b1ad6dcd5ab1fb152e8969069e06a","datavalue":{"value":"1190225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129121$F48D518F-E80A-4970-A1EF-AE04B35971A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$3D655D7D-BCC9-46E3-A30C-7D22384FA3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$AAB6B0C6-787B-4B68-B3D5-EA3B9E7087C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$972C5E4C-545F-49A3-9AEC-E891A4519649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$46E1FC99-5311-49FF-BE01-53C72828A69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebb45d635b15d0e587c63887c999d05a60ce018","datavalue":{"value":"view update","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$9BF08FE0-3A37-4297-952A-67B65FADCAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0c7bb0ecf32b900347362cf461885c46f832ca","datavalue":{"value":"parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$69757403-F7DC-4B61-9974-B1C4EE293701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$81E7A30E-7C9F-4928-8E4A-945C1B774FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78952c3b0689f70c7a65261c32fe71f6dccb48fd","datavalue":{"value":"commutative diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129121$4437DEBC-3581-4D0C-AEE2-3E940B5B541B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab4ebe2ffcd15a25be557122b5f3e1b5e3443182","datavalue":{"value":"Q122665227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129121$7B9B707C-3857-47F2-B69E-F55DDA9AD07A","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":"Q1129121$34471FD2-B0C7-4B74-AC7D-1EA26DE11B37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ee72dfb42e2ffc1454ffd9bb23bca2c64af87","datavalue":{"value":{"entity-type":"item","numeric-id":3917520,"id":"Q3917520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$6DEFFF24-2678-4D44-AAC6-E9130DA292AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8ffb67b00ea8cbeeaf44ae8b6f3bc27fbc2d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5618896,"id":"Q5618896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$3FCC5CAB-5621-48F8-9774-BDD21293C014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$BE08A726-1243-403A-B22A-EBCEC6B23420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd4968bb4b1f23769f299af2593821526ad1a6","datavalue":{"value":{"entity-type":"item","numeric-id":3677148,"id":"Q3677148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$1546DE80-5213-4E10-B865-0DACFFD4263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f919f8b4d2eb645debd94e27c0809c0d981df70d","datavalue":{"value":{"entity-type":"item","numeric-id":3995890,"id":"Q3995890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$2D575308-A379-45F6-A48B-C9348BF7A63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$E4D49311-41CB-478D-8AEE-5A28C272A401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730e7a11765d2866ae1e1a84de71868633eeff0","datavalue":{"value":{"entity-type":"item","numeric-id":4346205,"id":"Q4346205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$76AFDB2D-9FAB-4258-BF20-22E558E68DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$FE185D38-98A2-4A7D-ADA9-B8A2B2F72540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5798204430599e6e2066a2d21cecc4060855e3c2","datavalue":{"value":{"entity-type":"item","numeric-id":3712304,"id":"Q3712304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$A58233AE-A371-4450-8470-FDA4E43498D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$DD61890E-D603-41BE-8D38-3DC619C183CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdb2ad6e2529597d1af01dc6ae82c70e747c9dc","datavalue":{"value":{"entity-type":"item","numeric-id":4061988,"id":"Q4061988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$9B36D760-FDCF-400B-8636-D40433BE95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ffad56ff7cb3f1b7bce5a75e03b0b6586eb531","datavalue":{"value":{"entity-type":"item","numeric-id":5555691,"id":"Q5555691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$2EA679D2-8981-48DA-A7E7-E53AD4F0FC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61dbaf5d683a94bbcd1c7cd5811f5a8c40b09f27","datavalue":{"value":{"entity-type":"item","numeric-id":3902952,"id":"Q3902952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$E9B6880C-FD37-4626-BDA1-F385A1001BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$47CC5839-BB50-4250-8143-97A3A659D872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ac9603abd6f7de6f4a20233ef4e949886e94f","datavalue":{"value":{"entity-type":"item","numeric-id":4068067,"id":"Q4068067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$5FC50AAC-9D29-4CFA-870D-398EAA77D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a8935fa6478662b197f99ce59cbd2e74c30db4","datavalue":{"value":{"entity-type":"item","numeric-id":1924785,"id":"Q1924785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$238F00A4-3A2A-4144-B277-B9639E49DA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071ec6e65d99594a421e393a445652be38040f45","datavalue":{"value":{"entity-type":"item","numeric-id":1146510,"id":"Q1146510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$A8F23ACB-1813-4B71-80CB-0B5A4200FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25282e1f0c1e0eccc5ae4ce78bc688548d8c67f5","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$F26D765A-211A-45EF-84D0-0A241950E978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"036d8312184803429daed86a5f2a8c761bc71eed","datavalue":{"value":{"entity-type":"item","numeric-id":1188921,"id":"Q1188921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$223ADA41-5736-4198-95AF-EF3864EC7F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176770ae40d24d71ed8218b1b621a296026799d8","datavalue":{"value":{"entity-type":"item","numeric-id":1162352,"id":"Q1162352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$8D784B0F-0827-4313-BBE9-318E23E9B113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268dba0ba6747423d070e020f60f74b3c60209a0","datavalue":{"value":{"entity-type":"item","numeric-id":4840207,"id":"Q4840207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$D868D2DA-2E0B-498C-8C69-FECDAACE6D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9205c171d8dfbbf836ec95e215a99db195f75a67","datavalue":{"value":{"entity-type":"item","numeric-id":4102722,"id":"Q4102722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$509A6EDF-8E9A-480A-AB73-7F3B9B185991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c87b171d5931bd8adddbef83b240429b9c9a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3899535,"id":"Q3899535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$780EC3A6-9621-4724-8B90-A773A95AEA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8b48d157ff2cd54f716771f8ff889f62f7dcca","datavalue":{"value":{"entity-type":"item","numeric-id":3766805,"id":"Q3766805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$330CE85D-9EF4-4584-8163-9935506D9343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbce2aa44fc39e3e07479af01bbb0464c1c5471","datavalue":{"value":{"entity-type":"item","numeric-id":1183579,"id":"Q1183579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$AF444B6C-6ADC-43D9-9882-4EBC0BDB35A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff266b32a2b5094eeab329424e1158e704552e57","datavalue":{"value":{"entity-type":"item","numeric-id":4127966,"id":"Q4127966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$B04732E3-3F77-4745-B23B-2524D224C0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aaa22e0033a9c47a0f8838f6fd2b488f95c2007","datavalue":{"value":{"entity-type":"item","numeric-id":4199499,"id":"Q4199499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$906FAD08-2C12-4A2F-B222-BD0B8E8F12DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef8d7f06c3bcbe15173131d1674229da41813a6","datavalue":{"value":{"entity-type":"item","numeric-id":5680089,"id":"Q5680089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$046955A2-4D68-4E3F-9B0F-0F8BF4658871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151e53b833b03fea2bc315d9321174f425e91bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3995133,"id":"Q3995133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129121$DC08757B-A8D2-40C9-A6B1-AF53E578D957","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"683b918f2b87c5ecae56a6ee5e9733fb21da2f75","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00267-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1129121$E3EA796B-D3EC-4CB4-B09E-354FEA8A5901","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03f196dd20c743689a85aa93bd3ae85145e62b86","datavalue":{"value":"W2067041071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129121$9547A9AF-D05D-4CD4-95B5-6C9EFA1053B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db0be89444893886ee13a7388c8802892c80ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1183579,"id":"Q1183579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30ad9190c56dd502d9c3be0d87f9a28ccc70b0e","datavalue":{"value":{"amount":"+0.8193830251693726","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":"Q1129121$4DB0922A-2245-4908-90C5-56BCE174FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd374f5cf7527da9391f5f38439382a62f308be","datavalue":{"value":{"entity-type":"item","numeric-id":2508826,"id":"Q2508826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b217f33eaa3a625350c21c937f9142cf58cbca08","datavalue":{"value":{"amount":"+0.7776137590408325","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":"Q1129121$733407D3-DF18-4B85-BEC4-43256B32E2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5719cb23faa5abf1bf10989ab41053605ac7051a","datavalue":{"value":{"entity-type":"item","numeric-id":4028341,"id":"Q4028341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfce09b2b949ce5fda0bdd898d2b6704e92f9c8","datavalue":{"value":{"amount":"+0.7658606171607971","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":"Q1129121$353CBAD9-EC3D-40C8-896C-C9E6523D6C4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic translations, correctness and algebraic compiler construction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_translations,_correctness_and_algebraic_compiler_construction"}}}}}