{"entities":{"Q3637161":{"pageid":5667067,"ns":120,"title":"Item:Q3637161","lastrevid":50704157,"modified":"2026-01-14T21:02:00Z","type":"item","id":"Q3637161","labels":{"en":{"language":"en","value":"On Some Aspects of Mixed Horn Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576277"}},"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":"Q3637161$CD23A6AF-BE84-4FE8-9E5C-CF6F402EFE78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b74bf800975982d4c92d5e144e92a28df7782d30","datavalue":{"value":{"text":"On Some Aspects of Mixed Horn Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637161$8A4E0D2C-B8FE-4743-89A5-EE87EF8FB343","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35224c9ce9d6dd361e6de0a9806839363d2bec29","datavalue":{"value":"1247.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637161$13E62410-318D-459F-9E9A-D05CB4D93AAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"580e41867f38ee8fb8abb6e1967c448ab00335d7","datavalue":{"value":"10.1007/978-3-642-02777-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637161$14C6514A-80A7-4698-844F-8EACBEB82276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb0466461e16e203e1eebcf15c374dbae0d4e8d","datavalue":{"value":{"entity-type":"item","numeric-id":714019,"id":"Q714019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$FC0DD043-D592-4B4F-A788-82B9E4F950E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d280cdec9d4bc8ca4e8469694cd6f7c96be52d6f","datavalue":{"value":{"entity-type":"item","numeric-id":2440093,"id":"Q2440093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$CEDEFCBD-5B8D-437B-A2FE-52EC946FD0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$894B5888-E238-4149-8699-BFCFF2811F49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$82B42D16-8865-47AE-9537-6C5F538DA781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637161$F8CC1525-877F-4216-AD0F-BE75051E422B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637161$A50206DD-72BE-4A10-84EC-9565642195E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637161$8FBC9D5A-EF3B-4144-8E81-307C9E233C7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4b2cc12cd95d7c8da7158def848ba269cdb6817","datavalue":{"value":"5576277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637161$6488FFFA-9E96-4FAA-94CC-C165821BE74F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c6d3bbb22af65b1d5a28774e3732eba41f6c09","datavalue":{"value":"mixed Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637161$9BB3BE4C-35C2-42D7-803E-112A0C42845B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637161$732FEEB7-EC05-44D2-A7D8-7D97887E7E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc650c3b07e100c8b220f73d832ecb83c5122abe","datavalue":{"value":"polynomial time reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637161$055E6A10-8CB2-4A34-9EB0-F994A43B7809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c22d5775221423046cc5c67c2b493cdcf52842","datavalue":{"value":"exact algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637161$1BBB90D2-C101-41D9-B55A-99C8620FCCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637161$94EEC9AB-D07B-4E01-9AF2-C244D63C3E78","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":"Q3637161$C038CE1D-B9B7-4CFC-9F56-B78ECB873822","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a676f12df01b0692ed13939ef307d6b95b45871","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637161$326744DC-9E2C-4A7C-A4B8-D761DA1016E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04944e2a3db98c05ac8d28716396eea9355bba1d","datavalue":{"value":"W2162357359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637161$6D79645A-7322-4C9A-AAF2-584A8EA83B00","rank":"normal"}],"P223":[{"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":"Q3637161$8035D39D-A0B5-4B64-90A3-B99486EE9F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c2203ddfc26917d54d8693018456bf91635b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5309695,"id":"Q5309695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$4AEC949C-17F4-46D1-8A5B-622172232A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b53127a40afd478fc82de17b1811d89d2177ed","datavalue":{"value":{"entity-type":"item","numeric-id":3429016,"id":"Q3429016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$873F6FE0-929F-430A-BDFF-36D3EE96FD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2493f246b7153ff4485c60fe48222c10c0859285","datavalue":{"value":{"entity-type":"item","numeric-id":3502705,"id":"Q3502705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$B6D8F28B-8245-4319-9548-5E352D9682D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b396e412145b289a0f2d560cd4986a112360175","datavalue":{"value":{"entity-type":"item","numeric-id":582905,"id":"Q582905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$9D4CB0CA-80B7-4C84-82A9-46AD2282A2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa32a44166d42f4bd1de0aa45682819f58891a8","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$7DD7B35A-7F31-47AD-8FC5-7EBB91310219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1918c985b538d3e9a515db81b17d0dcdcc22e09f","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$C4D97945-B1F7-4DD1-8875-165454BCD18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b6dd79947b470916d26572e9894e28bef7e285","datavalue":{"value":{"entity-type":"item","numeric-id":2741531,"id":"Q2741531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$6E8636DE-D50C-4D66-8283-3CE2004C632F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637161$156A3B19-C335-472B-87D0-D590316C1163","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47f218630e3a65921925fa215162a48c4394e4f","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709e69359a9a491b896b2920dc502bd7369bfa03","datavalue":{"value":{"amount":"+0.8978134393692017","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":"Q3637161$50894DEB-782B-4163-A2D4-BBA8E80F9D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7b2504b97273c1f43d3acbf9ab35631eb89919","datavalue":{"value":{"entity-type":"item","numeric-id":5714756,"id":"Q5714756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bf37c0b4c59e56e5c15ab727cfdacd71a4770e","datavalue":{"value":{"amount":"+0.8663831353187561","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":"Q3637161$42C6BDD5-4F25-44FA-87D5-CBD59AB119DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63726ee122855872a37f6f582b065b1e64c2362","datavalue":{"value":{"entity-type":"item","numeric-id":4931561,"id":"Q4931561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c934c7406bae8c535dc2bdf0f2b97bd79e9cbac2","datavalue":{"value":{"amount":"+0.8470303416252136","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":"Q3637161$A7667D37-FD89-49B5-ABC8-1AE66C9030AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2ca70157d359d6f2915f463794dd2db289a833","datavalue":{"value":{"amount":"+0.7601512670516968","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":"Q3637161$4071B38F-9E08-4DC7-B9C5-58708959CB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fb1e5adb92b7b7c4f54d657b0393d39bdf4aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2800587,"id":"Q2800587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cd36b8541de67655e369635ef1ecf6dad8e3fc","datavalue":{"value":{"amount":"+0.7450374364852905","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":"Q3637161$608E11A7-A58F-4CE8-98BA-46947F0C3AED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637161"}}}}}