{"entities":{"Q3869329":{"pageid":5899234,"ns":120,"title":"Item:Q3869329","lastrevid":54580343,"modified":"2026-01-28T21:16:41Z","type":"item","id":"Q3869329","labels":{"en":{"language":"en","value":"Foundations of recursive model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3672274"}},"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":"Q3869329$4B791060-82AD-4CF0-8BD8-3C94645147A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"570eac4c2e5b8e3e5f89b8bd8731aca51dd91479","datavalue":{"value":{"text":"Foundations of recursive model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3869329$B87A0360-308F-4627-A9D8-121D0AAF4770","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"018b725e6fb9eb27d7f2e6926eb00e3593e32bac","datavalue":{"value":"0432.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869329$8D6CBB46-0C03-4F97-9FB8-9E4EC0571DCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea856e63a27e34d9957083a147e1525803093ecd","datavalue":{"value":"10.1016/0003-4843(78)90030-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869329$1468F9D4-AE36-4117-9BEE-85699D2FBBFC","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":"Q3869329$6F62C6D0-5EFA-4E71-88F8-D1ACBF09223D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3869329$3FAB9C2F-E771-4AD5-88EB-B1206C232DDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3869329$A8E9EBC4-AE17-4F74-8657-974FC34A1EAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869329$B0239866-9AE8-469B-9AFB-92E08D5D678E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869329$0F247DE0-FB66-4AD4-BDE3-C28FCBCA3AB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5862dc7b72c0f104c2a8dba2c3bd249f7d7afd2b","datavalue":{"value":"3672274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869329$6B7E8AF0-C0A2-4D96-872C-C0B573C7331A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869329$14D098C4-3C87-489F-A27D-72B4F75090D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634db76034976903e168c775c48e1b3c338efae3","datavalue":{"value":"recursive model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869329$9B24D1AA-9D40-44A3-B43F-D220A1A2E310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4da241973bc650ffc72fe433492926e61e74dd24","datavalue":{"value":"complete decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869329$51C8370A-9925-429E-8AF9-D6E21BEE868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869329$947A2B74-4F3E-4E14-B45D-5F821F20F6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcc686482d70eae7146a2aaf2025feae23b1b27","datavalue":{"value":"saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869329$B19A5339-5006-4B2B-85ED-E07D01406F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869329$C56193DF-B8D3-48E7-ACAD-0B026A2C89BE","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":"Q3869329$04540D95-E689-4E30-A372-E6E8460AEF7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3869329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3869329"}}}}}