{"entities":{"Q1307701":{"pageid":1318451,"ns":120,"title":"Item:Q1307701","lastrevid":68418834,"modified":"2026-04-12T23:34:52Z","type":"item","id":"Q1307701","labels":{"en":{"language":"en","value":"Tight bound on Johnson's algorithm for maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1359929"}},"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":"Q1307701$62EF22BF-CB28-47BB-8E1E-8CC59F43D768","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7510437b449e898c445a26ab5ac2e348c2708b7a","datavalue":{"value":{"text":"Tight bound on Johnson's algorithm for maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307701$0AAA6D56-B6A2-416E-BE27-6824581F41E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d064c0cab8a726cec6c3f6072245e312c5bd63f","datavalue":{"value":"0939.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307701$C0FBCEA5-2CA5-4043-AD92-442C7498744A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"912a686097f499caded7625c01b65e652133bde6","datavalue":{"value":{"entity-type":"item","numeric-id":429661,"id":"Q429661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$183943EA-1A13-40B4-9EEF-747F121C9E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdc97d78bde7b82669c123dbca1290c9ed3f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":411718,"id":"Q411718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$3A2930A5-3D9E-4FBD-898E-36FF6D80C446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d03752c29b41d1b87b62e2669413b34e8ba69f6","datavalue":{"value":{"entity-type":"item","numeric-id":1599636,"id":"Q1599636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$2A2D89A2-192D-41BD-9E56-17681A7E4AB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$DFE2DCB0-BF5C-439B-9FB4-4F3E64E9D78E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d0affe982882d302a0500029e3a9cac3bdcfc3","datavalue":{"value":{"time":"+1999-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307701$6D427A60-FB02-467D-9704-5C1934F1E786","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f1aa9bf817f90969b34168874bb84209fc26503","datavalue":{"value":"https://semanticscholar.org/paper/f7d3ed8e002f6b407407f438aa68daa3cf4116cc","type":"string"},"datatype":"url"},"type":"statement","id":"Q1307701$702E7240-F652-4DB1-BE89-65EAAD0A8526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307701$C7961648-DDE2-43FA-B656-BFFE5E79CA13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cd654473aa52edcebe4a58d5455b474b77b9304","datavalue":{"value":"1359929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307701$67E86B84-63DF-46DE-AC42-A311A101E5AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec272a6895f1d9efbde6f9c4fc0d133355fbf00","datavalue":{"value":"maximum satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307701$EC647617-98F3-4F33-9BE1-A3AE90F20973","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":"Q1307701$DF74C1BF-444C-4440-A05C-23EF089DCBB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc925f8ee1ce3a0aa7c697d82456d092c62b12b8","datavalue":{"value":"W2153838160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307701$9A2788B0-2A0A-4912-8396-327C2B225E49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7258962f550bf808b8ce0edfe0f9b2099a09d076","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$B3FFA6F9-DD42-4C16-9D5A-D1B8D86B4A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73a40325dd6ccbd07c8cdeabd3636cb7d9c050b","datavalue":{"value":{"entity-type":"item","numeric-id":4317711,"id":"Q4317711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$ED6A76E4-EDDF-42B3-BD5F-AF3638106F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f992e855d8b9b42f253fc7f7d98a5e06e39cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4369893,"id":"Q4369893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$19BC91F1-2124-46A4-9F81-0FA142A04805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$C04420E3-8724-48FE-AC69-206AB0D31B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a567a0bd5149009c58baa277d371437f0fed769","datavalue":{"value":{"entity-type":"item","numeric-id":1213733,"id":"Q1213733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$28F956A3-2181-47C7-B92E-8BC244B26E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf47717a42b2bb3bf16a5481378cb0979f61a44","datavalue":{"value":{"entity-type":"item","numeric-id":4210142,"id":"Q4210142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$CE680224-080E-4D27-9E1A-7B68BEA33F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937cff77f3008ec75c747bc39da74a24ad81205","datavalue":{"value":{"entity-type":"item","numeric-id":3906440,"id":"Q3906440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$12B520C1-5B9C-4DCD-96E0-30AE8945D80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27fd1c8f8d875d5c42a1bb994d164d297549f6f","datavalue":{"value":{"entity-type":"item","numeric-id":1578395,"id":"Q1578395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$336EB2E1-D953-4FDF-870A-06A111806E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307701$A45C9FE5-122A-4EA1-AF36-A26B8E5AF259","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc0c3dbd59ef530357e0c8097788de66b3043d68","datavalue":{"value":"10.1006/JCSS.1998.1612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307701$6A200CB8-2131-4EB1-B6FC-AE015D09CE55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d20d98af573214554204bf581d61e4d70221cff","datavalue":{"value":{"entity-type":"item","numeric-id":834942,"id":"Q834942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba111c6ffe325f9e48b629032c26fe554e1616ed","datavalue":{"value":{"amount":"+0.8962237238883972","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":"Q1307701$B10E9F20-D6DD-4C7C-9CA5-81FC5C169403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac366afcd6996c6847dde0cd831029ceb106bf83","datavalue":{"value":{"entity-type":"item","numeric-id":920845,"id":"Q920845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9355f58899eeddc31685063113560cf03f9a29d","datavalue":{"value":{"amount":"+0.8211578130722046","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":"Q1307701$06008507-3045-4428-8269-11B47EBE4D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b07574bf7061db510da0d2849eee15bae0f4db5","datavalue":{"value":{"entity-type":"item","numeric-id":5365070,"id":"Q5365070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b098c4cb50e9a30da9074572e963949d41bc68","datavalue":{"value":{"amount":"+0.8165275454521179","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":"Q1307701$0FECDE1E-D084-4DBB-8BCE-D90C33AE6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6f05c7f936080fafc0469aaab72d27e0b72fda","datavalue":{"value":{"entity-type":"item","numeric-id":3087938,"id":"Q3087938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac164b9ea5dbac71bb2ea3dadbfdd70b27b02c3","datavalue":{"value":{"amount":"+0.8069065809249878","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":"Q1307701$88293B48-EC04-4444-93D3-E89CF700322E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d5d9de3f08a816b03216e3cc6041f6472a677f","datavalue":{"value":{"entity-type":"item","numeric-id":2777611,"id":"Q2777611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec075f6f14e099639176fa387698eb1c4a79398e","datavalue":{"value":{"amount":"+0.7920419573783875","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":"Q1307701$1F44B1B0-6544-401C-BB65-B9CE16395682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tight bound on Johnson's algorithm for maximum satisfiability","badges":[]}}}}}