{"entities":{"Q1220484":{"pageid":1231233,"ns":120,"title":"Item:Q1220484","lastrevid":66920289,"modified":"2026-04-12T13:44:28Z","type":"item","id":"Q1220484","labels":{"en":{"language":"en","value":"The theory of homogeneous simple types as a second order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3490937"}},"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":"Q1220484$5AB85EDC-F60E-4FFF-BB92-F32B030509E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e362f8634b1a0a579cbb657c6a84ba0c93e5f2f9","datavalue":{"value":{"text":"The theory of homogeneous simple types as a second order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1220484$33D4A598-D77D-483A-BFCD-130E9DCFCD47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1bcac1c587d2af3749f555d4f7d9a659f940fb2","datavalue":{"value":"0314.02027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220484$1A1BB64B-4095-4969-BC18-D12FB8AA8876","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89836e5df96e8f7407950db8e44518b657008052","datavalue":{"value":{"entity-type":"item","numeric-id":244405,"id":"Q244405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1220484$70C80B8B-080F-4E8C-BC10-350F00C35C0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1220484$455351FE-2CEA-4288-8264-993E0F827F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1220484$4913376F-D32C-4CA0-BC81-6FCD417BDFA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220484$B628565E-AA41-4B5E-B37B-0ADD3AA854EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220484$12B8333D-5A04-4391-BC01-2537E663F778","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19c29fe1c367db6ad4203a5f4beac1706397cd3c","datavalue":{"value":"3490937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220484$B9297C8C-0EB3-449C-A52A-B7058210269C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8576912dd634031a3a65ae1c499464fcee27c787","datavalue":{"value":"HOMOGENEOUS SIMPLE TYPES","type":"string"},"datatype":"string"},"type":"statement","id":"Q1220484$AADA60AC-A088-417D-82AC-BB91344A7BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b222966e181aa4af78ace8f4cf709b68d874ce","datavalue":{"value":"NEW FOUNDATIONS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1220484$3AF9A740-C371-4E2D-A37D-2424F6639CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc98f3a44f84b6915c86d542a475df5c87df52","datavalue":{"value":"SECOND-ORDER LOGIC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1220484$F841AFF6-9B15-40B5-BD4A-B5CF95F6F6AE","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":"Q1220484$BCA91DBD-F6FB-45E3-858D-7A5912A91A5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c64e9c8af9b5d6764028f68a8b75a27ad9e7e14b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093882656","type":"string"},"datatype":"url"},"type":"statement","id":"Q1220484$0EDB5FF6-8568-4136-B814-BD2B40A916C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5779a1dd157283811a9ca2389f93b8740b572e42","datavalue":{"value":"W1979350946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220484$262EAF91-9929-4DD3-9C93-7AFBA7C1CF38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13b322ec6e658853921d1d1e7bc84e89f5cd896a","datavalue":{"value":"10.1305/NDJFL/1093882656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220484$80AC2F7E-E3CF-4D03-A4F8-B243F676E72F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theory of homogeneous simple types as a second order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_theory_of_homogeneous_simple_types_as_a_second_order_logic"}}}}}