{"entities":{"Q1751204":{"pageid":1761946,"ns":120,"title":"Item:Q1751204","lastrevid":53088341,"modified":"2026-01-24T04:59:46Z","type":"item","id":"Q1751204","labels":{"en":{"language":"en","value":"Recognition of tractable DNFs representable by a constant number of intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6872117"}},"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":"Q1751204$D5ADBEF2-EBB6-4F7A-9F09-F1E2E5B22107","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d1d3c17187e37467d18cc49e5b77ecbbebeeb8","datavalue":{"value":{"text":"Recognition of tractable DNFs representable by a constant number of intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1751204$54BFE0C9-763B-4D6A-88B1-CEB7642950DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99f322d46934526791d32532913129f8261c253c","datavalue":{"value":"1387.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$BF63FBF3-E574-4A12-8D97-BA19D8D002C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db66f8f8eeba705ad18f41f8ce73717dd91f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":392183,"id":"Q392183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$D1D1D7DE-1406-4B78-A9AB-0CDC5F557806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e60cb925fd4dc957dd583944a87ae48573892fa","datavalue":{"value":{"entity-type":"item","numeric-id":1689985,"id":"Q1689985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$31D5A6FC-A812-40B7-9418-BF4A9B218853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38a7711cbf1baaa0ee796eb33cf4a496b343c914","datavalue":{"value":{"entity-type":"item","numeric-id":408368,"id":"Q408368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$B2616439-2FDA-45B8-A1CA-8881F6194384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c597f58fee4116e99c26124cb0287e47f96a30d","datavalue":{"value":{"time":"+2018-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1751204$EADFE676-B3EE-4D26-B95F-DB7F6B14082D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$9E9B904F-BBFA-4DDD-A92B-D11B2AFB9A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$064ABC4F-BD98-4B57-A344-44D53D7581B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$EBC33737-718D-454C-98BB-6FC5C83246D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$839BE2DD-14E4-4F89-BB5B-5C2F16ABBCF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a63312b784bbff8ab7ee85d79f72fa1c107a87d","datavalue":{"value":"6872117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$C00FF142-A18D-4FA5-935D-723AD5B28633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751204$EA0682EC-182F-4C52-9087-9BFCC94A686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8f5e6e03f11488934534d2be941bef157a3d19c","datavalue":{"value":"interval Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751204$5A1991C8-9518-4E31-8E27-A0E3E0D2D572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51176d6ab6a2bfd9014bb0739f50697325704bb6","datavalue":{"value":"disjunctive normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751204$946ACBD3-F5A4-4BF5-8198-B0749272F386","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":"Q1751204$ADED5C2A-5730-4B43-B48C-8F228671EE92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d33b5b994fe5f005b3849039557c800ebb18302","datavalue":{"value":"https://doi.org/10.1016/j.disopt.2016.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1751204$274B3360-9B3E-44A7-8EE8-FAF6825FD8EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4c2ee0e469145516e032d5fc84cb9667ea34fb5","datavalue":{"value":"W2561407776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$AD632DC0-4317-4B1F-BDFD-141EC6C60C91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$95132512-192B-4638-B465-35AC5DC77AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a349699896be7f708c75cd8cbcc21079b3b35b48","datavalue":{"value":{"entity-type":"item","numeric-id":2387437,"id":"Q2387437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$6A1F0B0E-8ACF-4550-80F3-FE5D423F880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbb216e0ab0870b044917ab61a7d73bb7c44952","datavalue":{"value":{"entity-type":"item","numeric-id":1029585,"id":"Q1029585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$7613D13B-7365-4D71-84DD-3F57BABEE130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d606ca29a316c6d13ac236e9ee6da4bfadd6eb91","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$318D86F4-355C-47DB-8FD8-ECDB07385522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a3e052346b3e42c07257c51858e7ff99f9837","datavalue":{"value":{"entity-type":"item","numeric-id":3738576,"id":"Q3738576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$FF6235C2-4E99-4177-9EFD-3A4050B1E33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$E3CAA219-4182-403F-8B18-460A48A064D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc7b66227eb2f8356bb3b06aba66b8bb1b26c5e","datavalue":{"value":{"entity-type":"item","numeric-id":392185,"id":"Q392185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$E7E42DAE-FA04-44BD-B616-3BC47FE2F9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9993530cbe9b57faeca324c52f8d642e4f2cb2c8","datavalue":{"value":{"entity-type":"item","numeric-id":693287,"id":"Q693287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$040AE529-931F-42A2-ACCF-46AC0AD0E0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53de941dbfdbe6c98eb51a8d62862856e2ebaf56","datavalue":{"value":{"entity-type":"item","numeric-id":1277344,"id":"Q1277344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$1A937BEF-209B-4D6E-817E-081CD3E0E7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d67a0d6c4342b82a65d0804883d6aee473c73b","datavalue":{"value":{"entity-type":"item","numeric-id":412324,"id":"Q412324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751204$2FCE05CE-E453-4DD5-8B0B-C8B7C9FEDD04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"202ed15cdc09e195a950875c93f468de0a3f84d0","datavalue":{"value":"10.1016/J.DISOPT.2016.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751204$F640E39B-9A3A-4957-9F4E-21C00D4389CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60490b47146aa83b90e358bcd9d8b7026bfc9209","datavalue":{"value":{"entity-type":"item","numeric-id":5130011,"id":"Q5130011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdba04d8c1731030f1ddc119918b77bd11864b86","datavalue":{"value":{"amount":"+0.7983944416046143","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":"Q1751204$5D116D65-BD82-4C8A-9000-B8E23D6D726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba4f763e2b03008f6a8a648e423c697321f8494","datavalue":{"value":{"entity-type":"item","numeric-id":1029585,"id":"Q1029585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d6c231bc3657016a117fbf0afa1065675f7a03","datavalue":{"value":{"amount":"+0.7976634502410889","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":"Q1751204$3C00C32B-CE1A-45DE-9BFB-375FF9D38B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b55ccf5083d8d44a16d7b5ddcf7ee4bd5702a0","datavalue":{"value":{"entity-type":"item","numeric-id":2387437,"id":"Q2387437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcabcdd5343bc7ad48558d5e0d756194682f469e","datavalue":{"value":{"amount":"+0.7641609907150269","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":"Q1751204$A33CE475-2FB1-462C-B0E9-F7CC42F4A1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a7f684d798482dbb8a1753a91519455ca329cc6","datavalue":{"value":{"entity-type":"item","numeric-id":646713,"id":"Q646713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568b001d681fd413016afdf89bc48affce166d0a","datavalue":{"value":{"amount":"+0.7464382648468018","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":"Q1751204$6D66FAAF-EADF-4003-9BF2-E40447A5CFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09732858e054a1880d9e7f3548303568393e59bf","datavalue":{"value":{"entity-type":"item","numeric-id":4015277,"id":"Q4015277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d583532b29c955e0581155abba8e0f3a689b2ecc","datavalue":{"value":{"amount":"+0.7234504222869873","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":"Q1751204$E9D5ED04-3416-49EC-9979-7EF0B55C6689","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1751204","badges":[]}}}}}