{"entities":{"Q866560":{"pageid":868408,"ns":120,"title":"Item:Q866560","lastrevid":64947180,"modified":"2026-04-11T23:17:47Z","type":"item","id":"Q866560","labels":{"en":{"language":"en","value":"Ordinal arithmetic based on Skolem hulling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126402"}},"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":"Q866560$70D10650-5CC2-40E9-9414-87E38E253656","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2225aea782eb0cb47f9b2cacf777427184bf24a","datavalue":{"value":{"text":"Ordinal arithmetic based on Skolem hulling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866560$CDB90277-0199-4DD3-B5BB-23DC5EB8EBEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"184dbd7dcaeb39557d9847e4d3598bddf9fc19ba","datavalue":{"value":"1117.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866560$1C7DB0F3-B93B-4E26-A0B9-3709EDB7E074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f21c141d1f4dfddbdbe81814e287bb01978856c","datavalue":{"value":{"entity-type":"item","numeric-id":490675,"id":"Q490675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$0EE3C289-C715-40FC-8167-D25614880A83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$9AA36997-0A08-42EF-BAC5-B3548AFC950E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-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":"Q866560$50714B51-ECC9-4D6E-A5F4-8A745CD0FBC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866560$FB1967C4-4C15-4769-832C-1367D0EEACFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06f9e8314e230c2de9e34ae5ded24d231b9bc6f","datavalue":{"value":"5126402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866560$D930C214-5D0A-493F-BBD5-64F419F26CB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q866560$10CD120E-5738-4DFC-BBB0-5235A70FE9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q866560$595C5E73-7A15-426E-844C-74355E5B2A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73692fbce3c6fef417d1493f9fa45abd5210ea01","datavalue":{"value":"\\(\\Sigma _{1}\\)-elementarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q866560$82EB4FC8-75AF-4548-8C62-A85BC3020D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad9b328eca8555ff60a38692711665051a74e61","datavalue":{"value":"collapsing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q866560$28AAFD3C-CD24-4EBA-B029-7AF4567CAFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f25b03ea6825d4bd3efca688c37a3c74388da2","datavalue":{"value":"patterns of resemblance","type":"string"},"datatype":"string"},"type":"statement","id":"Q866560$F49BD27C-3334-4127-AE2B-F4378FD8090A","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":"Q866560$A60945F3-DA3C-4CE4-A040-2A56A46F1D1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e07107eddd3bd96d3b36e739f5617489c501c10","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q866560$E04F29F8-979B-44BD-8E89-93A8EA438BB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b72f539c49fb9032ac31e0951d56c417da4aaa5e","datavalue":{"value":"W2032474274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866560$639DBD17-F2DA-4860-B52E-D4C21EC9F237","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e065643d50abd5b84483003e456d4556e6495178","datavalue":{"value":{"entity-type":"item","numeric-id":4067070,"id":"Q4067070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$4046EE45-BDB1-4259-ADA3-4E938BC2AE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$A8FE084B-AC2D-4F20-BB10-85E9FD1576D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$C33E6418-5786-464E-9900-06F08A5482EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$3BBCBB78-66D4-431F-BC4A-5DAE03C05F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc1b999977ab414cc1ba605d1d9b6ffcfed719d","datavalue":{"value":{"entity-type":"item","numeric-id":5935985,"id":"Q5935985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$6B0A53FA-AB38-4CE6-88E1-51A53BE89081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$4B93F594-7B16-45F3-9440-FB31FEF46580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b1bb354afd2b79f7ab5c3406b5230d6055702b","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$4BC403D4-C575-4726-AD42-9EA0EF43DFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8ff59a19c433a03526d2993fc18dbdfceed2bd","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$0152D961-5A36-417B-BC3D-353CD42B362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a019f48c952acfae395126bfe7d30ae0e9f39f91","datavalue":{"value":{"entity-type":"item","numeric-id":4304798,"id":"Q4304798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$D2DE47F6-686B-4805-97AE-86C03FBE5023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$D79488F2-427E-4B72-B858-1AE2117D0FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$14A7B89D-EC18-4091-9B25-C9915E0357A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f93f7f859835ffe23a3e55623c240f09c9b7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3024338,"id":"Q3024338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$60E73B8D-F6BD-4D00-A06B-9AF134BE9682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62fed8d58014db56dba9a10c349587735ceebc4","datavalue":{"value":{"entity-type":"item","numeric-id":850804,"id":"Q850804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$0C39F4B5-5687-45F5-ABD3-D380D51BB7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0847566a887fd2af7e044ace26569dd1de2bbccb","datavalue":{"value":{"entity-type":"item","numeric-id":866561,"id":"Q866561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$D7C16C61-A0CA-428B-AD79-399E215248EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476ed243c41c1ce27ddebc6d510c28527233154e","datavalue":{"value":{"entity-type":"item","numeric-id":5294032,"id":"Q5294032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866560$C0BE27CF-8E27-4285-82A8-D4A5256903BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6bd47a97a4f0e9cbdf8a3f6ec88a24a6070d276","datavalue":{"value":"10.1016/J.APAL.2006.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866560$2600538F-CC5F-43E5-915F-76EB2CC4C865","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e25090a8eb364cc7d791575e4d381ff027a8e3c","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8a1eae5bd1e90b393a9125287fd18d1d5fb249","datavalue":{"value":{"amount":"+0.8895276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$A6FDB44F-06C8-455A-89EF-AD5DF3DC1F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7652357e77a1571122db1de57d47e89f772e8","datavalue":{"value":{"entity-type":"item","numeric-id":2891472,"id":"Q2891472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20a74b440493f023a26d69115c086f17355dea6","datavalue":{"value":{"amount":"+0.8801408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$443D6B37-569F-49EA-A628-3521F268528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50001e2b65c497631ff132b65af0f98b93e5c52d","datavalue":{"value":{"entity-type":"item","numeric-id":3422023,"id":"Q3422023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338ebc4eb04a962f5a5dcf3062a160d64b04455e","datavalue":{"value":{"amount":"+0.880012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$10B4C07C-5DE2-4CA9-B2FF-4A927CC5E70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7edb99676f1247ac8a51c430bdeccf3ec6ae7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3809796,"id":"Q3809796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e546663ca741b983a054b648b2039fbf65a2f216","datavalue":{"value":{"amount":"+0.87562996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$FEDEFDE5-EA8E-439D-9D57-54C7B85A22FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c1ac3758c4695a345c4463ef85e05b66decda6","datavalue":{"value":{"entity-type":"item","numeric-id":1818592,"id":"Q1818592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c2478d71952044bf5588d1cb0f62494d4d183b","datavalue":{"value":{"amount":"+0.86893415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$DE7A0958-19D0-43C9-BD92-19D59809420C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a9952cad5355221e4d615454830583652697b7","datavalue":{"value":{"entity-type":"item","numeric-id":3140643,"id":"Q3140643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e67324015ca81a2923f129e49e91b1f80c334a","datavalue":{"value":{"amount":"+0.8639896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$896658F6-11F0-44FE-BBAD-09598ED7D7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56c87c724173faa59e71c8e711d9af6d27f454d","datavalue":{"value":{"entity-type":"item","numeric-id":3576060,"id":"Q3576060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef83de7a4a925615d03e392bf66f069e3ed99f6","datavalue":{"value":{"amount":"+0.8639178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$1C16E0F2-66F8-44F7-AEB7-927AB301F4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb31f927016e7e06ef12bf033e414f99050c3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5711887,"id":"Q5711887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65765af0c1743ad007f50b1f824b921b757bb24","datavalue":{"value":{"amount":"+0.8571116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$648A6AFD-1CB7-4E37-BE7E-203B757D1FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ab3241e5e79f43c55c0a104720725a73eca364","datavalue":{"value":{"entity-type":"item","numeric-id":3370613,"id":"Q3370613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff829f546d5cfcfa8400d44aeaaccb725962df0","datavalue":{"value":{"amount":"+0.85535544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$EE45D5C3-2D09-4DA7-9C77-CAD8BEAC7EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1b03b1a5906f8b757c0cf4746c491b5a4ed526","datavalue":{"value":{"entity-type":"item","numeric-id":4790660,"id":"Q4790660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50c0d4917967697cc1abc0b711359287e579ac1","datavalue":{"value":{"amount":"+0.85360265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866560$80221F30-C2C6-4F5D-82CB-9FE0838E851A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinal arithmetic based on Skolem hulling","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinal_arithmetic_based_on_Skolem_hulling"}}}}}