{"entities":{"Q3659782":{"pageid":5689688,"ns":120,"title":"Item:Q3659782","lastrevid":49858582,"modified":"2026-01-11T09:18:22Z","type":"item","id":"Q3659782","labels":{"en":{"language":"en","value":"Recursive models for constructive set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3811565"}},"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":"Q3659782$B269B825-0672-4C0A-BA04-9B3DF165FDC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa796fe952f769ee271f150c7a3300cfd62d84d1","datavalue":{"value":{"text":"Recursive models for constructive set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3659782$74F16BB5-68CF-4B81-B5C8-A05954DF3716","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767d0e18a7e88c5d3f4b26d943a935f4b0b3f01b","datavalue":{"value":"0514.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659782$766E129D-5D98-48D6-9586-C3E4F363B7FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eda52b7a052c5ac033bde3bdce6756a47106162","datavalue":{"value":"10.1016/0003-4843(82)90003-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659782$CE1CBD0B-D71B-47CC-ACF0-4D5035D3F9E0","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":"Q3659782$15150171-5501-47C3-B97D-2FD1D2404C7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3659782$79489FA4-E8BE-42A5-B54A-D4F7C19B70BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659782$89F5D528-C9EE-4BCA-A32B-2A363B55B935","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e44a7c1c1564665e53dd107ea3f0ee928a8f0b10","datavalue":{"value":"3811565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659782$0F8ED770-303E-4497-B740-08172C9D5555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659782$FE804C99-2F3E-4D5A-B8CD-8E3B4EE97F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659782$D76A9B28-52C3-4E22-A9A0-1029D2F8CE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659782$1F6ACE43-9C5E-452A-B7D2-B6B0550AE680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db29ba75028c92db1ee6defa67dc2f1cab44029b","datavalue":{"value":"effective operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659782$F8CEE19F-E86C-400C-BAA1-DE8EB643C618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659782$0150EE43-25B0-422B-9D13-E5D1BC648409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e264a680cb4a39cc9b487c120eff867e19d0e807","datavalue":{"value":"Martin-Loef's theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659782$199EDD7A-707C-47BA-8465-77B95305BCAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3659782$C1528474-357B-41FB-92A5-EE9D82B791B7","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":"Q3659782$79D5FF53-0617-4B65-A69D-20587DB5CD61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbf17722d01698009a4267ebe0e47b3f7c5bb373","datavalue":{"value":"https://doi.org/10.1016/0003-4843(82)90003-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3659782$678C556B-11B0-4A64-85F0-44EB7597873E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36f439e7685f0de98ce4bcf596a5e81ac72c8b7b","datavalue":{"value":"W1964913565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659782$4D2A79AD-1D82-4CB5-9ADC-8361733D7DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3659782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3659782"}}}}}