{"entities":{"Q3138535":{"pageid":3149251,"ns":120,"title":"Item:Q3138535","lastrevid":45527686,"modified":"2025-12-10T04:52:44Z","type":"item","id":"Q3138535","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431759"}},"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":"Q3138535$CEDBCD47-D7C2-46A7-A4A7-146B08D67273","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79be331cb51112bacc98f74f7bd8accf8176d431","datavalue":{"value":"0797.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138535$AB5924CC-3F96-45F8-9D31-C7A686AE0E53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138535$9217CE53-11AA-4EE0-8CCB-0069C6FE28C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a702e570ecf8aed98e72e89942a73416ef524c04","datavalue":{"value":{"entity-type":"item","numeric-id":1194325,"id":"Q1194325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138535$9A70453F-16BB-412C-80A1-763AF05F7600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"692a186319c99f50d5d37a42b6630cb4db9f75ff","datavalue":{"value":{"time":"+1994-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138535$B3BAEA7B-3325-4EEB-B322-DB4EFC0AC9E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138535$2A49C75E-2744-4D54-9CB2-1DEEF2A27AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138535$97D4DE39-BC38-46C3-AD26-527A0235338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138535$3DF8019B-53AA-42A2-A148-6B141E930361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2acefcd91609cee34d809738ce932c34cce27ba","datavalue":{"value":"431759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138535$123C53ED-07CC-41D7-946D-BAE72168EBA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea54aaec1fa8d46a792dddb5cad2f8a98fa2912c","datavalue":{"value":"computational comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$8E5E69F5-E8F9-44E5-9BB9-E1AD1C762A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a427fce7f8576c44fab982c3915c01f61c05f379","datavalue":{"value":"intensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$01226033-8C83-48C1-B816-E156EE789098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35d1e733e6d3be0c55253eecb245749a122ca295","datavalue":{"value":"program denotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$5D5439B4-DF53-4282-8A54-6F85E86E5375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4e836756ee5b0b001f2945fcdc72331e9d6e5c","datavalue":{"value":"extensional information","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$CDA17F13-A2DF-48A8-BC81-66C0D86094C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$741D7A3F-446E-4C83-811E-2E598A8E0488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c29219fc83ab8098870bd8e1bb0b83f280994e0","datavalue":{"value":"intensional category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$1181E50B-3816-43BB-9DD1-843C47CC4257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe0ffe411929baeacb64322e7bd5b8d668a68c7","datavalue":{"value":"Cartesian closed","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$3A23F9AE-7810-41CF-A1D6-FEAE1216D36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83cee63fa907dc0f0452b5307b406d71e7c63cf2","datavalue":{"value":"ordered category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$594071C7-04F4-4961-A590-ECFD99B6BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ee15671738a6502661ffb550b7e2155c72bfa1","datavalue":{"value":"exponentiation diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$3F36700D-70F1-4431-990F-B2F06CEB18B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"effb91c2d9e215ff0c7e75111aa40081a0518ee3","datavalue":{"value":"computation on domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$DDA15196-5284-4E5C-944C-19B994E6C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7815997af86fd1f96be291d932eca2fffcd267","datavalue":{"value":"categories of algorithms on domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138535$E1AFC585-1B56-4510-A93C-54860038F969","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":"Q3138535$9B8C130D-AAD1-412B-9921-F1DD19137BD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b8f7dc0b971adfcff48aba95ade2a6835418e4","datavalue":{"value":{"entity-type":"item","numeric-id":4434354,"id":"Q4434354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ec66bc2b5a0dec457ac8711985c221418d980e","datavalue":{"value":{"amount":"+0.91932553","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":"Q3138535$34583380-7ECA-4989-A0AF-B6636C482E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae20d61fc96eef710b15694eef90ce65cf557db8","datavalue":{"value":{"entity-type":"item","numeric-id":4552515,"id":"Q4552515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ec66bc2b5a0dec457ac8711985c221418d980e","datavalue":{"value":{"amount":"+0.91932553","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":"Q3138535$953CA1DE-81DE-4508-AB7A-42835E8487A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe425bbddab222b9367202ca78398c419078e5b4","datavalue":{"value":{"entity-type":"item","numeric-id":3356297,"id":"Q3356297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f04b34ba8c116fc73e5b9268e3884cadb985c3","datavalue":{"value":{"amount":"+0.9180892","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":"Q3138535$25B09678-486C-4D9D-B980-C20C1DDC355B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ad39c9c53ae3a243a5d971710e3f464cd9f861","datavalue":{"value":{"entity-type":"item","numeric-id":5184892,"id":"Q5184892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7e53d1b088ac3afb38a9df8b99963209cfab96","datavalue":{"value":{"amount":"+0.9150338","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":"Q3138535$192F0BFD-1E16-4665-91F3-914C2F23DE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b84fac16af3c4725ece8b640cb73cc3d0f5a881","datavalue":{"value":{"entity-type":"item","numeric-id":5395251,"id":"Q5395251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c69115957cbefd9b75b10087f5160a6c8bc2579","datavalue":{"value":{"amount":"+0.8885046","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":"Q3138535$136B84E2-5F98-4A3D-8419-3B6BEF1681D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeaf701c351a5aa5dc3348da314742509c185e45","datavalue":{"value":{"entity-type":"item","numeric-id":2425328,"id":"Q2425328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3340ba7b6636368f647d40840199aa2f2e54acf6","datavalue":{"value":{"amount":"+0.8841365","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":"Q3138535$7C263675-475A-4BCA-B7F0-9758D259EB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1998affc65f6e952121e112fd8e0e90d2cb05bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5249668,"id":"Q5249668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3369c192e05e16e0b3a13eb77d6d117422e65c7","datavalue":{"value":{"amount":"+0.880726","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":"Q3138535$863A02F4-473F-4C49-95DB-8D7D77A90D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4eb81077d3278c2d62ff55c907e08d528a1318e","datavalue":{"value":{"entity-type":"item","numeric-id":5438967,"id":"Q5438967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d185da5698681502298cb668b43e6952c643b2ff","datavalue":{"value":{"amount":"+0.87938154","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":"Q3138535$B484A6E7-4AAB-4FF6-87CD-DBB2E4675E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3fe14949c93fab4c373a6b96d5072b0c035310","datavalue":{"value":{"entity-type":"item","numeric-id":5752550,"id":"Q5752550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5506069966aadb93739021fe92eb8d39505e6d7f","datavalue":{"value":{"amount":"+0.87551045","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":"Q3138535$9E9D8FC8-EECD-4972-BF90-B77563E710AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fff0d48fdd631c1883f9600d429de0c88f24cce","datavalue":{"value":{"entity-type":"item","numeric-id":5024502,"id":"Q5024502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80d54dde022afe18876c0d9a8965809fb1f00f9","datavalue":{"value":{"amount":"+0.87509376","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":"Q3138535$1F361A09-3B7A-483C-8C2E-4E251C84F4A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138535"}}}}}