{"entities":{"Q4304554":{"pageid":6334155,"ns":120,"title":"Item:Q4304554","lastrevid":46285158,"modified":"2025-12-24T11:53:02Z","type":"item","id":"Q4304554","labels":{"en":{"language":"en","value":"Retrieving library functions by unifying types modulo linear isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 637519"}},"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":"Q4304554$54D28560-0CF0-44B1-89E5-42C00B58660F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bfe86367ae86853fc638118603b3c41652158e1","datavalue":{"value":{"text":"Retrieving library functions by unifying types modulo linear isomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304554$122B1571-06FC-44A3-916F-CECB551C2946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a4b463c813c7514b2fa24f2567c06f8aeebbe2","datavalue":{"value":"0809.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304554$D3C6A88D-E79B-4304-A9C9-4C816DF04B2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e215d8ee38826202a757d734323d9d4471b52c9","datavalue":{"value":{"entity-type":"item","numeric-id":674188,"id":"Q674188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$B08B2EE3-600D-4E05-A869-D34AE882D37E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$C7EA5420-DB51-40E8-B8A1-961A21BDD1AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31f2772fa237f6dd3b5bd8c2796119b27fdca3dc","datavalue":{"value":{"time":"+1994-09-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":"Q4304554$FAD78EB8-979C-4235-9A4B-EA15C01E7814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc19c3d31d843e067c4dd25b988330cecd4dc343","datavalue":{"value":"https://eudml.org/doc/92464","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304554$96E8B52E-5459-43A9-9A00-DF707753ED6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304554$1DA60702-8DA9-4636-8441-94B5B2B87AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10380db620d0b699f46e722f6ad2c1273b334fa9","datavalue":{"value":"637519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304554$48D5582F-8941-43D2-8FA8-6ACCBC400FA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad80aebe80196423fa694ed46354ee45d24df48d","datavalue":{"value":"symmetric monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304554$4B8E9BBE-B65B-4F19-A9AC-B347C3AABC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61189fc52de0163fae7ad9b13f9c3a894b4a56f9","datavalue":{"value":"retrieval systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304554$3CF055EA-14D4-4B78-8D80-201C2F8DACDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304554$35CC04E0-54F6-43BC-9634-AA60A67A11E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8f141167345ead0a6453756dbcc4af8338476486","datavalue":{"value":{"entity-type":"item","numeric-id":22046,"id":"Q22046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$9438A6A8-0DB9-43AE-A049-5F82C9C58F39","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":"Q4304554$C3EF17C0-F998-496B-B31E-6ACCFB7D4647","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bb557a25f01b9c891a9047782c1a206c1c5d858","datavalue":{"value":"W136786770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304554$8061F286-2538-4A0A-80FD-49A781DFE99F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd6822bcc364d151a8abfad8a020ad9766e3333","datavalue":{"value":{"entity-type":"item","numeric-id":3490943,"id":"Q3490943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$23B2D53A-6A43-42DD-9184-72CB4753C844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bc920d50d67f17b8265f824b4cdbc5224ead4b","datavalue":{"value":{"entity-type":"item","numeric-id":4018960,"id":"Q4018960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$425A5D6A-D4C5-4EC6-89FD-A4CDD5E7B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308895c836b930be70b0ca58cc1956e776eb29fa","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$38C90742-903B-4198-8901-9C2429211A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$321B8C40-4E65-460C-B742-ADD6E6674937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$34B1FC58-E0F2-4FEB-808E-1172FA15DB38","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":"Q4304554$5691E012-099C-4ED2-9FEA-EF92959E0BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c29adcde92bedeab1ce895d4e77941c3d8e5b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4358059,"id":"Q4358059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$7A44AF3F-4861-469A-A238-B11D644B0524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730ba20c9991a2568e17ae9a2be1ca0275d298e","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$E66CF4B4-A7FA-46D9-A99D-3A56BD2B3ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dfd29de0e8ac9d9af3948f3b4a79c0a2b2f32d","datavalue":{"value":{"entity-type":"item","numeric-id":4939700,"id":"Q4939700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$D065AA75-07D3-4763-B212-2280047D17ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$CFBE3F52-731A-4387-BCF4-97C06CE21933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd14d5a2f0485e65b886d5f1d6e99d725a63aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3929914,"id":"Q3929914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304554$C539B363-CF82-4368-806D-AB3B7B4CF37A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26860da716de9a8d616553f8bdb41a9428ed425d","datavalue":{"value":"10.1051/ITA/1993270605231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304554$F2517698-87D0-42D6-84CD-C653B5A54570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93076406624dc47f48ac323b5932ba6357a06b1d","datavalue":{"value":{"entity-type":"item","numeric-id":6488563,"id":"Q6488563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8cc2d88ac690b1c93946004a451e251dba3e6b1","datavalue":{"value":{"amount":"+0.8294079303741455","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":"Q4304554$82A0436B-7016-4842-A602-913DBFA15303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ad748d3e4bf16552573ef081d9744dddea74a5","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4a2b080be105fd1c95bd3e38f89c3ce956d610","datavalue":{"value":{"amount":"+0.7884370684623718","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":"Q4304554$9A3940DE-6052-44E3-9DBD-7EEB489AA592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cea5ad7f28fa0259edd7330e429b90199a5a897","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee4813f6ba6902216cf653212acd270d725846c","datavalue":{"value":{"amount":"+0.7225781679153442","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":"Q4304554$726B7546-D971-46A6-AF98-2D2DA6D0C3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef9da17352b7f2d1957af2a8dc8b66ed5caba22","datavalue":{"value":{"entity-type":"item","numeric-id":4358059,"id":"Q4358059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac492bf4ac08e7afa5de5de6260b398f3e09817a","datavalue":{"value":{"amount":"+0.7132889032363892","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":"Q4304554$D40356AF-3829-4424-85D4-445035AB4A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304554"}}}}}