{"entities":{"Q4247808":{"pageid":6277409,"ns":120,"title":"Item:Q4247808","lastrevid":46832358,"modified":"2025-12-25T16:42:11Z","type":"item","id":"Q4247808","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302492"}},"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":"Q4247808$BC7565E4-2094-4D3A-992D-15A04D9F0D23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c152b98a428b9c7c9ed29586b59d29307c10689f","datavalue":{"value":"0926.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247808$384C23DE-5CAF-4F93-9D65-7C201CB1A6A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247808$F761B1C1-5935-4521-B3A7-06C2B35EDF63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38736b16377d65c133558922b8d6a1a038ca7912","datavalue":{"value":{"time":"+1999-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247808$F04344C8-3F8F-470E-8C3F-CEF59A63AC7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247808$22C2AA57-DD65-4F80-83B9-CF64D5DDCFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f21c6d40c6056b71888d3cc9dd86097d3e2fc2e","datavalue":{"value":"1302492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247808$EB7A03A9-9DEF-4694-8C14-AA0FEE77031E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8df9761c5132bf4cfcc185ee21eaba75272873","datavalue":{"value":"unbounded \\(\\omega\\)-trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$929A8880-8837-4BD1-B4BD-949C81153F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$2FE87F85-3B8E-419C-ABD8-45768D978644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15bdfd9a6e285e72554ab325f4a875db61915394","datavalue":{"value":"least fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$EBDD5C61-134F-425E-BE57-D7D88D14DCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55118d9d1bbc13007a4b8d4da1af3e6fb042ce73","datavalue":{"value":"transitive closure logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$E3513A4A-FD39-4F62-992D-B14208D6E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3e37a2d855f9c60734af19461281dd4cfbdbba","datavalue":{"value":"downward L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$1F5CE974-274F-4EAE-AF8E-9C2160740AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$3CD511E2-1D35-4E2E-81E1-B834560416F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf02c828af0670eb5bf4b34116eadd19bace9a75","datavalue":{"value":"countable well-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$F628259A-8B5E-42C7-B80A-232016455476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e31c91b49b13ded14c006a20b418f5eb7a9294c0","datavalue":{"value":"scattered orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$26E2B3AE-848F-45F9-9CA4-42FCD641FD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7697771c1f48da9351e634643412792c575a06fb","datavalue":{"value":"height of elements in reduced abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247808$C99BE0E6-7D96-4779-9C4E-E18914C27E09","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":"Q4247808$9ADDF22B-AF33-4126-A192-8B3537E7E5CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aced510bd175f2910dd94ec9ec7c4b64674c6926","datavalue":{"value":{"amount":"+0.8325949907302856","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":"Q4247808$4E81966C-9625-41F9-B722-B022AE9DDFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c4c1413ebde60a55dad355c653d4179424309b","datavalue":{"value":{"amount":"+0.8220474123954773","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":"Q4247808$75DFE44B-50EB-4AD4-B1B6-F0CB1111E318","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":"d5a1f65be2f083545ce1b651bf95011730dbf41f","datavalue":{"value":{"amount":"+0.8125762343406677","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":"Q4247808$E13713F1-B25B-4A31-A687-7ACE70A6D045","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247808"}}}}}