{"entities":{"Q2495655":{"pageid":2506398,"ns":120,"title":"Item:Q2495655","lastrevid":49868578,"modified":"2026-01-11T11:12:30Z","type":"item","id":"Q2495655","labels":{"en":{"language":"en","value":"Polynomial certificates for propositional classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037516"}},"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":"Q2495655$9A9DBCEC-8C8A-412A-BD32-189A8624C037","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d75c0f5c6d37caeb05399851989a85c8af0af18","datavalue":{"value":{"text":"Polynomial certificates for propositional classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495655$E7B93F20-B1BB-4892-B3CE-1C2FB12E9686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f279658b00f8fcf39e8181433443ab51a1f0cbf","datavalue":{"value":"1110.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495655$B528BB53-4AB9-4175-A6A3-6970AA2E3576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10154d54af98f5d7a70460df52413048558943db","datavalue":{"value":{"entity-type":"item","numeric-id":415619,"id":"Q415619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$9011EA67-1F11-4A6C-A4CC-353CD11C3CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3b2db1db868492ba508559155dba935ba549ecf","datavalue":{"value":{"entity-type":"item","numeric-id":1364470,"id":"Q1364470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$DFE9319E-499E-481F-B2AB-C2F631671A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b755c825978497d4adf56449aa5e9d265948bda","datavalue":{"value":{"entity-type":"item","numeric-id":420811,"id":"Q420811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$066E8C99-28EC-4946-8F2A-DD2D29874114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be8fb6e35685e07f3610c2a477e3fd665571740","datavalue":{"value":{"entity-type":"item","numeric-id":371199,"id":"Q371199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$AD417210-5937-4FAE-8A63-2A60E082B7CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$263146F3-FD60-437E-94A4-6D34E0A3FBB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2495655$857D4BCE-55A0-4799-9EB0-ED65B5AC5A7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495655$8A78B59E-5ACB-4F7C-8603-B567E53129E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02c21f546651b11a2c4d9bfaed7f9b05a31c49b3","datavalue":{"value":"5037516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495655$0E4716E8-C12E-4D8B-8B4B-E448C753F8D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60837f9d71a809867244531e02c3d2f7c74e3c86","datavalue":{"value":"monotone expressions in Conjunctive Normal Form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495655$3FAAB922-B2B5-4F19-94D9-E4756C018671","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":"Q2495655$80B900AC-A0B1-459A-8C64-C2195C8A6677","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caee3064d51534aee4fea5eb5e2d2fd332bebfd2","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495655$A55263E2-0C81-40F8-B483-7DA6F659DDB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fb9b5daaaa069ddcdddbc4ba5e3288e0e9820f3","datavalue":{"value":"W2163148061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495655$FB3D7B24-081C-4475-A821-B5B231264A73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$19FF3BDB-BCE1-40EA-9D58-C1882A87E7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$C729F886-0158-4031-9A37-89E4F31B1232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb01b5e273a43c6e5f8af95d2c5d32adc089d9fd","datavalue":{"value":{"entity-type":"item","numeric-id":1426146,"id":"Q1426146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$17D6A200-F4CF-487A-9A33-62242EE95EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b641bbbe65865e32875245397e8b7f769aaadcf","datavalue":{"value":{"entity-type":"item","numeric-id":1854564,"id":"Q1854564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$E4A8731F-EBF7-4BB3-947B-3EE17965A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e6f47492bdd8201b1c4524a7e487e40491db12","datavalue":{"value":{"entity-type":"item","numeric-id":5897176,"id":"Q5897176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$4975501A-876A-448C-83B3-401962EDB71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d52bedc8cb8b2f88c7ed324213463aeb4d76ce","datavalue":{"value":{"entity-type":"item","numeric-id":5305876,"id":"Q5305876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$C4DAD970-B995-4A62-B7B4-C832FF9A2BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61996a8d4d47246500aa365d346248f0b75d4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5464513,"id":"Q5464513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$B9553870-9DA2-4E0C-B410-F0E991EDC897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a7dac8a0a3d5ce0ef24c7d74b9068115d4cd87","datavalue":{"value":{"entity-type":"item","numeric-id":4370231,"id":"Q4370231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$3DD4BB19-8181-4AF3-B37C-018F7ECB8B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd888d5ea6a1ef8ca99057012f5ae24bc48ef4e","datavalue":{"value":{"entity-type":"item","numeric-id":4955302,"id":"Q4955302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$96D3981A-28F4-48D9-AAA0-94340338E158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$25CA8621-D306-4C0F-A21D-2D4CA9B7F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07009b385fbb4865e279e70b784c73accaf20d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1389603,"id":"Q1389603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$17A9E9BE-CAB5-4E5C-A60B-CE510C17037C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c761d3bd0f8e386be26d628a39fa22863f3afb6","datavalue":{"value":{"entity-type":"item","numeric-id":1342231,"id":"Q1342231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$706C53BE-C383-4B9E-A08B-E5F56BE407A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e08c94ad92956516d6a6ae4e35c6e7650070cb","datavalue":{"value":{"entity-type":"item","numeric-id":1383160,"id":"Q1383160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$57DB83C6-1573-4EDD-A05C-461F59942DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de3f94aa4a545403194d4966b2f64b9038aa159","datavalue":{"value":{"entity-type":"item","numeric-id":4371689,"id":"Q4371689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$B2E22C69-2006-4593-81F3-CE461A3219E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ef8eb2c8557aa69a4a728c8ca2dc1d42abb23a","datavalue":{"value":{"entity-type":"item","numeric-id":5901048,"id":"Q5901048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$AA94F993-39AB-45DB-A240-1282C569780B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$7CE1A055-2826-4FDC-B783-E515BBAD611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7960921bc51107bda5c4190efdf4cfec6448deb7","datavalue":{"value":{"entity-type":"item","numeric-id":1969319,"id":"Q1969319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$4EA3AF2D-9DE6-4AFB-8969-31F0A0B00F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770462b766b46565e7be9d6abea27d109e3bcff2","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$54FFEE62-7816-451C-940B-1ACBA374DA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45e4d6374c4f91ecdf327bb22ec7ef3fce27e54","datavalue":{"value":{"entity-type":"item","numeric-id":1961325,"id":"Q1961325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$2D13216D-2AC0-4325-9121-86798A1276D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$9693F675-438A-480C-8ADA-3A56B426FF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce39a549f256d22ed5e1331ab397faa12cfbde2","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$6E0F2F06-6441-4EF7-8532-C54A3C9376BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495655$690AA1AB-B4CE-4FA6-BD6E-550CB404195C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1e703caafb956f0fb35fdff986296ab2b477f85","datavalue":{"value":"10.1016/J.IC.2006.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495655$12610FDC-5B1E-42D7-BC43-B62EC5A6DF89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874058a2673893db15ce2d934fd18b43de523b8d","datavalue":{"value":{"entity-type":"item","numeric-id":5305876,"id":"Q5305876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecdc9241fc9c4bfdbff84130973aa53589bcc80","datavalue":{"value":{"amount":"+0.9711798429489136","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":"Q2495655$23504C9C-B599-434B-9A27-2A0DC5E2F4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95662c2f7f95831d7379049b6ea2c0954f4e3e43","datavalue":{"value":{"entity-type":"item","numeric-id":5053056,"id":"Q5053056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8a95e91eed15078f9b69d6cede792c36dd31e0","datavalue":{"value":{"amount":"+0.7814881205558777","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":"Q2495655$A91177AD-E484-4D31-9D54-845A8B3387C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb497295bb6bb679fd5fbfc6f2ee64ce7c35dec7","datavalue":{"value":{"entity-type":"item","numeric-id":1383160,"id":"Q1383160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e0dd558d6f500a50e54ee84389afbe1d002448","datavalue":{"value":{"amount":"+0.7792046666145325","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":"Q2495655$02E27EA0-55EE-41C7-8DB9-4B52798F3205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebc9712d61c0487d7b5786ff65e42e1ba5798b3","datavalue":{"value":{"entity-type":"item","numeric-id":5916223,"id":"Q5916223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e0dd558d6f500a50e54ee84389afbe1d002448","datavalue":{"value":{"amount":"+0.7792046666145325","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":"Q2495655$4EA69615-13C3-421D-BBD4-6315066D7C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d512493c6d3002173703a1ffde31418e93eedc","datavalue":{"value":{"entity-type":"item","numeric-id":4234065,"id":"Q4234065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e2564bdf3aa70a37158e0328e70b504be2225f","datavalue":{"value":{"amount":"+0.7776429057121277","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":"Q2495655$B6C72281-0274-46DE-9A45-D5A440B78B17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2495655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2495655"}}}}}