{"entities":{"Q5887520":{"pageid":7917070,"ns":120,"title":"Item:Q5887520","lastrevid":97490576,"modified":"2026-06-05T14:53:22Z","type":"item","id":"Q5887520","labels":{"en":{"language":"en","value":"Generalization of final algebra semantics by relativization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7673906"}},"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":"Q5887520$3AC99127-B759-479E-9864-8A1E12799826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9dd2865bde8dedcaf143deb7ba14c11613c77ec","datavalue":{"value":{"text":"Generalization of final algebra semantics by relativization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5887520$E9CB9D98-A2FB-4BE0-8915-E7EA1EDADD4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$7A2A50C8-AF3D-42AE-A845-243D2A12BCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2875d8c3bf5a90838b3f77794d93fe24e6c0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":685422,"id":"Q685422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$2E7C33F7-7B39-4458-B007-1F5D395CB35E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$7711AB5F-6CE1-4F95-B18E-8C6D92C80D99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4034943b182da069de8768d6fd2310f3e13487","datavalue":{"value":{"time":"+2023-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5887520$CA74B90A-BFCC-468F-9DF7-9F629DCD7D2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887520$FAB8570D-323B-4984-A1AB-910BE463B738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887520$AF5CFBF4-C97C-4F7F-B61B-AB8FFD7356C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa4a38a507e06d6507e0888e88b62271fd8d07d9","datavalue":{"value":"7673906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887520$935D9A04-1FC4-46A5-90FD-371B48298309","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6232a2ad26f2a825f52c3322d7bb34517098c761","datavalue":{"value":"language model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887520$86E8FEEC-E1DC-4FA7-8EB9-983F9110360C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca991e55aca2cc687cd17d911f9dcb07aa6e44c","datavalue":{"value":"ground term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887520$98607679-75F5-4865-8398-39FE72939F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887520$C2267557-8A09-402E-B1A1-699752B8B6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887520$D299B5A3-255B-403E-B11A-23133C574CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89891c8826826936f0faaf4008cf45028664e32","datavalue":{"value":"finite theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887520$4BF55C79-51CC-4C9E-8E01-583A305F096E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$F3B4A3F8-B668-4022-8D03-34EB3AB1000B","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":"Q5887520$13DE33C0-8727-4096-B772-F01F613EE04B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$676936C2-C95B-4594-91F6-2268B5C41B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972bc1fa971fc360b4e9b78570fbe5c71387879c","datavalue":{"value":{"entity-type":"item","numeric-id":3939197,"id":"Q3939197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$9A751528-979B-4C64-912A-0FA6D80AF367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70c1e34050dcd0b61ce5a07aebe8c29e58c7b21","datavalue":{"value":{"entity-type":"item","numeric-id":3964001,"id":"Q3964001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$A716065C-B69E-407C-BF25-4A43213DAE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$A62889E7-D83F-4DCA-BB92-18377AF1A146","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":"Q5887520$DF99B15D-BEB8-4793-A000-C67FC7521024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91ce477e5d4681017209c5e3d61fd7e677fa2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1121676,"id":"Q1121676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$D2FCC219-7CF3-4758-BB02-88C9E28092A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$7CE15189-A88F-47DC-BB5C-EC47EE085846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887520$A5946AD1-2E54-41D4-9DB5-2F2512E6CD35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"976f35e2d1471f334133e8f3e8880b942ae65812","datavalue":{"value":"10.1007/BFB0040263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887520$7D0ABF82-4111-4D93-89A0-F75704FF7767","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba273455e7bd090fafcd55ff85e13a8d870075d7","datavalue":{"value":{"entity-type":"item","numeric-id":4702595,"id":"Q4702595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355def57493c08bac1350cdddef9a298a3d80aba","datavalue":{"value":{"amount":"+0.7448028922080994","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":"Q5887520$2ECABD76-5E77-4FF3-A4ED-BC8E488C359B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81cec37c0e68de0d9463feb368504c2c0487817","datavalue":{"value":{"entity-type":"item","numeric-id":3031906,"id":"Q3031906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355def57493c08bac1350cdddef9a298a3d80aba","datavalue":{"value":{"amount":"+0.7448028922080994","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":"Q5887520$5C31E0DE-D571-4E94-9950-83E3CE38E528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10dd6efcad95784ec5416d36b9a1b91b05b756","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf3ff297d8dfe9df2d213052f72d6ff17a48607","datavalue":{"value":{"amount":"+0.7318727374076843","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":"Q5887520$34961E24-9C4A-4E11-BFA1-C396AEED8E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e70573b32bc2e1bcdc519f53a69a26d42ee15","datavalue":{"value":{"entity-type":"item","numeric-id":685423,"id":"Q685423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ebb0f405bcfff9fe6ac7a06c7be0eeeb708223","datavalue":{"value":{"amount":"+0.7247820496559143","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":"Q5887520$AF74D44A-16C3-40AC-80D5-B02F1F197683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16185d9dc59c298034be5a201f6d0b6f61bc7f79","datavalue":{"value":{"entity-type":"item","numeric-id":673181,"id":"Q673181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ebb0f405bcfff9fe6ac7a06c7be0eeeb708223","datavalue":{"value":{"amount":"+0.7247820496559143","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":"Q5887520$2010C61B-EB18-40E3-85F2-2D5AEDD68CE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalization of final algebra semantics by relativization","badges":[]}}}}}