{"entities":{"Q863459":{"pageid":865307,"ns":120,"title":"Item:Q863459","lastrevid":64921314,"modified":"2026-04-11T23:07:06Z","type":"item","id":"Q863459","labels":{"en":{"language":"en","value":"A new proof of Spinks' theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118900"}},"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":"Q863459$37F03588-82F3-4F3F-AC69-E0CC467C605C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b04e89bfe7dc1bdc1295800848012f5840a270","datavalue":{"value":{"text":"A new proof of Spinks' theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863459$D15FB2E1-A54C-4845-B18F-A235D2663D66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e5991dd74f0433827a0a25815102b6f3f00b999","datavalue":{"value":"1104.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863459$92E35CCE-3E03-4ADA-B0F9-E73F32F52C24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24ab5360b070b659bc6ae190b54455dd03802bb","datavalue":{"value":{"entity-type":"item","numeric-id":283330,"id":"Q283330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863459$987E6B10-21A1-4401-B9DE-8092BDFF28A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863459$05D8E120-69CD-450B-B832-E8B780E37806","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6721e2b1eb987ba2390f9abdb34c9100dded7229","datavalue":{"value":{"time":"+2007-01-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":"Q863459$EE384663-CF2C-4913-960F-D73A16765BD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863459$F10EC608-9109-4E6E-9FA2-7533385239CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e8a20785c5c292bd8659b2720376388dbe92529","datavalue":{"value":"5118900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863459$D798B446-3D07-45DC-815F-FC02202E2BD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a7de7f7313dd64aa6e4032b51fa2fbedd67924","datavalue":{"value":"symmetric skew lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q863459$5E372FCA-FEDE-4179-B7FB-5A538FF8A890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db907f06c76f645ae0cd8896210771f72cf62c0","datavalue":{"value":"distributive identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q863459$6AD02AEE-46E0-402C-88F6-470F4D17D12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf5b515a1b776ade862e4f5b714d125439e1f7","datavalue":{"value":"direct proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q863459$2F0ADBF1-8522-4C23-8DE4-1454DC646D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d963a453895db8f2c9b2a2145ca14a7d0ed4727","datavalue":{"value":"cancellative skew lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q863459$D2B08466-A102-4D8C-BD21-767A70BE1942","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":"Q863459$ED01D1C5-3932-40CC-AD05-895C961D7594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"629f9baa1600b28eea8b515800b5a49bb271485c","datavalue":{"value":"https://doi.org/10.1007/s00233-006-0603-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q863459$21925B5A-8218-4C7E-BAB3-10A30572FF1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"850576ffe433a79b3ab77ed78cdc37813d66c704","datavalue":{"value":"W2019100513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863459$1641F736-C1DA-45C4-8CB3-86C80219E3D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c14202197b1ce4e33249476f42674e8c47092117","datavalue":{"value":"10.1007/S00233-006-0603-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863459$E1A3F2AF-7C79-4FE4-A592-33EA4281B11B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9fa2efdfc2b88f14ca1b8464977e885522bb35","datavalue":{"value":{"entity-type":"item","numeric-id":2634958,"id":"Q2634958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b3773f84999918bb5c29c73d2174bfcbb7ec8a","datavalue":{"value":{"amount":"+0.7934077382087708","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":"Q863459$B8660213-72EA-4825-AFA6-57B721CFDD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ab2a1d89c3c07e5e25cd658b27b19fb61cd757","datavalue":{"value":{"entity-type":"item","numeric-id":655718,"id":"Q655718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8258f29d9e74c004c53ad7f4a54efc86174711b","datavalue":{"value":{"amount":"+0.7800726294517517","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":"Q863459$38385115-E945-4B12-A15F-4B946314A2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a7f26b4dcc1fb9c2d5d63393684d5dd4c62527","datavalue":{"value":{"entity-type":"item","numeric-id":2428566,"id":"Q2428566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4c57ae3192830094a5d9c7b90cd4449d1009fb","datavalue":{"value":{"amount":"+0.7718933820724487","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":"Q863459$69C545EC-335A-4FBA-A7AA-A9EB5991444E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a673b1d2f4336ee34e3091441847122e281b71e5","datavalue":{"value":{"entity-type":"item","numeric-id":1590061,"id":"Q1590061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7ed73ad6edcce61a87024207abcb6e88f7f5ba","datavalue":{"value":{"amount":"+0.7607512474060059","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":"Q863459$D66FE626-F42B-4C64-AEA5-BC8E8D766076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3efb5ea60230f653b39e196b2b2e40cb256e1ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4038500,"id":"Q4038500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b91596a61a400eb2c47fe7b5880093cf2809df4","datavalue":{"value":{"amount":"+0.7583799958229065","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":"Q863459$981CC3A9-DECC-4BCF-BB32-844267442918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of Spinks' theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_proof_of_Spinks%27_theorem"}}}}}