{"entities":{"Q4636600":{"pageid":6666181,"ns":120,"title":"Item:Q4636600","lastrevid":58314063,"modified":"2026-04-04T16:40:38Z","type":"item","id":"Q4636600","labels":{"en":{"language":"en","value":"Tunable online MUS/MSS enumeration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862078"}},"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":"Q4636600$648F820D-6EEE-4DA9-B888-B7957A752891","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2058a12238e66010d78c92d06d9284479584c03a","datavalue":{"value":"1391.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636600$1A6CFCED-1038-4859-9EB2-3E770D56D506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b44d9183270609fbf85b361b8fe23fe5412807da","datavalue":{"value":{"entity-type":"item","numeric-id":832271,"id":"Q832271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636600$95217545-64E8-496F-ABBB-890795C8124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636600$05CA0F1E-5D0D-48BE-A794-5CD8453525CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636600$102CE617-16BC-4EC2-8C77-6889EF386310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636600$C50EBEF7-D5C3-4AC8-92F9-4EBDF3440F9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636600$AD0BEB16-0E43-41B6-8B75-62ADD31E5654","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c0236bcae61f4ccfc7b1e78ad7fae7ce898e5c","datavalue":{"value":"https://arxiv.org/abs/1606.03289","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636600$56547CC1-DB7E-45C6-8F07-36CD5ADDA1EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636600$96787C32-9AF4-40A9-AC9E-9C5DEFA32767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636600$2BD82C31-560A-4B4C-88C4-C5D4FCCEF186","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5281bdd79aede99da5f4fc3f1f4c4c14c37088d","datavalue":{"value":"6862078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636600$019EC058-4B82-4353-AED0-4EEEF0EE5DF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0121f233cd065aa67e2153971c0587891e91d5","datavalue":{"value":"minimal unsatisfiable subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636600$DA1C384D-DE2A-443C-9126-9745E608F717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8bf9c54eb9c8ca70befb34618537980685b975","datavalue":{"value":"maximal satisfiable subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636600$024CFF7B-BD0F-4FFB-AA8C-D4B7AE456764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4c3e0d714309e5668154a6d065c489b238021b","datavalue":{"value":"unsatisfiability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636600$AEF728E2-184F-4E4D-B67A-F31867CB9051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c771f0f7b0a5ba6538b4872b0e65a6a3c5a200f0","datavalue":{"value":"infeasibility analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636600$659F38EF-7BAE-4EE2-92EE-7E5DD551D65D","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":"Q4636600$30E6E285-0FCE-43AC-BFF0-7CD6B92B61F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28270cb4f26722d728f19dd57a80cdb56c0af6d7","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636600$A414CC5F-B1E7-45AF-9DC6-459C83305826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9c66a21c7c312b983bf1c1c17f2bbc5968faf0","datavalue":{"value":{"entity-type":"item","numeric-id":6109586,"id":"Q6109586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc89ee28ba655bd8e65ad0332e59c5749129a5f","datavalue":{"value":{"amount":"+0.8879772424697876","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":"Q4636600$D99A5134-3337-4081-A038-91DADEBA7E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e642f023fc52bcaf7eef459cf6156ef8d7a3f042","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f5e2dbf7dffc021cfa6888e697bdb879fdf3db","datavalue":{"value":{"amount":"+0.8734663724899292","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":"Q4636600$BE5F1B43-F21D-4407-BFE7-403D8BAEEC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d974e16d9209bdf16ee00ebd1dc2a9b6befa6e","datavalue":{"value":{"entity-type":"item","numeric-id":4922910,"id":"Q4922910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6495cf2cdd2fa1971f9e4118d2c2d266c334ffce","datavalue":{"value":{"amount":"+0.8693010210990906","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":"Q4636600$6A35541D-D194-4CCB-857A-A10A5A6B4450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f69a8b554f9ba68c31b509186653fbce98a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafa5212d1eb2bf2182e47704baa3f00cfe0a456","datavalue":{"value":{"amount":"+0.821799099445343","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":"Q4636600$00655342-15F7-4B1F-AF95-B155AB749008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74af731f2076822b7adc12e761cd0ff71fbf959d","datavalue":{"value":{"entity-type":"item","numeric-id":5222949,"id":"Q5222949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbaee5b6e4c5b3d55522461f9efc80dbfe19a4a","datavalue":{"value":{"amount":"+0.8209423422813416","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":"Q4636600$E7EFD136-E62E-47BD-954E-FA7E968EBBF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636600"}}}}}