{"entities":{"Q4420420":{"pageid":6450019,"ns":120,"title":"Item:Q4420420","lastrevid":89448440,"modified":"2026-06-04T17:23:31Z","type":"item","id":"Q4420420","labels":{"en":{"language":"en","value":"Testing satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965128"}},"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":"Q4420420$765F5891-37D9-4ED4-BD71-5AE30E65DAC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"427446b50a6166ad45075c428ab1be9d7da2af09","datavalue":{"value":{"text":"Testing satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4420420$4C6AA1AB-9CBF-4788-8135-DC663C69DDA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eba3300d98917105acfff766aee1929cce7b5a1e","datavalue":{"value":"1045.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420420$27DE8BD0-CB30-4203-B3A3-2FDBAB238D0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7235c419b46ac842080b262be9cf22181362195","datavalue":{"value":"10.1016/S0196-6774(03)00019-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420420$4087384C-1780-4BC3-962D-D83F2D241BF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c61d0b4df374523ec5b59f8a7d6c81266878fe30","datavalue":{"value":{"entity-type":"item","numeric-id":178698,"id":"Q178698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420420$60D17E95-568E-4B8F-8E5D-ED1A9E45EA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63374f39c7f9618158f0fe867382b7bf912eea01","datavalue":{"value":{"entity-type":"item","numeric-id":313428,"id":"Q313428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420420$32F617BC-AFFF-4F4D-BC5F-4A9B50DC85D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420420$70BEF695-F55C-478B-AE96-60E6BFE82E6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4420420$1D1E56AF-939F-42C1-B66D-FB2058FE4ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420420$136A3F97-D8CD-499C-997A-3DDC8612AEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420420$C089E457-C666-44C9-B08F-ADAD1B1C3782","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"220ea2bb405c920bf90ae6997e11332fbb0b5414","datavalue":{"value":"1965128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420420$531FCD6D-99D7-4619-BF53-5E81137E3C24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8de9d298aa066bc7a9f84969fb2f0e1dcf03aa4d","datavalue":{"value":"Property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420420$7DFA2068-E13E-48D2-84A3-CD3E3AE9D65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420420$AD783337-F38D-487B-8A91-B592AAA1856E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed0fc8fa41b1eeed3bff08469940d17a565423c","datavalue":{"value":"Hypergraph coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420420$13F4851E-EA1A-4108-A64A-A1BE6A11E772","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":"Q4420420$A844D9EF-6823-4668-AE87-15855AAF5DC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0509788a4b170fafaeca8fc76b4a2a1f9a92620","datavalue":{"value":{"amount":"+0.8879625","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":"Q4420420$B83EEACE-BAE1-479C-B8B4-231FB8FD8160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bfcd7c99538f13f94bdcfe38328212eab1a212","datavalue":{"value":{"entity-type":"item","numeric-id":5939378,"id":"Q5939378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa7b5e2cc9bb338d5609765b549062bef0eab61","datavalue":{"value":{"amount":"+0.8830366","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":"Q4420420$092B4298-9665-427C-9DD8-16FAA1B05205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1205919f8ab2fb88169eff5a1794a50ed3d15e0f","datavalue":{"value":{"amount":"+0.8607635","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":"Q4420420$2FDC2E00-CD3A-4D8C-9FDC-8CDD16D4362F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46ec990cd9a3ce6cac4ee58ba574342be6bfc13","datavalue":{"value":{"entity-type":"item","numeric-id":651313,"id":"Q651313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae4716a8a6359f4c6c2d396cd8e3a5faf5241b9","datavalue":{"value":{"amount":"+0.85886437","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":"Q4420420$B9FFA71C-1D6B-4F62-8D71-AA303C4176D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43f7937b89e125cc82d25728422e7f4f4948ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4036283,"id":"Q4036283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6bd578d062dee9268a29f05fc5232b0fb0f1e6","datavalue":{"value":{"amount":"+0.8582087","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":"Q4420420$2CB6F067-3208-4686-A4ED-267F26D8D0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650fb4121216a624ee646be9799d3418d3867838","datavalue":{"value":{"entity-type":"item","numeric-id":4571125,"id":"Q4571125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8972010741dc0f08bf4b8d7398bab45f8cfa3389","datavalue":{"value":{"amount":"+0.8541756","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":"Q4420420$6CA4BB49-3A0E-4A21-A4EA-6DBDEE9DECE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0810148c40a92c990df16da2d5e65d93968d96","datavalue":{"value":{"entity-type":"item","numeric-id":5268815,"id":"Q5268815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f601179db5d2fb39163d6eae20b790110b8432c8","datavalue":{"value":{"amount":"+0.8491646","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":"Q4420420$F8B189C0-EC78-4209-8A9A-302DB77B1404","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing satisfiability","badges":[]}}}}}