{"entities":{"Q2746807":{"pageid":2757546,"ns":120,"title":"Item:Q2746807","lastrevid":41963761,"modified":"2025-05-19T18:43:46Z","type":"item","id":"Q2746807","labels":{"en":{"language":"en","value":"The Robbins problem: computer proofs and human proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1656516"}},"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":"Q2746807$97FCF76D-CC68-4058-9F5A-3F020467A1FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"641f450ed94f883910de1ae81e88d3665b9d829a","datavalue":{"value":{"text":"The Robbins problem: computer proofs and human proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2746807$D0A9073D-B188-4684-A157-FBB009E9BCC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"644f208dc0a98b54390b90f8fcf67469d032bcb7","datavalue":{"value":"1014.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746807$B24CEB2D-595E-4F25-AF00-141DB6379CA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2f54485d8a21e2ce1d06fab51f22a6527a4f679","datavalue":{"value":"10.1108/EUM0000000005698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746807$F4823265-BD27-46E5-9D4A-E22F7D9CE312","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f152c269fe880a284c672752c81fd25aaf77727","datavalue":{"value":{"entity-type":"item","numeric-id":175594,"id":"Q175594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746807$74572C44-04D0-4780-8FD0-D48F07B9BA43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fd666f1bd18a49028ce4d44f5bb383ea25c201e","datavalue":{"value":{"entity-type":"item","numeric-id":2730032,"id":"Q2730032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746807$D0B4D0F9-3985-422F-9C25-D8C7CA110846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"274c9f42afbb798f6ad23f874ead576e8a013675","datavalue":{"value":{"time":"+2002-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2746807$363E0122-8A50-41D5-A22C-8882CE99B097","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746807$A4942546-1058-454D-BFF1-13B77D589CF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f31a0116862bcdc02fd8db838b602e95648639f4","datavalue":{"value":"1656516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746807$18AF55DE-55E8-414F-AA50-B643FC5E856F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746807$3CA1C089-4FD3-410C-BBEE-0CAAAEB61085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba8ae9b79ed866c3ee9a5c5cc5c202509e6d697","datavalue":{"value":"Robbins problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746807$33BA81C4-D900-4299-A400-5C7981183972","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":"Q2746807$48157C5B-929E-422B-91FE-2A0C7B3026CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94d43797d3d13eb25d822012ac3f0575afcb853","datavalue":{"value":{"entity-type":"item","numeric-id":5802117,"id":"Q5802117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746807$3136B7AF-9616-47F9-B0AE-EBDF0BE6D41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfbd9b3b9a9fb7815687a52d4ad1518508aa647","datavalue":{"value":{"entity-type":"item","numeric-id":1204453,"id":"Q1204453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2746807$37010B1C-3980-420B-8E3D-8C186BFC84C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e6943612077152e63bbf51245bd888ad98d266","datavalue":{"value":{"entity-type":"item","numeric-id":1353977,"id":"Q1353977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7e293c8900b67728f9f0c4741879f725e153a8","datavalue":{"value":{"amount":"+0.8457594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$CC23E14B-1877-46BA-B846-23E00A5B400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe227919db66e25e02c2c9191bde7e2a1fcb02c","datavalue":{"value":{"entity-type":"item","numeric-id":3192060,"id":"Q3192060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63387dbc7735d2c2fd93bcfbe68e0a51ebdc622f","datavalue":{"value":{"amount":"+0.8453448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$891899D4-BA59-4F28-9F8F-BDB7062C26B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6aa6331e328c0b9336aa66e95372eb21f7e8db","datavalue":{"value":{"entity-type":"item","numeric-id":1117842,"id":"Q1117842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30831e61b0e3bfe41b72c679b7a25ec2d28c42a","datavalue":{"value":{"amount":"+0.844767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$93A47A8E-9154-4A66-8574-7AC473BAD0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bf8bd311990b1cbc02072c50ee3d725c7369fe","datavalue":{"value":{"entity-type":"item","numeric-id":6086456,"id":"Q6086456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cce9922dd6b8ebf9f9b1db8cfc9bc78d64796b","datavalue":{"value":{"amount":"+0.8444639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$91FCDCF3-0DAB-437F-83CD-DAFCEECF7B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe489210963069fc8b30d5086c1512326d433723","datavalue":{"value":{"entity-type":"item","numeric-id":3062303,"id":"Q3062303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d0eb990ac8d7123d600300381c4afb31771dd3","datavalue":{"value":{"amount":"+0.8432835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$22FFDBFD-049F-4BAC-B948-6B3D95E3EC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2462bc456b44337390e590d4a12b5a0954070993","datavalue":{"value":{"entity-type":"item","numeric-id":3742715,"id":"Q3742715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e189bb523db5c714f3c3e50ea2d22bace2f44891","datavalue":{"value":{"amount":"+0.8422336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$6F227D60-F000-4E59-8DFF-BED4CABB14DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9a45ae46a34b1d555779bf6545791aae9e80d5","datavalue":{"value":{"entity-type":"item","numeric-id":840816,"id":"Q840816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63957a5eba835b13768cf6e3143a3a669bd888a","datavalue":{"value":{"amount":"+0.83806384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$1D04D9ED-EE1A-415C-AB4B-4BA3699409A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99735d2b06b0e8494479faee7c0820554531b58e","datavalue":{"value":{"amount":"+0.83651006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2746807$E561C0F2-1E14-48BB-97A8-77CCB0EA8A95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2746807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2746807"}}}}}