{"entities":{"Q3178272":{"pageid":3188981,"ns":120,"title":"Item:Q3178272","lastrevid":86389547,"modified":"2026-06-03T19:55:13Z","type":"item","id":"Q3178272","labels":{"en":{"language":"en","value":"Observationally-induced effects in Cartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602830"}},"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":"Q3178272$31401A90-43E6-442D-B8E4-4DB3B65B6ED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e37fbda971f62027eaa741d13e46c4c44a83622a","datavalue":{"value":{"text":"Observationally-induced Effects in Cartesian Closed Categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178272$88AE4586-8200-441A-BB30-53A2924F58CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4abd4942b5ed1705c8974d2178e5305fa6999fab","datavalue":{"value":"1342.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$CB3375D6-2669-49CF-BA36-530050159017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30662d8a26cc88b9c288870123c0e286e0df56be","datavalue":{"value":{"entity-type":"item","numeric-id":276417,"id":"Q276417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$8A73CEB0-7B86-4B81-B914-0D9C4D71DCF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$888FF126-73AC-4903-9EDC-7DAE2A8A72C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178272$74C0FD53-F457-4556-8CE0-B6757AC66D4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$854502CE-7D38-45BD-91BF-2FF0B61217BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$529F63EC-6344-4323-AC83-3A20E3AADF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$8D27327D-2903-46DE-8525-D28C7DD66AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$B9A6C9CF-6482-457D-89F9-B9ED68DBDAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$3385A23A-402A-44A0-8BBF-A19D2F459E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd659a73133e03f09f0b9d07d7cdf19502d457b1","datavalue":{"value":"6602830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$159F49AD-1E36-4479-9786-FBFB82615A2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178272$1DE27172-BD48-48A3-804B-50165C798B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178272$B750C305-3A16-4E7E-BBBC-DED0D23075DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178272$6F83C3AC-943D-409F-8746-B0BDF3AF6CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202a80cce893f6fd3030a9341af67d83e8826880","datavalue":{"value":"topological domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178272$347CF1E6-C873-4EB5-BE0C-F4A10032397D","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":"Q3178272$C0A96C09-0C38-43BF-A7ED-FAA7B0B46B36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61d7e1d13ed8fbfe15572b2389a2c6734b8d3f74","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178272$AA7C2D30-CA1F-4B52-ADED-4970A5AD1047","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"608ea84d58b11dc5481e3ba10ed67b7226b2c63c","datavalue":{"value":"W2043199778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$92F6EBEB-F83C-4E15-8E30-21E5D0327B68","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fb1ce0b27ec95d40d4a692c7abb9e53ee472baa1","datavalue":{"value":"Q113318090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$BFE1D9ED-8485-4169-B6AC-6AFD113D5128","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5642a96dd5f7db61859048835501364861af5e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2851317,"id":"Q2851317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$3126A2C0-28B9-4853-BE4B-1441141A2BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543c037bc3a36240d412bdd81fe852448d7aa096","datavalue":{"value":{"entity-type":"item","numeric-id":5739353,"id":"Q5739353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$A33C397C-6E94-44EE-A863-97431FEA6DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6c5904804a42b5924738c6004b52e8a9526c46","datavalue":{"value":{"entity-type":"item","numeric-id":2864147,"id":"Q2864147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$B31757A7-841E-41E2-B5AC-F2533BE7EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47b2557f08e9e595ea87686a40c98efe0029b69","datavalue":{"value":{"entity-type":"item","numeric-id":5481587,"id":"Q5481587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$135DBD4D-1D9F-4453-8D9A-3BE82A7C7081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2151a630ea947764cef360886e75101077cd9e12","datavalue":{"value":{"entity-type":"item","numeric-id":5481590,"id":"Q5481590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$CE5ACA9D-8D0E-418B-A271-AC428A9FA7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c92da0edbb6315f5fc10e8ac4f3b36534ca6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3978973,"id":"Q3978973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$5F3B14CB-EDC0-48C2-AF7D-426EB125C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a24148a61daca7521d113a3065543db08d853","datavalue":{"value":{"entity-type":"item","numeric-id":879352,"id":"Q879352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$64841F84-8255-42C0-8DD2-05FA8F61961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$8AA904B9-AA58-4072-A141-595624BFDE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$C6A7C7C5-D68F-4341-9AFA-DC4C51C5FFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87173fb80eb98b244bad127843fde7966f7c636","datavalue":{"value":{"entity-type":"item","numeric-id":2852372,"id":"Q2852372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$56170224-D19A-4855-94E4-09641C0439F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c0a6126495cda1262185672d17adb8c374c26d","datavalue":{"value":{"entity-type":"item","numeric-id":1434363,"id":"Q1434363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178272$7BB75027-8C37-4072-8F44-1D4D662302DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bea01bf06d7dc2ee71739f3109d5cfcfb402b8e","datavalue":{"value":"10.1016/J.ENTCS.2012.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178272$51BB3657-A3A9-436C-A7A9-B22F6C54C278","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64689cc450048214ccfa082d0c8659ce45bd63da","datavalue":{"value":{"entity-type":"item","numeric-id":5739353,"id":"Q5739353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c5cc17c8f10751b0badd0d5fc564559f899df8","datavalue":{"value":{"amount":"+0.8916004300117493","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":"Q3178272$522870D8-9259-40FB-8422-5192E375242D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346d737067db88d318a250da0615d70730d3ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":492906,"id":"Q492906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616d90c132b9c0958bd01d7bc8e945e7f1564cbb","datavalue":{"value":{"amount":"+0.8684797286987305","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":"Q3178272$4E27A27E-207D-4172-BBFF-682ED7E32E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885841f259bbc104b134c932872ba6c25b54fb56","datavalue":{"value":{"entity-type":"item","numeric-id":276418,"id":"Q276418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0800477541b7cf6e1094c017063db4f6ad1ab295","datavalue":{"value":{"amount":"+0.8585764765739441","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":"Q3178272$395B424B-356F-4A91-87FD-E8E31C843919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20495f3f24141c64d48160c31e90dc75a5ba2a79","datavalue":{"value":{"entity-type":"item","numeric-id":2921115,"id":"Q2921115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7defd848b6dba0e039e7b14e7a16ac513b90624","datavalue":{"value":{"amount":"+0.8392990827560425","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":"Q3178272$8DC43FD6-109F-4CDE-8E36-5AEFB71FADBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85afb52ee8a45a203bd35ddf8fd8bb3783a20b6","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb5337c5ede8e763c18d2cd705540feac7dae91","datavalue":{"value":{"amount":"+0.7765974402427673","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":"Q3178272$200DA940-9729-4744-AC49-CE81437B51B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observationally-induced effects in Cartesian closed categories","badges":[]}}}}}