{"entities":{"Q1964360":{"pageid":1975102,"ns":120,"title":"Item:Q1964360","lastrevid":47443102,"modified":"2026-01-01T18:40:05Z","type":"item","id":"Q1964360","labels":{"en":{"language":"en","value":"On \\(k\\)-positive satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1399530"}},"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":"Q1964360$1D54FF09-D017-436B-B8E8-9B08D79ABE40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25219893d82c59bf9e5b449d8b62185b5c722872","datavalue":{"value":{"text":"On \\(k\\)-positive satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1964360$4968E9A9-8026-489C-AA97-04C86082B602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc1c5a669a476cd393c166ba74fb3f7189f64eb","datavalue":{"value":"1084.68889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$34EDEDA0-BB92-41C6-B1B6-DAFE0BAD8C50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b4cf3d10ecd3b6d160c825c2d75ef17e0fc51b6","datavalue":{"value":"10.1007/BF02948732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$39FD1313-64CE-4259-92DB-D52FEA6B859E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5caf1c2685f9c6e7c5a9276ed0aad72d3ea2c5da","datavalue":{"value":{"entity-type":"item","numeric-id":1433997,"id":"Q1433997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$B36AAD01-FE5B-420E-BA9B-3D3502E9DDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$2E8ACD98-69F9-4DF8-B9C2-C87E12D950B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$CAD15BAB-81D0-47DA-BC49-B8AF7DFB0E59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4807edd6e640ad656e01e00a44b61d620e873df6","datavalue":{"value":{"time":"+1999-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":"Q1964360$15961D71-917D-4F57-AE84-C56AAE7155C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$535CC7BB-CC49-44FE-8476-C736433A36A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$0A8FF18E-0A81-4ACD-BE88-3F53514680A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$D7F46AF0-EC47-4D2C-BB23-E930EBCDCBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$04EF1CBB-C3BC-4280-946D-D8CEDDA75AC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"100fffa9351ec0bfeda95120dfc920f2292524c7","datavalue":{"value":"1399530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$28C09161-0566-447B-B850-84DAECF19CDD","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":"Q1964360$DCC0F5C3-6664-404A-A9F5-1E2A41AF226E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$083228D4-A69C-47B6-BAB1-34F4D7961DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$EEEFDFE9-3A51-402D-81E8-073D3F63A754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$0455A8C5-87C6-4A04-9668-87CA86E42DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$6EB4F73E-EBEB-43A3-A12E-CAF95F11C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$767DB82C-E302-4E69-9F6D-2EE15605FB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95d11951a8791c3fab2ea8429076d51956a1c28","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$CBAE5F54-1B93-4AC3-92FD-5E6B4527C487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164930c80e191c797775caddd7ff2ab697a9d72","datavalue":{"value":{"entity-type":"item","numeric-id":672138,"id":"Q672138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$11D17BB3-5747-4818-9367-93461E76F39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$EA1AB4F3-86E8-488A-B1D1-AEB8FC188EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddae42721643d87fa0fa62e8eb51411c2aac507","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$69A30C2A-9FF6-476D-A3BF-CBC5635F3E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdd859bc354d1d544f6cca6d0daad719399caf9","datavalue":{"value":{"entity-type":"item","numeric-id":1318709,"id":"Q1318709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$93E4501C-D8B6-4945-A4D4-E573B5017C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964360$4C810289-B734-4920-B670-1679348BAB2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46cf408e9dc4917b3576d439d1b97086f9aefb59","datavalue":{"value":"https://doi.org/10.1007/bf02948732","type":"string"},"datatype":"url"},"type":"statement","id":"Q1964360$AC330653-A11F-452B-978C-F81E198F52D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f23ed98302fe07e697ed252ade2fe14f0d127a70","datavalue":{"value":"W2038049006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964360$7ED16718-5E16-4BE4-AD64-1E938B2737F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18530b07371d40540bfd922eb0174f4964b6a227","datavalue":{"value":{"amount":"+0.8483923673629761","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":"Q1964360$A741FCA4-7C4C-46E5-B126-1D10607E5C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68dd49e8d790217f4c6e141204af1920c329f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c890d9b7db512b6d6b82c2be4be60dc9358f7f","datavalue":{"value":{"amount":"+0.8232307434082031","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":"Q1964360$3ACB870B-C2B7-45B4-B540-1A283534BFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a925a970a0df41f0a5c8293e886e68ad2b96fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050c6010f38f4261a34164ed0131b1c71d1892ae","datavalue":{"value":{"amount":"+0.8220862150192261","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":"Q1964360$E4460E3E-0388-411F-8D08-7BE0ED2D6BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e5a5770bdd285cf8e690dd1b104b3917e17995","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dc5c0c058a1de7b394b54b089a71f807d26bdf","datavalue":{"value":{"amount":"+0.8208720684051514","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":"Q1964360$06CEF364-5F0B-422E-84F5-FA16FA3ED209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e71ec6d5818be155ce912e7fd92a0a08ff2405","datavalue":{"value":{"amount":"+0.8167030215263367","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":"Q1964360$5A1C9C3A-A398-4D4C-8AF8-7731ED270E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1964360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1964360"}}}}}