{"entities":{"Q7350874":{"pageid":31472197,"ns":120,"title":"Item:Q7350874","lastrevid":107978435,"modified":"2026-10-27T14:05:21Z","type":"item","id":"Q7350874","labels":{"en":{"language":"en","value":"A computer-assisted proof of robust transitivity"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"d2c11f9cb81920dffc73275c975cbe2cb1c2aa8b","datavalue":{"value":"math.DS","type":"string"},"datatype":"string"},"type":"statement","id":"Q7350874$3AD845C0-B303-4CC7-9725-30EFA274F0D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7350874$F20BFDCF-6888-4D68-B906-7F468A10AA43","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"c96952a883295f662babcf48473ad261c6b6dfbd","datavalue":{"value":"2609.10120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7350874$60B20AA8-0C13-402D-B94F-C171151FE476","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6f8e58d9c0e5f6fc7fa1c9c4608a421bc2fdcd","datavalue":{"value":{"entity-type":"item","numeric-id":6048908,"id":"Q6048908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7350874$9407ED35-B0A9-4B6C-9792-3EF99F8C0914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"439f13696ad844be4ae446a73dd80d40dda06c6a","datavalue":{"value":{"entity-type":"item","numeric-id":379520,"id":"Q379520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7350874$405184AE-F309-4118-9360-98E566093F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d1c04394b471fd8e33875728e73139c8f395e7","datavalue":{"value":{"entity-type":"item","numeric-id":312808,"id":"Q312808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7350874$3C465F6E-A5A4-4255-B15D-AD3A817E071C","rank":"normal"}],"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":"Q7350874$19FF5D45-1E4E-434E-AE51-A900B1A61C87","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":"Q7350874$0A0A5735-19AF-4EFE-BAEF-B740C237EC71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computer-assisted proof of robust transitivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computer-assisted_proof_of_robust_transitivity"}}}}}