{"entities":{"Q6354634":{"pageid":13489098,"ns":120,"title":"Item:Q6354634","lastrevid":99321356,"modified":"2026-06-05T19:42:16Z","type":"item","id":"Q6354634","labels":{"en":{"language":"en","value":"Formalising Ordinal Partition Relations Using Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6354634$4C04F34D-A4A1-4CD6-9D67-7D68102AFE6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bdef6d037e4d798314ae1de6d6b312f0744cf0e","datavalue":{"value":{"time":"+2020-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6354634$AF501BE9-5255-44BE-96A5-13DBFE29C122","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"db0f412090f1f42c7326817e1f9de06ab1745b7e","datavalue":{"value":"2011.13218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354634$0DFC36A2-378E-41FD-A872-26DF4B4A8F57","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6354634$BBFF64F0-9F3F-4C16-97B9-6F09811AD911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7de47c3ec68b0b7b2a80923314e788ab2246fa9a","datavalue":{"value":{"entity-type":"item","numeric-id":446250,"id":"Q446250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6354634$CB6E924E-58C9-45AD-BF63-E176F09712BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43720d5641a605df4a870ccd696a31d0b30078dc","datavalue":{"value":{"entity-type":"item","numeric-id":472315,"id":"Q472315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6354634$8D3BC87B-CA93-4B51-8954-D651D4AC6B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6354634$F8CF9878-AA6C-44BB-9677-6169F83FB64D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354634$9635B414-7483-4C2D-AACB-F955F21D9C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354634$D5CD5750-B14A-4402-BDC0-D9FA374B84D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354634$140EDCF0-74B7-41E2-94EA-616040959848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354634$4AA1E61B-4B22-42EE-80D0-E7A5A65EDD83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b87a3102b4ff8b27da381b4dc090a892d91ab719","datavalue":{"value":"10.1080/10586458.2021.1980464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354634$1038EBEA-C598-45EC-B1F1-F35E4DBD713B","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":"Q6354634$57EDB29D-86AA-458E-A1E8-8B08C130EDCA","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"67cbb585ebca92f20e9923b52ffde23572697641","datavalue":{"value":{"entity-type":"item","numeric-id":5094473,"id":"Q5094473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6354634$2B5AED59-374F-4188-B2B3-6A882160574D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising Ordinal Partition Relations Using Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalising_Ordinal_Partition_Relations_Using_Isabelle/HOL"}}}}}