{"entities":{"Q672137":{"pageid":673986,"ns":120,"title":"Item:Q672137","lastrevid":63602565,"modified":"2026-04-11T14:16:41Z","type":"item","id":"Q672137","labels":{"en":{"language":"en","value":"Uniqueness of Scott's reflexive domain in \\(P\\omega \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984815"}},"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":"Q672137$2349A325-90F3-44F6-8807-141A3C947538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d2562148218d584064d8415b9c1c3c6dfb1cb2b","datavalue":{"value":{"text":"Uniqueness of Scott's reflexive domain in \\(P\\omega \\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672137$8F3EEB54-FBE3-40B0-BAB8-1B0FA559513C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"329604396bebf76cb5be49fd9a5aec891b787492","datavalue":{"value":"0873.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672137$2B39AB29-A0AB-4CA8-9957-F996A9C7FBC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbce14a65e6aeca31cc35ac8cdc082d186880c43","datavalue":{"value":"10.1016/0304-3975(96)00102-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672137$C767DAA0-BFD6-4B7B-A115-80CB96484E9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66f0700585c178b6d2508945b61ca97fb02eb9d","datavalue":{"value":{"entity-type":"item","numeric-id":672136,"id":"Q672136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$8AA631A1-FC8B-4868-BE94-BB85735BE6B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$2EE6DEDA-7E44-4023-AEB2-E859F786B883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672137$51FD0B6A-249F-4CAC-A62B-F02F99EF4A07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672137$34C268F0-900E-4E0D-BE94-5301C1CDA23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672137$ACAF2F67-0EA5-48F6-8C1B-EA4E85BB0F86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee02482cb0b7e0a42397bfd85e15fcc2de535d77","datavalue":{"value":"984815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672137$22116549-5C0C-4ED5-B681-D6EDC2BB43CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c390b43b01b71aacda4137af30ff884cfdec1a02","datavalue":{"value":"extensional model in \\(P\\omega\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q672137$F8EEE9B9-2497-4F11-8B88-851E9896B4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051d490a1ca205c27bb20abaae4b26cba623baf6","datavalue":{"value":"pure \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q672137$0CA4125B-4537-4550-A23C-AAF83F7B2142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053fa6135e05bb1c5e460b37745f548221eb7d54","datavalue":{"value":"codings of the \\(P\\omega\\) model","type":"string"},"datatype":"string"},"type":"statement","id":"Q672137$CC72284E-B6A9-4558-A74D-79FBF7BBBB35","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":"Q672137$6035BBF5-CC6A-46E5-95C3-966C85AA7AFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d99839ac13f646b4bb949ccfa132e92cd78ed08","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00102-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q672137$BC09E570-7938-4C93-8D4E-5BBF7A79A993","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a440a01512ce439b8211c4eef0b00a0592e70fa5","datavalue":{"value":"W2063983720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672137$C3C3FAAC-BAFA-4136-84F6-5D1475C8A7B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$C32602B8-F404-4AC3-A0B7-279F0D2C8ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685af98d983cafe10ade102eedcba6a4f82c4e64","datavalue":{"value":{"entity-type":"item","numeric-id":672137,"id":"Q672137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$6CAB3B93-33A2-4931-8119-CDC18256C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$135592D7-B9A5-4E86-8EE4-3BD2C82302C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$70A3D18A-7033-4F14-898A-F7F1C7BA88C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec6971544affb815b628a0661fb7e18e636abfd","datavalue":{"value":{"entity-type":"item","numeric-id":3360838,"id":"Q3360838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$6B565917-8BD0-4836-BBA0-1B69504EB8FD","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":"Q672137$F5578D0A-5863-439D-81FB-00C23199164B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672137$316F0C34-0418-4891-8DAE-C5555F4FDF68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f8b0082fa720732b68577aea4680c2bf90befb","datavalue":{"value":{"entity-type":"item","numeric-id":1127535,"id":"Q1127535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455f4f0247a49afbe3d34bd8ff75a0b4b736dc04","datavalue":{"value":{"amount":"+0.8140215277671814","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":"Q672137$623C63D3-20C6-4AE3-A4DF-E391D2150043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe88c05f88fe4b686bae2e7511b096502afb869","datavalue":{"value":{"entity-type":"item","numeric-id":1021569,"id":"Q1021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e69f93e0fd92a59f1c6abb94bc2f11583393bb7","datavalue":{"value":{"amount":"+0.7546351552009583","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":"Q672137$4386B984-A401-460A-A9A0-D497E8AA22CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a823bb6ab158f685ac11782ec86e1c2bcd6e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4847018,"id":"Q4847018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed925dda393adc461c9224fff9a520924d31570","datavalue":{"value":{"amount":"+0.7450349926948547","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":"Q672137$E6551153-60CF-4CC0-AEA4-11B4B8896305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de2aa7ecb7c7cb6b56d6f8611a44aded8ff33e3","datavalue":{"value":{"entity-type":"item","numeric-id":3991293,"id":"Q3991293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7341b9650c5e5ec324dd3d010cf9fe06b934af6","datavalue":{"value":{"amount":"+0.7443352937698364","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":"Q672137$BC7C5C6B-EEB8-48A9-9D20-E1F6CFDEABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750326af95ea15f9861b14a64b43e63cc7161a22","datavalue":{"value":{"entity-type":"item","numeric-id":1275633,"id":"Q1275633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9e99342d13ba9415bd139df8cb7dbe7750b6be","datavalue":{"value":{"amount":"+0.7420481443405151","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":"Q672137$8A1D4B98-1D09-4A55-AC31-6C8883AE74A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniqueness of Scott's reflexive domain in \\(P\\omega \\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniqueness_of_Scott%27s_reflexive_domain_in_%5C(P%5Comega_%5C)"}}}}}