{"entities":{"Q3663267":{"pageid":5693173,"ns":120,"title":"Item:Q3663267","lastrevid":81080126,"modified":"2026-05-06T17:40:29Z","type":"item","id":"Q3663267","labels":{"en":{"language":"en","value":"Omitting types, type spectrums, and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3815612"}},"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":"Q3663267$4E556417-42CD-49CC-B998-A4A792505B68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"babaa4faee3404b8234b776990c8ee097fae2504","datavalue":{"value":{"text":"Omitting types, type spectrums, and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3663267$0BBC0B82-F9A5-4536-B3EA-F16EA7855797","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10866ce7346e73d7b25e922e2abd1ee2f850c7b9","datavalue":{"value":"0516.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663267$485EA216-E89E-4911-94D4-6D6CB08D8E94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"407580d5246f4dbb5f16b33419899f20d6e1074d","datavalue":{"value":"10.2307/2273331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663267$8804BFC5-23C1-4CE5-B4BF-BFFEC5F59FBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e38d9177582285932fd34fa31d4c43fb1a72ca61","datavalue":{"value":{"entity-type":"item","numeric-id":1057258,"id":"Q1057258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3663267$0D10D54E-B704-42B9-B64C-EDA304F9F313","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3663267$AE7B6247-E09D-4A34-BD2B-50AF6666AC4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3663267$81A3A951-2B21-4773-88CA-83C10060F0C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663267$9A8BBE42-9AA4-4543-BB1A-609092917A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663267$193AB0C4-C5A5-43E5-B43B-E5A437BAE687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663267$3B442077-212F-469A-AF26-1F8A454F7486","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e79cfd1ca1693893bff3c4e9315464d321545dcf","datavalue":{"value":"3815612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663267$77E8E291-31A6-4D47-BE97-BF104DF35E3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663267$7C7BEBE9-7BD8-4635-8886-CADAE554DE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40a0d0101dc1820317a5d5ac8f390d8512ded80","datavalue":{"value":"decidable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663267$E243A82E-5485-48DD-A69D-570AEF14C312","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":"Q3663267$453B7EB1-DFB8-4AA8-B5CB-E9F924EF9519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff103d1f0dea46407a9df604f506c18e9d91b0b6","datavalue":{"value":"https://doi.org/10.2307/2273331","type":"string"},"datatype":"url"},"type":"statement","id":"Q3663267$962ED098-DB7B-47D8-BEAB-272E9FBEA1C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39be55647fb6500acb8b67ad4c54f2e28fc24136","datavalue":{"value":"W2031952547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663267$0D5F8C8E-412F-4106-A97D-4535549011F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f10b4d88e93baca28a79f2b36e81db13dcb827","datavalue":{"value":{"entity-type":"item","numeric-id":3869329,"id":"Q3869329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3663267$7810E908-5913-402F-86C3-D960E21D9C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Omitting types, type spectrums, and decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Omitting_types,_type_spectrums,_and_decidability"}}}}}