{"entities":{"Q3894960":{"pageid":5924865,"ns":120,"title":"Item:Q3894960","lastrevid":88888136,"modified":"2026-06-04T15:44:54Z","type":"item","id":"Q3894960","labels":{"en":{"language":"en","value":"The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3702110"}},"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":"Q3894960$ACBFA9FB-70AF-4A2A-AAFC-B66AF286FFBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dcf783178ad440b340cd613905e19f294f8c983","datavalue":{"value":{"text":"The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3894960$03AE2A76-6812-47EB-9184-351E9CFE34BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78673d9f23ec29d00374ceee6f12014373c7caf9","datavalue":{"value":"0448.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$6FAAC502-9821-40F1-8004-B062BDFD58B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2a148baacce04ea3da546fee7b7ee398f8cdf0b","datavalue":{"value":"10.1137/0209054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$0449FBA4-330C-4D35-8673-3ABD1E8B987A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3894960$4942AF9C-4161-4F52-A950-75307C6FB330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3894960$1882F9A6-DAE7-47DD-BA64-CF3DE31B2562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$D1F9F965-6A38-4621-BF48-29C079F7FEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$2EEF529B-7576-4492-BE13-064210E0C5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$C8A4161E-6E3B-421B-A669-FB1951A6FBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$3D31101D-E67E-4144-9419-6E73C89CB2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$CC7A5091-8D92-4D91-90AD-FC943B4FF294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$83F243CD-1263-4A93-8DE4-AE11B840BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$299E1AEB-31D4-40B6-A658-EA7D968F5FA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee034acbc26dd6c8621d20b36222f8ac6d95cba3","datavalue":{"value":"3702110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$A1386E07-9381-47C8-9555-E7EE84BF6791","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b042f47b6553e40783255cfd594d730e12462b7","datavalue":{"value":"unsatisfiability of sets of clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894960$02A222E6-5CCA-423C-BE8D-FD94EBD58D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ce66c7451c866327d010b177d3a73ec469b0b0","datavalue":{"value":"polynomials in several variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894960$F909D03E-8585-47E1-8FC8-878381B1B040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6954ef7d182bd30917a282d5068f63d0a86c6814","datavalue":{"value":"convex region of Euclidean space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894960$DADECF08-079D-4CC0-9F2D-950FBAD9BD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894960$8F4DDC54-9B5F-4D8B-8948-AE0414E2A9BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3894960$8B879873-0F92-4F45-B42A-53A188D5335A","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":"Q3894960$F4F5AD21-85F1-4F4F-83FE-76C7A1391CAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a9726ff05b9602c400d52deea4c9f6da76f5210","datavalue":{"value":"https://doi.org/10.1137/0209054","type":"string"},"datatype":"url"},"type":"statement","id":"Q3894960$493CE8E6-36A8-4716-B67B-4C2D05CC619E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce09674e99dcd0af5e59268e0ef666e118fe83fc","datavalue":{"value":"W2017575500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894960$DBE62A2B-C070-4681-AF0A-FDED9D5B4BAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability","badges":[]}}}}}