{"entities":{"Q4366768":{"pageid":6396367,"ns":120,"title":"Item:Q4366768","lastrevid":46516185,"modified":"2025-12-24T23:02:48Z","type":"item","id":"Q4366768","labels":{"en":{"language":"en","value":"A uniform approach to domain theory in realizability models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090491"}},"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":"Q4366768$BC7213EC-29E1-4BFA-B8EA-8707DD1DC825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7d18c21ebbc93523f4a9c9e7fa931c097473c6c","datavalue":{"value":{"text":"A uniform approach to domain theory in realizability models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4366768$10343537-C684-4BA0-A25F-EBE21E16AF4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdf0ad683392d0b5f27f40ad9115f69a3f0a2748","datavalue":{"value":"0934.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$55D04A28-4D54-42DD-B61C-40A732FC346C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e58bd8f9e97c64f394671dfd0a64b01631a49a4d","datavalue":{"value":"10.1017/S0960129597002387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$88CAC88C-C6E2-48F0-8EFC-572E2A7B74C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76898a733b17c53f346309740a5ca19fdb6dab54","datavalue":{"value":{"entity-type":"item","numeric-id":679250,"id":"Q679250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366768$11BF06AD-F905-4008-ACE9-15E9A08A3881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366768$5E595EF6-7A56-4201-98FC-B0E26D7832F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366768$51485380-1017-45B2-B5FA-6CB29C5CE356","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a66464017b31b9d8b8b905d3c7463defb00ed3f","datavalue":{"value":{"time":"+2000-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366768$5BACD916-FB56-48A2-A9D5-D33881117179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$25381FF8-1847-4F82-806A-993F880B91D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$772FECD0-B636-4827-B403-314F2669AB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$DAC47D08-DA89-4DE2-AAB2-8501973569CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$B870AA00-2396-43F4-9066-7579E223E317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$155A4B58-D052-4DEE-BFF4-3AD0506ED4AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbc05fe2d8684f83892e734e153baf8f121a4308","datavalue":{"value":"1090491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$BE0598F5-7248-46AA-BA8F-6D080C6CF49E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932a25298e83e2c06e414323ce5798a3788b66bf","datavalue":{"value":"combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$6CF2BC21-E64F-4D77-9AB4-6E5828A21651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2c7bbb5d72ba35e40a7a3908e983e30397f398","datavalue":{"value":"lift monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$B5458948-5D4E-4E05-B9BA-90A24AE53D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$1377AC23-E844-456C-BA65-8781094B6C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b3adb6a65f70aafb12a71573901e0bdd6567440","datavalue":{"value":"partial morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$589A75EF-FB1B-4850-A99C-D2F208B1C2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9da08db227520948f4cd2086e7fabda495e08e5","datavalue":{"value":"category of assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$E8DE81D1-0005-47CA-96D9-30D1AD7E35E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$1601DC68-2A69-45C9-AC7D-595D52B64B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a867b4528b484cce7544228c4309f1b0c755780","datavalue":{"value":"subobject classifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$20F49F6F-37F9-40C2-9C4F-6B13CA6C8F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$AB81FBC5-311E-485B-B4EA-37766B802F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366768$289A92E0-0FC8-4F65-BE5A-B0D9A144645A","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":"Q4366768$59657037-D854-4914-B370-A697D477A7B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bd554a98219680103e73abd922713be06290914","datavalue":{"value":"https://doi.org/10.1017/s0960129597002387","type":"string"},"datatype":"url"},"type":"statement","id":"Q4366768$7BF18E9C-3686-42B6-A8A5-4C782359A22B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ab4fc37f4575b09b079cd06bad2b3b9b49dcc49","datavalue":{"value":"W1989069191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366768$9DBDD060-71C9-4956-8DF6-726AEFB110F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34037fdd3c5d6dfeb99f38ebca57316e55290b0","datavalue":{"value":{"entity-type":"item","numeric-id":3149963,"id":"Q3149963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242850300fa3d84340a04a7f30be51041dbbf221","datavalue":{"value":{"amount":"+0.7613179683685303","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":"Q4366768$9561F07A-1C87-4585-AC51-9ED8920155F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cddce10e195f0dd99466c2121031e92b747ad8","datavalue":{"value":{"entity-type":"item","numeric-id":654017,"id":"Q654017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbb399aaa7ea6b0cf147b316c8ea87a8e33ffd2","datavalue":{"value":{"amount":"+0.7572552561759949","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":"Q4366768$4DD88F46-942F-4156-B5BD-BFFAA6A6702B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd2172811e43e46d01f55ba21ea8f44c8f3a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3812427,"id":"Q3812427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d624f7db887315296d8d42b80b5908c9b6b05278","datavalue":{"value":{"amount":"+0.7537187337875366","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":"Q4366768$EF299434-B388-4C15-9ED3-9C16119F297C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a54779f34ff896ecc51133063182d7ae9b296d","datavalue":{"value":{"entity-type":"item","numeric-id":1574785,"id":"Q1574785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657dc520e2bef31eb24fb2751f66cd1c6fb8e3be","datavalue":{"value":{"amount":"+0.7521164417266846","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":"Q4366768$02C49E5E-C3D4-4DF4-AD01-1D8FB81A97D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4366768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4366768"}}}}}