{"entities":{"Q6073894":{"pageid":13208202,"ns":120,"title":"Item:Q6073894","lastrevid":58657671,"modified":"2026-04-06T05:17:01Z","type":"item","id":"Q6073894","labels":{"en":{"language":"en","value":"A formalised theorem in the partition calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7748742"}},"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":"Q6073894$0B35BC7C-CD77-483A-824F-A208F4DFC981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7a78c494ea0e3ce1d61b1e0e4b7fd3453bfda1e","datavalue":{"value":{"text":"A formalised theorem in the partition calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6073894$C557AABF-E0AD-47C3-A26B-B0F4D37C284D","rank":"normal"}],"P16":[{"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":"Q6073894$2EB8B4DD-4F4F-480B-BE89-F722A9E8F4FB","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":"Q6073894$39F493C3-A5BB-43E0-807F-5746F98E845F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"814c982951c312d9e571bab059f6a40e9b74e991","datavalue":{"value":{"time":"+2023-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6073894$84B66B16-BD9A-43B8-8209-016C553B5D6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2152c158f2d63f33b179286ce9405ecafbda2e74","datavalue":{"value":"https://arxiv.org/abs/2104.11613","type":"string"},"datatype":"url"},"type":"statement","id":"Q6073894$11487671-DF07-4B4F-87F2-4436D3CDD646","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$FF6C36C3-DA80-4BE5-A247-3B30DF0604EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$144B4296-FFAC-4F89-A0F1-A47F49DA5C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$8CE7D7DB-6600-4E17-9775-57BEF12E1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$899CBBBE-7259-4499-9CCA-A6052C599533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$8B1C09DD-DC15-4ECD-AFDC-51A5B6BD9FD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01cf93eaa8f5175665a419a3425f2a3a6848424f","datavalue":{"value":"7748742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$9733E9A3-D91D-4588-8711-2921AAAC6DF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5d06c9c7bfafcdc4852e0a384a12838570908d","datavalue":{"value":"ordinal partition relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073894$27EB5363-77BC-406A-9CF7-8B84886C5CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073894$F905D97F-F3B2-4B34-8F0D-6BD6ACB2244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073894$A271B6E8-25A4-478C-813B-7DD448DC334D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073894$90319C99-F212-429C-9A47-19C0E656E112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073894$C229D7FE-0288-4595-8B6B-82DBC4FE028D","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":"Q6073894$77B8FC94-CC37-4537-91BF-96A2FEBC8D7D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"131c00edd9dfedcef687e41432faf42825e3b813","datavalue":{"value":"Q123365870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$BBC4158C-A829-4906-B638-E7F0E9ACC899","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4579a714f0925c2a512a65c2f6a50590ca995b22","datavalue":{"value":"W3157126958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$7892DE50-2240-473A-9B94-1687A1F5114A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$37FBDEBB-F02D-434C-AA76-004D3195BB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4652987de2907b759e28bd50a17d8c594b549614","datavalue":{"value":{"entity-type":"item","numeric-id":5149382,"id":"Q5149382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$653D7D78-9092-4164-9178-2A4E53A3F26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c5f5c617e488fb494238f1e4d7368bf494f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5094473,"id":"Q5094473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$82375D5A-67FC-4AE5-B9CE-2607368AA0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d100a7535c2f4f6bb4aadd40d304fcb49e78301","datavalue":{"value":{"entity-type":"item","numeric-id":5635446,"id":"Q5635446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$E2A0564E-A151-4C7D-B897-F2D5BC1E8FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fb077dc2fa4aa97a42af62fda1019437d3f6ca","datavalue":{"value":{"entity-type":"item","numeric-id":3215221,"id":"Q3215221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$A8980BD4-9A40-4B53-8A52-1DFD067D8DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$46F28C8F-22A3-4DE5-9E21-E015C9BA621E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$87209439-1F06-4A86-802B-052D11545ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$66B3781C-4D04-4F34-9144-F93AA913FFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04632d5958d80f81462441db38ef00e84019e13","datavalue":{"value":{"entity-type":"item","numeric-id":5049004,"id":"Q5049004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$8EBF4B60-4E0A-4480-821E-D749BDD19765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01fa35cbe30cf3afe7e00a83ddbd4d46f5cf8c72","datavalue":{"value":{"entity-type":"item","numeric-id":3053889,"id":"Q3053889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$C886DE20-9B1C-478A-A437-64A59E6F832E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$56C2D8E7-D75F-4923-A72F-F82A6816C535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$D60063A0-AF65-441E-8AEF-3B493D470271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f831bdd0445bbb207a58535cee0f990813469d","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$E065292B-8F5B-4C79-83EF-1FECC3417A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd54bcac7040f5d5154ccda68e185303a7e23dd","datavalue":{"value":{"entity-type":"item","numeric-id":1893129,"id":"Q1893129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$0D0EEEF4-F432-4CB1-A5F6-733CF69C14C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$92BCE605-C783-4021-9F4E-9F788053955F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$37428FEC-354D-4185-A4BE-88CEC2DE17BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e085d23761b683ccabca7a184fc918b1460e91","datavalue":{"value":{"entity-type":"item","numeric-id":1904403,"id":"Q1904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$219A633A-A240-405F-927C-86D5EBFBCBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469cdea1f9ce4956ee555bcaa47e3a03eee80d58","datavalue":{"value":{"entity-type":"item","numeric-id":1357665,"id":"Q1357665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$89C5ED8F-37A4-4998-AEEA-659CCCFA03C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6388f54c42abd9ab0900b5bab6062edc0e1ce3","datavalue":{"value":{"entity-type":"item","numeric-id":1272604,"id":"Q1272604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$F71C7ED9-A4F8-488C-B566-452910EC6491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61621a25c1d2828341801c1766512d672764dedb","datavalue":{"value":{"entity-type":"item","numeric-id":5183500,"id":"Q5183500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$44CD6B5D-A424-44FA-93A1-F3C200F68A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4ca4a16b119ca70c787682774a6cc34be78cca","datavalue":{"value":{"entity-type":"item","numeric-id":1868160,"id":"Q1868160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$1FEAA8AF-592F-49DB-868B-4DE8E972CF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$7DE33E63-FCBD-4DF0-86A7-D6E98AC3D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$BA4EF377-1CF5-4953-AC43-060B14F92136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0109241a704d91dc3140ac5a94ac34a08698fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4827615,"id":"Q4827615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$CB69094F-26CC-43AF-A5D4-CA106CE78CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5de220317fd709a7e63acdecfb92f5c42b492","datavalue":{"value":{"entity-type":"item","numeric-id":2280211,"id":"Q2280211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$94D6EDC8-1213-4AEC-80EF-84C267586080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$0095D0B7-E40E-4BE7-AEC2-E6B1569B1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75dd641ec30f32007603a70a63b69f926c6196c","datavalue":{"value":{"entity-type":"item","numeric-id":4342090,"id":"Q4342090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$D41BEF3B-4C1E-449C-AB2C-0BED282D4080","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b0f1c4ac4761e1fc502e8c006ea971b0e1ff9ba","datavalue":{"value":"10.1016/J.APAL.2023.103246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073894$B3C293D3-D8DC-43D2-88BB-8C772F4319D7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073894$54DD60B8-59AE-4DDB-A183-9DB936D3FFD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6073894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6073894"}}}}}