{"entities":{"Q3510977":{"pageid":5540881,"ns":120,"title":"Item:Q3510977","lastrevid":50401082,"modified":"2026-01-13T23:37:46Z","type":"item","id":"Q3510977","labels":{"en":{"language":"en","value":"A knowledge-based system for graph theory demonstrated by partial proofs for graph-colouring problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297491"}},"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":"Q3510977$FCD136D4-C952-413C-8DD2-3441E14DCA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0950c0709d26295196ad692cd591ab2cd70dfb50","datavalue":{"value":"1141.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510977$172AAC37-05EB-46A8-A8BE-F6A5E32493BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc07cfd28b5eedd0ff9795b5630984bf237062f","datavalue":{"value":{"entity-type":"item","numeric-id":1121276,"id":"Q1121276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510977$0C58AE91-9D70-495E-8073-446F53305A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96808ec2b5088e80297b25b2cbc13c394f973749","datavalue":{"value":{"entity-type":"item","numeric-id":311558,"id":"Q311558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510977$A19386AD-5852-486C-BD6A-086CFC6DE7CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510977$EC84CC2F-C67D-414F-B217-FCCB0246BB57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510977$5BA815A7-360C-4786-AF11-197A7CA67A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510977$1D5F6AE8-52D6-4D53-8D73-4EBA832EDC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510977$5A198356-C682-431B-8D7D-10E1530AED2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"887662dcbbf2243fd3a7d3b06f4e4c5a58dd27d2","datavalue":{"value":"5297491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510977$3149B300-B423-4447-8F8F-1D93C93CE69B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ec6d3e1136a422d81b08fffe32e3ba9f07b9cd","datavalue":{"value":"graph software","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510977$6B08551A-12A8-4402-B03C-0E9AD358C937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9959f4529f084c9f1a7ebc0e808ee60a0113928f","datavalue":{"value":"chromatic number","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510977$B7B19B66-493D-44EF-AE77-BF4CD00FD3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8988f79e6abae0a69a1b31a138758e595a65f351","datavalue":{"value":"conjectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510977$33D7AA8B-BF66-496C-86AA-349B4F6CA802","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7fade21961c734b5035092ee0797e44ab71a740a","datavalue":{"value":{"entity-type":"item","numeric-id":13815,"id":"Q13815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510977$22806EAF-9345-4932-87DA-92D318A12F23","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":"Q3510977$44CA7A59-4A49-4274-A86C-42BD208B26C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b24d5838eaae9215165fb0c10d8a9e569b8ca3a","datavalue":{"value":{"entity-type":"item","numeric-id":3976797,"id":"Q3976797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e0053406fe77d9155da7c67f46e8749bad10df","datavalue":{"value":{"amount":"+0.8869357109069824","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":"Q3510977$7D6C8845-DEC6-46BC-8524-D9CD3BF349B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987d45e8f2e33fb0c4c91657cb9cf402401c66a7","datavalue":{"value":{"entity-type":"item","numeric-id":3315555,"id":"Q3315555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9024370bf63244d22e12e2ff79ef1170a438d883","datavalue":{"value":{"amount":"+0.7777132987976074","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":"Q3510977$6C51C3BE-AEBB-4C7A-8243-FC00693C4A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8d7882cf2a6c6da14987c016bb379b7b8d3702","datavalue":{"value":{"entity-type":"item","numeric-id":1104124,"id":"Q1104124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afeb9ebbeb3d8a49cffd62a98b2e064b1990c5d","datavalue":{"value":{"amount":"+0.7498332262039185","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":"Q3510977$F5D8F76C-85D8-48A7-85CC-55F607B2EAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f07d5308072f64ca9e61e400524bd318ff5a52","datavalue":{"value":{"entity-type":"item","numeric-id":3722511,"id":"Q3722511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a60d2e9154bff65679e207260f21554ce37a273","datavalue":{"value":{"amount":"+0.7379142045974731","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":"Q3510977$4A5B5BCA-C77A-41DE-A26B-7A626061C9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bb56130477d532bbcc8addaa769c01371e53f7","datavalue":{"value":{"entity-type":"item","numeric-id":3684166,"id":"Q3684166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cb6fd180cef5e528af5837d5c68146cc6f12e5","datavalue":{"value":{"amount":"+0.7332231998443604","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":"Q3510977$CD215E56-5A25-4B5E-A542-CFE15F13A598","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510977"}}}}}