{"entities":{"Q3783626":{"pageid":5813532,"ns":120,"title":"Item:Q3783626","lastrevid":52592096,"modified":"2026-01-23T01:39:46Z","type":"item","id":"Q3783626","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047184"}},"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":"Q3783626$0AB6FC57-4C67-4534-B2A9-6CF8BC348021","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f472de94154b4082b9dc659fb851188081afc17","datavalue":{"value":"0642.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783626$24961F1C-3690-4E26-965F-036B88D880C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e579dae62041ac77db78fc6ce4981faa1b62a0","datavalue":{"value":{"entity-type":"item","numeric-id":3361922,"id":"Q3361922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783626$3D3F9AF3-2BC3-4B8D-9009-59FFED8FF275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18bd348a4598e252cce7b5078bb1da2101ee18d6","datavalue":{"value":{"entity-type":"item","numeric-id":3336685,"id":"Q3336685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783626$82098D9B-BD45-4462-A962-51FB52860367","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3783626$20536545-1E1B-4363-9F97-38EF352C8E3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783626$3C57DCB0-D57B-4353-A69D-864CF28177E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6ab5c4257a9430a37c50c9be8f86bf7545e9c9f","datavalue":{"value":"4047184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783626$24784B38-7256-4EC2-9929-37100D66C182","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783626$26839722-849F-4C9B-A17C-B1EF5A30BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459a96d331c0edd6fe4d979c724b708effab077d","datavalue":{"value":"parallelisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783626$8F243CAB-1AB0-4084-A879-B95450009E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddcd4a552c206c38806b2e0fd2cf8d0ff2d69e9","datavalue":{"value":"connection graph refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783626$B8E96315-7723-4584-90F4-E2371E4B84D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783626$7995A2CE-551B-4E2C-B525-2F49B0BFE80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc3a4679b947a154f3c08988383c97aff7df31d0","datavalue":{"value":"sub-optimal graph coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783626$844799B0-B998-4FEF-8F9F-783DAF0F6B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1fc9a8b4108772a5f3d82e4b53e79cf2b0e3d59","datavalue":{"value":"sun clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783626$44E70165-D950-491F-8E1F-35496AC2D5CC","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":"Q3783626$70D0EE8C-36D1-4049-9A60-8DF3C22854E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875cc4f73fb74be10087e96ba425671d4de768ef","datavalue":{"value":{"entity-type":"item","numeric-id":1595925,"id":"Q1595925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac41ac41fc7237138ad9d9fae795e891da3d729","datavalue":{"value":{"amount":"+0.8102090954780579","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":"Q3783626$0C065298-C755-4898-9C4F-7D23CA3F1400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a971cb69f3ee325b28cb4cd3052ed1093d23738","datavalue":{"value":{"entity-type":"item","numeric-id":1189725,"id":"Q1189725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d3fbf6e49f73d9942177be7c486e74798295ab","datavalue":{"value":{"amount":"+0.8052994012832642","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":"Q3783626$299E2FC9-6B43-4E0A-A8A7-41CDE0A0CE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dbf6de875b2deecc322a14efb9e5b03609ece","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c60055694b4ac807ec8826675483803fdf52dd","datavalue":{"value":{"amount":"+0.8020272254943848","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":"Q3783626$C0896A24-1381-40C9-8C32-2A3F571CC00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab78b3418a17cf8198bdcf63569f7d39c821691d","datavalue":{"value":{"amount":"+0.789256751537323","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":"Q3783626$52B4EF11-2EBE-402F-BEA6-D64910055492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc0626cd3fa6a38cbe12563c26e9aa91bb99318","datavalue":{"value":{"entity-type":"item","numeric-id":4524776,"id":"Q4524776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781b54163f19109b7ebb3cbe0448dcea3d0786e5","datavalue":{"value":{"amount":"+0.7863826751708984","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":"Q3783626$F8993493-775E-472D-A0F9-D9477A27646C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783626","badges":[]}}}}}