{"entities":{"Q4508250":{"pageid":6537843,"ns":120,"title":"Item:Q4508250","lastrevid":81903023,"modified":"2026-05-06T19:37:43Z","type":"item","id":"Q4508250","labels":{"en":{"language":"en","value":"Yet another hierarchy theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512467"}},"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":"Q4508250$B7775788-D094-4051-A840-16BBFE56DB44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18238fd956f0712660156a0696060bb886d4ec40","datavalue":{"value":{"text":"Yet another hierarchy theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4508250$79ABE0D9-F1FF-442C-B351-036B0CD5A8AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b4ee1e1222e5afc813946c6572c3fad055765c2","datavalue":{"value":"0960.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508250$B80AB1C8-FF36-4830-B136-15201630889D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8a366ff1bbc88d77c1fd975d10144bd9beed377","datavalue":{"value":"10.2307/2586558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508250$D62BBABF-76BB-45C2-9DB4-91CD004245AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e32d65d787fe0d6ecf5ead2ab2b33757d6f00590","datavalue":{"value":{"entity-type":"item","numeric-id":1575134,"id":"Q1575134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508250$13A7E13D-EF1F-43D8-BCC7-2DEF3479481F","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":"Q4508250$ED49E9B3-178A-4446-83D0-60F336B523B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a8ef751728b2b17bbcf17280282a4718c22627","datavalue":{"value":{"time":"+2001-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508250$B0D0D0A3-303C-4CBB-AFD1-71B8C105FEEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508250$9DB54259-8B9B-4771-9C8E-33C822C28211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508250$475B9AE1-8EA9-4811-9A88-0C877D301467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508250$3CE816F0-4BC3-4C13-AB19-AC442CE226F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b5f81c0f2ce6cd923106ea2224145c2e9ae961","datavalue":{"value":"1512467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508250$639E3FA8-FC99-4C01-971C-B826E0BC3BB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508250$FE31B65F-588F-4A04-81ED-54262686C1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508250$0BF4406E-C460-4A84-BD3B-A44CD4C3C54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a988eab35b8a3e6ef56c6d7102b838b67488872a","datavalue":{"value":"fixed point operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508250$015E0628-E0C6-426A-A3EE-5E6F2718B62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508250$C3B61F1D-6ACC-4773-8DBD-ABD027A4472E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c72bf4f55e31e8fdfc2cf7764685c86e08ccf1","datavalue":{"value":"sublogics of partial fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508250$A4EE5050-E8EB-4971-A67E-1AEBA45E2F3A","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":"Q4508250$5B687980-5002-4CBD-8CF6-5A6C6B74E9AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8e79ee253fd6110174d8a30d4e6120adbde7267","datavalue":{"value":"https://doi.org/10.2307/2586558","type":"string"},"datatype":"url"},"type":"statement","id":"Q4508250$F6AB38F1-C88A-4F0E-8A39-6E21B5A1B707","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2ec4e2bf57e0d1be67f58b5b26c5cb354b9d606","datavalue":{"value":"W2133891248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508250$D2A03573-A2E6-4AB2-9BFC-17B702236978","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6045261392323d9d8a3f72fb4bd1c38c735051","datavalue":{"value":{"entity-type":"item","numeric-id":2563982,"id":"Q2563982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508250$45BF03DC-4872-46B3-B860-D6B9FCF3AA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea91975316193622b759d21e5181e46f45b63baa","datavalue":{"value":{"entity-type":"item","numeric-id":1919531,"id":"Q1919531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508250$2C509354-056A-44CE-BA20-7D6CBFCC6C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508250$A72CE6B3-7AFB-45B8-90B4-83156599A11C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca50459bc99e82a6914701c8792ff21fa2d190f","datavalue":{"value":{"entity-type":"item","numeric-id":4525283,"id":"Q4525283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97485b6b56baedd3363301a956284409d3e6f449","datavalue":{"value":{"amount":"+0.8495229482650757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508250$A57CD72E-1318-481C-A249-2C991671D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d4adc382af41e79fae057be0c7945270d75613","datavalue":{"value":{"entity-type":"item","numeric-id":2563982,"id":"Q2563982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaf91f9476d251dc0b1f54b5006fe852f48b924","datavalue":{"value":{"amount":"+0.7964003086090088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508250$B9947BA1-8923-4C99-BCC6-61D33813EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c362c3bc890d667c0387fe5d69d1fd6e7342914a","datavalue":{"value":{"entity-type":"item","numeric-id":4876640,"id":"Q4876640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9977f9419824b1c7f714a620427a2a6a0893251d","datavalue":{"value":{"amount":"+0.7959848046302795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508250$3BB70258-7FED-4F64-89A9-2581D6BAD548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f7c2c478a63f7aa22879f201e8759a4b151103","datavalue":{"value":{"entity-type":"item","numeric-id":1913297,"id":"Q1913297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd21646a035fcf289fe5b2eadc15221cf9cc58f6","datavalue":{"value":{"amount":"+0.7841583490371704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508250$75621574-7A14-431B-BC43-F706B049EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d955d8972ec3706480fc5f43cc33062e386483","datavalue":{"value":{"entity-type":"item","numeric-id":1919531,"id":"Q1919531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd21646a035fcf289fe5b2eadc15221cf9cc58f6","datavalue":{"value":{"amount":"+0.7841583490371704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508250$8D284036-9FCF-45B3-9FDA-C78B4DDA04D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Yet another hierarchy theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Yet_another_hierarchy_theorem"}}}}}