{"entities":{"Q678839":{"pageid":680688,"ns":120,"title":"Item:Q678839","lastrevid":46728195,"modified":"2025-12-25T11:48:23Z","type":"item","id":"Q678839","labels":{"en":{"language":"en","value":"Two models of synthetic domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004396"}},"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":"Q678839$C9CD09E6-7920-4D17-A6AA-7C1D636F2075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8f1f44fb8ab3a1f4bdf9bea9f61b4f0154fd8ee","datavalue":{"value":{"text":"Two models of synthetic domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678839$45B7731C-0EB9-4D86-8B25-03BF9415EA06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d89c5683f368e6e5ca6994ceb470d230ad9d094","datavalue":{"value":"0879.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678839$A1A37466-D936-4E2D-A2B7-A9D9D7DD370A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e93979d9fc47cc73f44c8626b974210d1f60b1dd","datavalue":{"value":"10.1016/S0022-4049(96)00164-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678839$58B65E6C-82FD-4772-92D2-6CE4933F7EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$26D9D50E-0A4C-4124-B7D5-056637B4EEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13b5756dec6737434f258b1b13cddf7f76f371","datavalue":{"value":{"entity-type":"item","numeric-id":382421,"id":"Q382421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$12DFAAE0-0081-4BFB-A184-0A0AA47F1F19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$EF88A0D2-2FAF-4815-AED3-5BF8D1869C98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b866ee3cb60433d92ae5f464f67832ea98456d1","datavalue":{"value":{"time":"+1998-01-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":"Q678839$0C73B3B2-29EC-4967-9E22-85359D3B1210","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678839$617B8A2D-7991-4E77-9986-ECE6CD1756A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678839$F4E43DA5-F933-4A0E-95CB-53D443E601EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678839$B702E13E-F424-4D48-ACFF-63888F26D48A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9da49d8b3129278e14053956808287685cf7cee","datavalue":{"value":"1004396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678839$09A05535-3F37-4796-B1A3-37CE24422A07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q678839$603D5357-9F15-47A5-AE38-D7ACD29A2255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e45185463b5e772fbca77d3925506061cb10f84","datavalue":{"value":"synthetic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q678839$F4093A0C-A9B6-4A62-A49C-D9B3635C857D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q678839$C662397F-B920-426B-BEE3-0534A399C787","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":"Q678839$D0D556F6-731A-4F55-956A-5BDFC5519006","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$6EC9EB8B-64F4-4308-8B0B-97C6AAF8150D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$CCFE87F8-E276-4CA6-A26D-5128E7A41F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$5207201F-AAAB-42A2-8648-7993F53EE493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$01497720-5D6C-4D7C-83CD-1717ACE2AA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$03132D66-2C82-4702-905E-1809E2FA9624","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":"Q678839$987D9BAB-289F-4E5D-9621-810B815B3BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$0E9AE413-4AB3-42A5-AE8C-9915449FEFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$AB0CCE2A-3209-47A0-8DE9-F5FEC57F7AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e2ff5d4943e38d73207e7174bfebcd9fc5e22","datavalue":{"value":{"entity-type":"item","numeric-id":1167158,"id":"Q1167158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$461577AF-FF85-45F1-A730-0B1A1D2025CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$BCF12259-EE91-48C5-B158-621244A5E9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678839$D5EE7522-FB70-46D5-9E1A-16BAA8ECB550","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18af317d58b3257bfc0848716008cea456cb9eb3","datavalue":{"value":{"entity-type":"item","numeric-id":5941556,"id":"Q5941556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ca1585458159273a5f8cdbeb0395c6a782f1fd","datavalue":{"value":{"amount":"+0.8279544115066528","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":"Q678839$F1A1617C-0771-4CB4-9EE8-45A411BFFE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df9f80ac8419eee50a2558a8e59ded1078c7be0","datavalue":{"value":{"entity-type":"item","numeric-id":4222887,"id":"Q4222887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4432ee8a9501e8094189b94a49b24e99950092e5","datavalue":{"value":{"amount":"+0.8150474429130554","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":"Q678839$CDBCB4EB-ACA7-48BE-AD91-FD1A7F9AB527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8692a9fee9ae781f6e3d48a7693b8d461ae346b8","datavalue":{"value":{"entity-type":"item","numeric-id":4362914,"id":"Q4362914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a28b90542689bc2aeab27faa8a0e15b12713692","datavalue":{"value":{"amount":"+0.814303457736969","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":"Q678839$241CADB3-EF8B-4C94-B4F6-A8C6D6F18A9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:678839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:678839"}}}}}