{"entities":{"Q3460631":{"pageid":5240031,"ns":120,"title":"Item:Q3460631","lastrevid":80740931,"modified":"2026-05-06T16:53:40Z","type":"item","id":"Q3460631","labels":{"en":{"language":"en","value":"Tool-Based Verification of a Relational Vertex Coloring Program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527613"}},"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":"Q3460631$DCEE0565-AC6C-4C79-A460-5CB231ABA7AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f040d0c193ad3b337a4242c88ad2a3c5f94d5bd","datavalue":{"value":{"text":"Tool-Based Verification of a Relational Vertex Coloring Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460631$E2E61092-6F88-47BD-9572-DD35560E40AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e37a4254a22a19f23c1dac9874d4c00942f79e50","datavalue":{"value":"1471.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$B07D79C6-092C-4265-8F2A-BAFEE51E2E9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9097e7958d390d7fe8c38251f7686988ca2879c","datavalue":{"value":"10.1007/978-3-319-24704-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$1AD59364-DBF3-4D65-AAA8-2CEE71474DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$CAEFC66B-AE3E-468B-8652-F0991A1EAF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$DB428FB0-4FEE-4A3C-94AE-6A4CA9972C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e340cc0c1484f747cc53f9eda4f19c78a10991fc","datavalue":{"value":{"entity-type":"item","numeric-id":246440,"id":"Q246440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$8941B2B3-0E12-4E53-AE7B-AA3FA19EC124","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$5BAD5CE9-5EC3-45C0-9679-3427A05DE20F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460631$102A1C5E-BFC1-42CF-B65F-B751032D7E94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$43F964E3-EA46-46FB-B29C-8E79646EB650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$7F64CE2F-0775-492D-94BB-C77A9562B949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$82BBDA38-D4C3-43DA-9646-C6A40A1271CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$6CCABF82-5D31-4645-80EE-86E28330A07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$2B647304-8E31-45F6-B411-5F81D0771AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$17F00173-18A5-4F94-995E-C7646DEAA566","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68c01c500cd5231baa4351ee457a33a741e51570","datavalue":{"value":"6527613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$4E0AE7BA-A11D-4100-A18C-C619CB935166","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$BCED0CDD-41D8-47AF-963F-CCF2A8B9B72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$59F46C67-BB03-4860-94AF-F331B11F4D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$6FFA849B-B407-4E82-A93F-B003CC3B750A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$E4C647F9-0D3E-4AAD-BFBA-657A367B879C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$3B8D8E6B-A757-4487-85AD-60DEC6DD4F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$4E092238-533F-4A0A-B181-2A84E2C88538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$33F8A427-8847-40C6-9354-4796FF2AC45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$F2C130FE-3819-421C-BC68-AD4E664DAD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$80EC1671-6B23-4ED6-BB87-2407C2C6864D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460631$A60832DA-0BBE-4CF3-BA09-1E4C6B6EF408","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":"Q3460631$0DD5235E-5E86-4DBC-8668-68D97B015182","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bda6681c5e5e4bb9f316a1855710c139e2e3b28","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24704-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460631$2DF43FAF-2CA8-42E7-836E-4CAADCF2BB3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a69033043cd19fede3b8e4957d55cf812a5a401","datavalue":{"value":"W2271445772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460631$8B25C0A8-069C-4659-A795-95D2662D1F9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1095fdc18db90b98c423e08f318f2370a1f4f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":3558221,"id":"Q3558221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965ce4879a95939283109a002f84d1dd6c32148d","datavalue":{"value":{"amount":"+0.8732697","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":"Q3460631$3D4EF93C-9394-40C5-93B8-19C9AB76ED94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b75f246e371908ad9f4fb77ea142907b54fb5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318794703a3cb69e96435f766ecd1389b7fa54f2","datavalue":{"value":{"amount":"+0.870177","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":"Q3460631$F7ED28B3-185C-4F3A-A61F-53A1747B6598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107d020cb152591f3a204c2b9a7a6ff140bb6a89","datavalue":{"value":{"entity-type":"item","numeric-id":4909354,"id":"Q4909354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280c7931feb2fd562437b314dc41f17366895894","datavalue":{"value":{"amount":"+0.85712063","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":"Q3460631$951DCE7F-30F2-4CEC-84A9-80AC101240A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae754f727b0a22ffbecae168bd132450dd284f5","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3dd0a825ead2d645c2c07f91f9f12232b722572","datavalue":{"value":{"amount":"+0.85428584","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":"Q3460631$7740CDBA-4392-4ED1-ACB5-BFE1D16C4090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca18593477e446a941492e57a93a9e63fb8cade6","datavalue":{"value":{"entity-type":"item","numeric-id":5021228,"id":"Q5021228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61668a4a5044dba9e6dd2b5b091202b51b296c30","datavalue":{"value":{"amount":"+0.8513293","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":"Q3460631$0425F622-2F1C-4503-BB77-827CF23A6876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae21a694301765523f3da5b99f95884cfac20","datavalue":{"value":{"entity-type":"item","numeric-id":5410484,"id":"Q5410484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d349e64f17f3ad3b6a10d9cb595e8792746f422","datavalue":{"value":{"amount":"+0.8444888","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":"Q3460631$2185CB66-1562-4B9F-B42E-86706ADCB6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tool-Based Verification of a Relational Vertex Coloring Program","badges":[]}}}}}