{"entities":{"Q863459":{"pageid":865307,"ns":120,"title":"Item:Q863459","lastrevid":38508902,"modified":"2024-12-10T04:55:06Z","type":"item","id":"Q863459","labels":{"en":{"language":"en","value":"A new proof of Spinks' theorem"}},"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":"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"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:863459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:863459"}}}}}