{"entities":{"Q3474270":{"pageid":5456397,"ns":120,"title":"Item:Q3474270","lastrevid":49366576,"modified":"2026-01-07T01:12:14Z","type":"item","id":"Q3474270","labels":{"en":{"language":"en","value":"Module algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4141481"}},"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":"Q3474270$0B149D52-0A17-4FDE-A8D0-05B0AB14606D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af064958ad61420685942bdb0bb636d9a4c0beb2","datavalue":{"value":{"text":"Module algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474270$074277F1-C0DB-4B41-8A54-96F5B96F059A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7551af8f0425f38b7ff7ad0483f22157d8e2d00","datavalue":{"value":"0696.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474270$AB1A3168-4F93-4027-804B-2C16F522A254","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40b9d1bbcdfb45c7fa87680982a87387b2ed01ec","datavalue":{"value":"10.1145/77600.77621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474270$41968F76-9EBA-44E9-AE47-4B3EFF44C12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474270$E3AFCC67-AFD3-49A3-9D32-665D241531B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c5cc67e76adcffea3809798724ba27c68d434fa","datavalue":{"value":{"entity-type":"item","numeric-id":1084848,"id":"Q1084848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474270$312A5B16-1FD0-4CBC-AAF5-FBE4362AD155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"403e9006c9d9bb7c1668e6d1760aa56697e0e2a3","datavalue":{"value":{"entity-type":"item","numeric-id":1075750,"id":"Q1075750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474270$9EC61DEE-D42F-4627-8B96-A981A7433D35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474270$576262BE-D5E3-430F-BEA1-8BCA2A5152A2","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":"Q3474270$E0E006F6-B993-40A8-8CB3-C8941E66E2D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474270$0BF89D4A-04EF-46A5-83D8-C9717D01AFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474270$34FB164D-C0FF-4441-B0D7-5E182B458325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474270$B9696F0F-318E-412A-88A9-9575AE3505B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afe2bddb256dc22b969a47ece939221536f019d0","datavalue":{"value":"4141481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474270$E4679870-E656-4C6E-8E5E-C23EA19028E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$9267BE82-E0E6-40C0-B2B5-D72BD739959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$F9736A3F-A821-4A23-ABE4-AD25691EAB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$148083E0-A21C-4F95-B454-4942BA9DE701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$9B2D5AB7-C043-4862-9C5F-00A12A59496B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5cc109d32297c39ba34718b496c8c925b8940c0","datavalue":{"value":"algebraic specification module","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$173ABF9E-A4AD-4051-9DA1-09531D8A283D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2bb4cb2bf08906d22a2bc1f32a4e70e1d900f0","datavalue":{"value":"Craig interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$C48AB109-0528-49F3-A026-3EAC72787F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b009b434b29c3e5f72494d6b142f3963d0f42e2","datavalue":{"value":"first-order specification module","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$6E1B6939-9FCF-4751-9215-98B82E06620B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"530d8493318750bf239cafa75621b06a8dbd8981","datavalue":{"value":"information hiding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$BE17EA4B-B12D-444E-8C2C-150F237AF8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc3338cb6d62752a5b6f6092fb7e6af612d6c7b","datavalue":{"value":"module algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$E9872FC7-5A70-4406-81A6-EE3E87687609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da82257c2c39f47cd99774eeebbdbcebe90764e8","datavalue":{"value":"module composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$075C5C74-1CD9-41AD-8D72-959266C3C0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401b53553cf0d600391fc2214846541cb559c227","datavalue":{"value":"module expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474270$669CE914-6E7D-4991-AB6F-AB19D798F5F6","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":"Q3474270$B27D15EB-080D-459A-9143-CA29CF5C3903","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b1c359ff25b24c717916613fc82c43099d4dfc7","datavalue":{"value":"https://doi.org/10.1145/77600.77621","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474270$D8CC3C40-EACF-419F-B73D-ADDF0CC43858","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bc4cb4725ce85854fa3bbbe0bdb9c70a33cb69b","datavalue":{"value":"W2293815615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474270$B3388D32-9D70-41E5-9DD0-CBA2FCF35AD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bdd8b64be113227e327bc969645bb5fef350f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5959419,"id":"Q5959419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b228b48f0d3faaa671ac6f063e052647d129e7","datavalue":{"value":{"amount":"+0.7873066663742065","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":"Q3474270$3A8D9B34-DB8D-4F2F-9E3B-A5D21C6AFE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f910be360cfcd61e61611aca660a92780a74a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2180219,"id":"Q2180219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00ca2ca32d1f807a2bcdb04ba31155f2ed299e0","datavalue":{"value":{"amount":"+0.7872353196144104","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":"Q3474270$883415C1-413D-4E5F-9BF9-0AC94C5DC18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0600d7cec67342dc489859d936dc6b428c0864","datavalue":{"value":{"entity-type":"item","numeric-id":3725525,"id":"Q3725525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a577242d3dcf06aff8749087e64d2bcf01c6e95c","datavalue":{"value":{"amount":"+0.7781544327735901","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":"Q3474270$B7A05142-E178-4F05-9E3C-C4AA243C3A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307e6ac7e93efb510efa8f9db70f3ce5d9a4fab6","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568a17f2ca9e0ae154bcda3947b2af461877dbfc","datavalue":{"value":{"amount":"+0.7751567959785461","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":"Q3474270$778F48A2-130F-4F0A-BA18-69FFFCBD7F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7e455919bf7b410fba0cd3f3b6754f1ddfc44a","datavalue":{"value":{"entity-type":"item","numeric-id":3738549,"id":"Q3738549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d5b6d72ca484bdda474d106a273453eff101ca","datavalue":{"value":{"amount":"+0.7729749083518982","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":"Q3474270$C08D551F-AE57-4909-BA87-14DC47DAE60B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3474270","badges":[]}}}}}