{"entities":{"Q1139042":{"pageid":1149791,"ns":120,"title":"Item:Q1139042","lastrevid":66902499,"modified":"2026-04-12T13:37:11Z","type":"item","id":"Q1139042","labels":{"en":{"language":"en","value":"Goodman's theorem and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3674085"}},"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":"Q1139042$AAF58CD0-4DD5-4EC8-AA40-E6EC8F4E1153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ba0597f724cc0bbc7d3728cced1c536b6064446","datavalue":{"value":{"text":"Goodman's theorem and beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1139042$E539297D-D07D-4379-A807-A02BAA7B89E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"871d3283f4194cffe62e6f7690897b6719cf6ef9","datavalue":{"value":"0433.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139042$490CDF5A-8C63-4D8B-864E-C22E668B059B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139042$F9AD3FF7-B8E5-4F26-B42A-40A2CD58303F","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":"Q1139042$28246068-9962-4B0A-9B4F-D1B2542D1B81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139042$5B80DC1C-EC39-4BDB-B438-1AD031AFE2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139042$39859DDD-ECAE-4E51-AE84-BE487C7865C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e0e672b82753e9c320b31c8ebeff443f61146b","datavalue":{"value":"3674085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139042$DFEA74FD-4F81-4ED1-8B2E-22D7C4029CCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139042$EFDE918E-080A-4B42-9503-812234C30AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a7c6ccb6682cc640f6bedac00bcb5dc0b780d92","datavalue":{"value":"conservativity of the axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139042$E9B13C43-342C-4857-B186-BA2FB39E14F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139042$FAA64593-12A6-4DFB-B3E3-AD3606A91523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139042$640CC9B9-50A3-49D8-A5DE-9276275CBC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139042$2F6A256E-6E70-4656-AF48-DC31632652C2","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":"Q1139042$7979DB65-DD4E-4861-B15D-36678A8473A9","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":"Q1139042$7F8A4702-692A-457F-AF92-9DC85FC486C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2515490cd4095efbc473f85b942f400c60403b0e","datavalue":{"value":"https://doi.org/10.2140/pjm.1979.84.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1139042$388DB6C0-20A4-4092-89E5-E419FB6A33C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"318b87f8f8049437508324155378e26f6776fba5","datavalue":{"value":"W1990224856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139042$3A89A319-E604-406D-A210-FAEAFD391FF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ece30d4210aa064825423a88565a0a9fa85463e","datavalue":{"value":"10.2140/PJM.1979.84.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139042$E0CC5EB8-C9E1-4B0F-99EA-88A58DD76C55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Goodman's theorem and beyond","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Goodman%27s_theorem_and_beyond"}}}}}