{"entities":{"Q3612463":{"pageid":5642369,"ns":120,"title":"Item:Q3612463","lastrevid":80930081,"modified":"2026-05-06T17:19:38Z","type":"item","id":"Q3612463","labels":{"en":{"language":"en","value":"Satisfiability with Exponential Families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527205"}},"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":"Q3612463$55B48645-188B-4D23-82D7-10582D1D4080","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d27f0bc4e302ecc6166d19de681c051f055a2225","datavalue":{"value":{"text":"Satisfiability with Exponential Families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612463$0F6E8310-DB33-4E9E-8F97-F2FFF36B85ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9da8c264eac6d3610c55abb999deb584b78a0c6","datavalue":{"value":"1214.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$D97FE28D-60D5-4490-88B1-EA55D822C63E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eed42ddc1b3c86ea01511b4e6fcaf67160f5c107","datavalue":{"value":"10.1007/978-3-540-72788-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$25962D8D-86EB-4870-86FB-20C0B2CF3C13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612463$4B26B8B8-CC41-4804-BB9D-CF00A3233427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85b24d3cfcd28f3f60e7f34841a26b85b918b979","datavalue":{"value":{"entity-type":"item","numeric-id":834614,"id":"Q834614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612463$33634B7D-A927-475C-9C96-19AD34F43913","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612463$4DF91093-6DAE-41DE-9F8F-890207A4C62A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612463$CFDDC6EE-A777-4EFF-BF49-2B947FEAC03B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"141aea48a103c7afd1be8879be8a10eeadeb8061","datavalue":{"value":"https://madoc.bib.uni-mannheim.de/41138/2/ssat-postprint.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612463$70EDCE08-B7FA-4741-9CF7-B8C03A080478","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$1D1D6AA5-E24A-40B0-943F-33B3B589AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$2969EFA8-0641-41A0-8FA3-83CA3CC4FA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$78D17D7D-4345-4268-A455-6F2070733E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e8b72f56ddb2cc8d9d6f9bfe70b0e2017d7bf5c","datavalue":{"value":"5527205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$CE92D8EE-EE97-4A6F-8E2C-C0DAA2C8E93A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612463$41878DED-200C-4605-A4BE-A33BB18A4D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612463$5076F47C-DB74-4712-BB4A-E532B7AB8123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40dfb25b9dc7aa9fd8093db5d6b661320a1cf8af","datavalue":{"value":"VC-dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612463$3080750B-8650-4C5A-83F0-4417B1E31ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612463$2A1861F8-764F-4D25-887A-1954E2C288DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f206c66891d4e40fea575bd99a0755ee5db1422","datavalue":{"value":"polynomial circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612463$63F2B195-623B-4393-9D21-082F7027F9E0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e171b67f3887a7338a9a46d73bf0456659ef4d32","datavalue":{"value":"Q56475824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$4C4D1298-BF01-4096-8D76-4F2C93AC74BE","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":"Q3612463$274C6099-11C3-47EF-AB1C-F93B8E00A29B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bf05f0806d4b456a125c2f9090a6f7ad390f4ee","datavalue":{"value":"W2095678014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612463$90150FFA-6929-4AF0-9C45-40F4130B785C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb30208f77df467623f4ae5e8da6fd11a46bf8c0","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7ab2d10dd25340606673f3a26253aa828cb99c","datavalue":{"value":{"amount":"+0.7907512187957764","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":"Q3612463$27EAF3CC-48B4-4B25-8D74-C50C01032D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6a9840034335c4de344169f12e12a5c7c6d978","datavalue":{"value":{"entity-type":"item","numeric-id":5741801,"id":"Q5741801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7ab2d10dd25340606673f3a26253aa828cb99c","datavalue":{"value":{"amount":"+0.7907512187957764","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":"Q3612463$250FAB0F-7978-45C1-A076-5827A775BF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8b308bf65c969dbce03437cfdf931b07768e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2875150,"id":"Q2875150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8922372dfa297d6eed41dd3d50229027e93a2c57","datavalue":{"value":{"amount":"+0.7900310754776001","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":"Q3612463$2B45629E-32FB-4B27-ACA1-36AB0BCFDAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be797cf568eac61c70d1dcf6a6fc1fcb7c69b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4277694,"id":"Q4277694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4f5ae6d87af857d7ae8a2c0dbe27df08bd3672","datavalue":{"value":{"amount":"+0.7835528254508972","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":"Q3612463$023C8E11-9C9E-44A4-995C-7A38B310BA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a00557940f92d8bb4109ce8bce395883cc753d4","datavalue":{"value":{"entity-type":"item","numeric-id":1322290,"id":"Q1322290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bc4e938070117b1c64670e66413039a6f89c5d","datavalue":{"value":{"amount":"+0.7798958420753479","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":"Q3612463$39C0CD55-2A31-4408-8DD6-21829A8DF679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability with Exponential Families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_with_Exponential_Families"}}}}}