{"entities":{"Q4344698":{"pageid":6374297,"ns":120,"title":"Item:Q4344698","lastrevid":46926888,"modified":"2025-12-25T21:07:21Z","type":"item","id":"Q4344698","labels":{"en":{"language":"en","value":"Complexity of satisfiability problems with symmetric polynomial clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1036291"}},"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":"Q4344698$BDB58FC0-2B75-421E-9E17-F5BD5409ABD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e21add52d18adf1458829f040410eac092249dd1","datavalue":{"value":{"text":"Complexity of satisfiability problems with symmetric polynomial clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4344698$CA395CEB-5147-4561-9107-264C45D63300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7856dc58c95ef74398d7f72013fa3491645e628a","datavalue":{"value":"0879.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344698$C14D6B69-3DAA-484D-A4F6-90953522E3C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344698$64AE1B00-8269-4A9F-BF9A-44F4D87DAB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d07a7254909d8c1225b45b263e357abc74e5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1127531,"id":"Q1127531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344698$CCE24589-3144-48EF-93FB-4C653D312EC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad4ab8f37a90ca87e9ccd9974f355802c12e0ef2","datavalue":{"value":{"time":"+1998-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4344698$61936797-7DE9-44AC-9D2D-64A73BF757AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344698$48D4EE56-C7F6-4C56-B7DB-30DABF7FE1C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b62b3a19228ed7dc83554e4298aa92d5306fcf9","datavalue":{"value":"1036291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344698$846D1F6A-AFB4-429C-9E2C-B2EFB7607D11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f176d87ffe7a999ac6d77de73c7dc8f18d0ac19e","datavalue":{"value":"CNF-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344698$F0F2DF03-6AEF-4BB0-970A-374912B57D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c9e80036612c21ad2ec3b6579e3228fd2ea1e","datavalue":{"value":"NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344698$C121539B-4275-4E92-BADD-3987AB2B5905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c12d83d0c0523bd29d916b20bc991502916420","datavalue":{"value":"problem SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344698$1C0600FB-6A69-4A4C-B6A2-73B18A466FF9","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":"Q4344698$B4C3AEF1-5C66-419D-B663-F795511CF4B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b90f5953462c7d17b75ead560b27ee03064fdaa3","datavalue":{"value":"https://doi.org/10.1093/logcom/7.3.353","type":"string"},"datatype":"url"},"type":"statement","id":"Q4344698$B8DEBC27-04F0-484C-AA1A-1816F37935D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0a7757775fa89c71bf1ab3278fbe04bf4256d30","datavalue":{"value":"W2076477022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344698$76A0C60D-913D-44C2-B5E7-06F42FCFA399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fe348ec62bbca2a8abc2d3ea658de49b1dd6786","datavalue":{"value":"10.1093/LOGCOM/7.3.353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344698$6F5340B1-2070-489F-BA1E-9D7395466CFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344698$BB44218E-73BD-47E1-A114-365B68DAE9A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ecd180d3ecfe2479f28bacb1691fc838b4b97e","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2916bf2b75f40c36eabc175b62f02030a286e1","datavalue":{"value":{"amount":"+0.8254601955413818","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":"Q4344698$ECA2E808-8A21-4640-95E0-7FFD590249AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ea30b9dc5ce8cd9da0b26d43800808a272239e","datavalue":{"value":{"amount":"+0.8226514458656311","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":"Q4344698$47024416-3409-4EB9-985B-208099F8ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c216e01641a6f7ea45e58d744d7ba1fd6bda1e","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182695050867fe75af3d8f1b9b2b895c6a6cf140","datavalue":{"value":{"amount":"+0.8059344291687012","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":"Q4344698$BD230CE9-94AB-44FB-9037-4033FEECDE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb7be623398cf0fd264c403774e4af225a18cb8","datavalue":{"value":{"amount":"+0.7992122173309326","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":"Q4344698$AA6EE6B8-3883-4DAD-AAEE-C5E88F339F15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4344698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4344698"}}}}}