{"entities":{"Q5096838":{"pageid":7126414,"ns":120,"title":"Item:Q5096838","lastrevid":100197245,"modified":"2026-06-05T21:35:45Z","type":"item","id":"Q5096838","labels":{"en":{"language":"en","value":"A threshold for unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573143"}},"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":"Q5096838$DFACCA81-40E4-423B-B4E0-AE4245B5299B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f25194cb66b51be5d1738c2cefd0f5056826d3","datavalue":{"value":{"text":"A threshold for unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096838$164DC26B-EEFC-4222-B572-19C72A04E4A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68bb937dd98064fa1c660963089bb002a5ba83eb","datavalue":{"value":"1494.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096838$18E041AA-6081-4E9B-A101-361334B6A7C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0a6ff642570a38985c7fe5dffbf8c4c624da978","datavalue":{"value":"10.1007/3-540-55808-X_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096838$D029A601-3CC1-4EFE-A943-B4FE96A14527","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40a5bafdd643d48fd797b3c75bbfa480747517fb","datavalue":{"value":{"entity-type":"item","numeric-id":5096814,"id":"Q5096814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$5858125D-9A0A-4473-996C-4D524C778598","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096838$34C48202-2AD7-43A6-8775-64039F684BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096838$8BD91A25-A097-4847-BDB9-87F478EBA1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096838$3B4334D3-1857-4479-B13E-0AA093CB8A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096838$2882C988-5F0E-450A-B3D2-3206341634F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096838$417B8E9C-D9B2-4EEC-8415-3DBEC76B0217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d5aa57b3e1c6563f7cee20a48fcc99b3bc4ea8","datavalue":{"value":"7573143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096838$BB7FD688-C593-4DDF-BBAC-19A055B448E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$155B58FB-0D36-4831-9042-20C97886606E","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":"Q5096838$478AD4E6-F735-4142-B93B-63DF7678B384","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":"Q5096838$FD00641C-56B2-493A-A082-6859A901FC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83312a3e346c7419e7c503e1050470bf3c54e96","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$5DEA7B4B-15B8-46DE-B5A1-001F4A863FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$02FC0682-CA11-45E3-9176-2CB8CBEDE606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$52C7829F-483A-4F47-9E84-A500F904A73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52185b8cbf4d2c50549284d2c33c74889abf1d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3827800,"id":"Q3827800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$F7878C0E-61DB-4702-9148-6955C99CBC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$4CAF1B97-45C2-4256-85CB-54FCC1EEFAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$020B7B97-4B0F-4945-86E3-0519B3A53A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da404b761a2011d9897c2a837ac01f79c79190f","datavalue":{"value":{"entity-type":"item","numeric-id":3730348,"id":"Q3730348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$248961FE-D2B5-47CA-B38F-B650984A8D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c3cc4795f10f73e64896e8fdf945d7f97064b5","datavalue":{"value":{"entity-type":"item","numeric-id":5634014,"id":"Q5634014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$F40B4BF5-7ADC-4E84-9466-078F7ACD031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d736f77638700356a04ed3540cfbda596980004a","datavalue":{"value":{"entity-type":"item","numeric-id":3680834,"id":"Q3680834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$9CE3CFB0-4487-4566-AA30-CABF30EB80C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609bc93b5c28523dc633bf9fbed11f1fe16d52eb","datavalue":{"value":{"entity-type":"item","numeric-id":4092698,"id":"Q4092698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$E1265AB7-BC49-42DC-A6E0-D50D5BF33430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b442d2e79e61eb803ff77ebcb96e31312e33e26","datavalue":{"value":{"entity-type":"item","numeric-id":4060987,"id":"Q4060987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096838$15C0EB01-BFD2-46E3-BC38-CAA62E3F1A3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a8d01fe2bdc8b006dc4bf8b9029d4908258164","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q5096838$9C673FFD-73CE-4B6C-A5FE-B698C348440C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a45c10462055532f1c386355c14e8fc57eb3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2643297,"id":"Q2643297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce714079d91bda4b606a779efb7729c9a2700fa","datavalue":{"value":{"amount":"+0.94799006","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":"Q5096838$EF4E5CD0-233B-4873-8A00-FF7D2A9158BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2540bc8b97f56c253aa9435064a9560409aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":2741515,"id":"Q2741515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1fcdb4567e85a6a6d7c5e00ed6beeb7bf0b0e9","datavalue":{"value":{"amount":"+0.94798994","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":"Q5096838$59740FA3-F6CD-4954-9347-B3CCBD3AD618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031e6c39e115bfd1a95644f717cd6b98469f9bac","datavalue":{"value":{"entity-type":"item","numeric-id":4375776,"id":"Q4375776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ae950dd9bda148a8ad6e74cc2e0a0b012358fc","datavalue":{"value":{"amount":"+0.9111144","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":"Q5096838$00D11304-8816-41C8-AAF3-1B07891E77A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ad0e252c44ac2e66afd93d4f676561c0cc09b3","datavalue":{"value":{"entity-type":"item","numeric-id":5958807,"id":"Q5958807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c2a02d055dff60e0708a0bf8a343ae10979e89","datavalue":{"value":{"amount":"+0.9035043","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":"Q5096838$73A1F519-E929-47CE-9F1D-A0C24E8BC1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688077c07f647bd2755ca8aa235d7c114c3a4864","datavalue":{"value":{"entity-type":"item","numeric-id":1264000,"id":"Q1264000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c162b27333e828eac892df0aff05fe5ba59fd6","datavalue":{"value":{"amount":"+0.8666028","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":"Q5096838$2D9C27DC-EA7C-4B1A-A0CF-D088F358AECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80237d0964665fe5a41e76a093124220483da3f","datavalue":{"value":{"entity-type":"item","numeric-id":2907497,"id":"Q2907497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8905dae50da21e8d8a82edebaae91a633b5ea0e","datavalue":{"value":{"amount":"+0.86361015","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":"Q5096838$4C5AD1D5-A69F-42EC-8111-805C35FED77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c15a9b734bd7f15d8f8fed40caceb008e699199","datavalue":{"value":{"entity-type":"item","numeric-id":2674178,"id":"Q2674178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92e00835eb9fe4fb45d7b3c80c994e86f6d76c9","datavalue":{"value":{"amount":"+0.85636395","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":"Q5096838$89D12399-DFDF-4E27-A966-CE8940818D8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A threshold for unsatisfiability (scientific article; zbMATH DE number 7573143)","badges":[]}}}}}