{"entities":{"Q4642745":{"pageid":6672326,"ns":120,"title":"Item:Q4642745","lastrevid":58312692,"modified":"2026-04-04T16:32:39Z","type":"item","id":"Q4642745","labels":{"en":{"language":"en","value":"On the <i>K</i>\u2010sat model with large number of clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6873747"}},"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":"Q4642745$028C7B97-5DE6-42B4-8065-7F21AC01C32C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbc7397fc3e9d5e3d7c14853a2edf6a6e972d587","datavalue":{"value":{"text":"On the <i>K</i>\u2010sat model with large number of clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4642745$1AC8B464-5666-4C99-A679-B8A88DFFB66A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0cf53a5b928d8e14bacb4c1b7c1a2dda184b349","datavalue":{"value":"1391.60023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4642745$E8770367-1CE3-4C5A-8BF9-8A5092D79BEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82ede9604006c32d2366a054c77ab364fadfd964","datavalue":{"value":{"entity-type":"item","numeric-id":187963,"id":"Q187963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4642745$5D974E48-C0FE-41AB-8886-5B973ED3D1A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"889be0f8e7c5593fd9d724762872dd9608a4e49c","datavalue":{"value":{"time":"+2018-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4642745$CF7A468D-463E-4D0F-AD41-329E6C03F734","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01fc9ef1d8edc3a4bbbf4d6c44e1d761248c259","datavalue":{"value":"https://arxiv.org/abs/1608.06256","type":"string"},"datatype":"url"},"type":"statement","id":"Q4642745$BCD10356-FF90-40AE-B928-03033AED4072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4642745$8578F451-88FE-4F36-BC16-E74092C46728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cea0f97accfe53a21b189101481c5b008b6415da","datavalue":{"value":"6873747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4642745$E8137963-FC46-4C7A-9BB3-DC099408AD32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d151f68dbe23ba77836e6c761344980cb832966","datavalue":{"value":"\\(K\\)-sat model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4642745$84287010-A892-457D-9A54-E39DF67FDC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f715603a33dff41b67f7df987e3f733d8356ac63","datavalue":{"value":"\\(p\\)-spin models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4642745$E4DFF288-B413-4FF0-B9DC-C720AEE1FB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b084d6dc27037b73900cc72b74788ab919c77236","datavalue":{"value":"spin glasses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4642745$AF19FAE6-8262-4F6E-A366-099595694269","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":"Q4642745$975D9DE9-F9E2-427A-B500-5344878B4FDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd46b71a8d7cecbf885ff037e380ad47e75835b8","datavalue":{"value":"W2964041306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4642745$4AB8B659-B2C5-4ECF-BF20-887A0B9C4E46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ca28d1ac6f224e8d7052917611beac37a8e997e","datavalue":{"value":"10.1002/RSA.20748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4642745$9ACDA82E-60EB-4FF6-A49C-E5BBD8CF9850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755bb9e2da3e04a3fdd2a172851bfa20892491a7","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d3c5c6f334203fd23edd167cf936c2509edfe4","datavalue":{"value":{"amount":"+0.88663423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$BD37B6C0-9478-4C61-85DE-E94131990E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95e22327925cc9f6612512d3bc9000bebc1e49","datavalue":{"value":{"entity-type":"item","numeric-id":1964360,"id":"Q1964360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff7ccb72558998d3f4d156bd4f78a28f512b33d","datavalue":{"value":{"amount":"+0.8745466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$D5639E6A-4BAB-4B3F-A793-6DBCE61B6289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc70630881469eb61a3b88d9577a3b7336c8241","datavalue":{"value":{"entity-type":"item","numeric-id":3502698,"id":"Q3502698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bc2e4ea449d0819c64f30dd025c6b02202d70e","datavalue":{"value":{"amount":"+0.8715422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$7AB275EF-F6D2-4DB3-B308-9DDE0998A9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20fc3c596a9edb8e5583cac032889717c67ce3fc","datavalue":{"value":{"entity-type":"item","numeric-id":1711421,"id":"Q1711421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cd3065281d011445203904ab81f898679d0633","datavalue":{"value":{"amount":"+0.8690035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$946AC644-D354-4344-9AD3-169EA89677C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169aa400b3c883801226c3b7200fca4852e23e96","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d040110adbc40877c5405cd9e425c47b76d33c90","datavalue":{"value":{"amount":"+0.86529386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$EA491370-BB1F-4FB6-903C-2B8BEA323A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceaddce235366296c48c86158fd23909d4ae9d41","datavalue":{"value":{"entity-type":"item","numeric-id":2171413,"id":"Q2171413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d040110adbc40877c5405cd9e425c47b76d33c90","datavalue":{"value":{"amount":"+0.86529386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$A9E985F4-F714-4CD1-8C56-B73C03F0F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe0e38558d3711d3563cf0c7da888dec495eee0","datavalue":{"value":{"entity-type":"item","numeric-id":5949296,"id":"Q5949296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938ef5301bdf976bf4f2880039ce6f7c3a50369f","datavalue":{"value":{"amount":"+0.8600284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$B3D798BE-10F9-43F4-9788-DF339F8C422F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa1108b39adf34b0d85dc16923fb4966ed4d2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5259616,"id":"Q5259616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d198fb18e8cb7b442a6e74ba91c9b35ca2a6b314","datavalue":{"value":{"amount":"+0.85816747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$294FC688-D7FD-4563-A2E7-E44D0F15AAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4df546ffd8cae746a9a2888262b7434e15a8d9","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb44aa1be2ed79a7d4c717ba5aa70290f61f459","datavalue":{"value":{"amount":"+0.85816735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$8FDC372D-CEA4-4478-88D4-2AF482E9C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19e6cfc0843016bc5ade6d6a373115730b50e76","datavalue":{"value":{"entity-type":"item","numeric-id":2904751,"id":"Q2904751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42140c7556df5ce8c2ef728626af566fc2bafe25","datavalue":{"value":{"amount":"+0.851146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4642745$9BDA1DA5-551C-4ED6-9736-10BC3CF9590D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4642745$B86FB8F8-2907-4F05-BCBB-3E654E36C1AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4642745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4642745"}}}}}