{"entities":{"Q5044548":{"pageid":7074125,"ns":120,"title":"Item:Q5044548","lastrevid":41129192,"modified":"2025-04-18T10:12:48Z","type":"item","id":"Q5044548","labels":{"en":{"language":"en","value":"Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7610424"}},"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":"Q5044548$D9F383EE-F478-4C9A-A529-79096F0086A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"548b1026dd05dfdbfc6a22a77ac0992b0d9c9524","datavalue":{"value":{"text":"Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044548$83BE750F-00EF-4EE2-B6EA-A9D0CAB7A20F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f04a45c5e509cd1cd4a010c375f721e04a924","datavalue":{"value":{"entity-type":"item","numeric-id":606905,"id":"Q606905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044548$A77F5574-5BF9-4C64-ABEF-9BFE1938846E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0fa9e77ae9ac54f182e764320d4341fa38a63ee","datavalue":{"value":{"entity-type":"item","numeric-id":814625,"id":"Q814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044548$5B5459E4-786F-4CE3-B75E-023F6606EB0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd0918e03e055908469ece282e362771896c475c","datavalue":{"value":{"time":"+2022-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044548$5F41D5D0-FFC1-47A2-96BC-12EDAE46D08A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044548$D1F17CCD-18EA-4828-BF5B-474056C7A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044548$0FF592D7-E6AD-4C5A-9F77-315C3486F0C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11cb3c44dd3da64259c9fcc472ab1996bb2ba556","datavalue":{"value":"7610424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044548$23E25973-8807-460A-9725-B692D97087E0","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":"Q5044548$578AC70B-71C0-4B25-8535-898EE4F1BF83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5886b62836961b9af1b2b345d55cec3c17b71674","datavalue":{"value":"https://doi.org/10.1093/logcom/exac004","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044548$512551E0-256D-4662-88A0-3716B0C76F10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d72d3f153f89e1825ed2693381290dcf28a6d7d","datavalue":{"value":"W4213277490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044548$CEF442A4-9ED7-4D26-899E-865BC6BE85C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7997d98c9a99024a95c6055d3a26079e5b3d6f9c","datavalue":{"value":"10.1093/LOGCOM/EXAC004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044548$17723BEC-5936-44EB-834D-900BA9F18690","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bc8a70ae2be18697851b91268c406a076484e4","datavalue":{"value":{"entity-type":"item","numeric-id":5870516,"id":"Q5870516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073a5f3cd8242981b586796277ad0006d0759615","datavalue":{"value":{"amount":"+0.9276158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$EE5FAC98-EF81-4F55-AE90-4BCDA16F1758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67297e391cbc9eb9061939eb6c621316d9c35a44","datavalue":{"value":{"entity-type":"item","numeric-id":5492848,"id":"Q5492848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c63f968efeeed4520ed260cbb6e745751b8d64","datavalue":{"value":{"amount":"+0.9174864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$8E5B84CD-FCD9-4ABB-9BBA-99F3144DF1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4309a469efbeabd756e15f7b68c54262bdaab7ef","datavalue":{"value":{"entity-type":"item","numeric-id":1015812,"id":"Q1015812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a69a260279a7fbe072c1d2da38fef618db4698f","datavalue":{"value":{"amount":"+0.9174863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$1A4A95B3-EF5C-4089-A7D9-32FB252D5A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b626f8d28de15d3be80c1c96e3b378807eb6bd7","datavalue":{"value":{"entity-type":"item","numeric-id":436581,"id":"Q436581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d50da745304768b249c75c52dcde823694384d","datavalue":{"value":{"amount":"+0.90946484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$73D17866-C73F-4003-9873-13E9DCD3182F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3165f68bcd466aeb0a4251575da42f0929daa9f","datavalue":{"value":{"amount":"+0.9087987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$045D9919-24CF-4A9F-AAF3-5DD5006AB6E2","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":"1085570a7b4322b6454ed909ffb3fc9421a35623","datavalue":{"value":{"amount":"+0.90658516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$A63BC588-8379-40E9-A419-1F5EE22890F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c66433554d4dca7a805e9641431b78b66d7f90c","datavalue":{"value":{"entity-type":"item","numeric-id":2118341,"id":"Q2118341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b101d0bdb8a2c240416214ec93dfa3359de41355","datavalue":{"value":{"amount":"+0.9014736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$EE9B63BB-5FC7-4FAE-9BAA-AEF8256B5FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f93e0c577fe2b528a45726a40f51389f9cc091","datavalue":{"value":{"entity-type":"item","numeric-id":2238728,"id":"Q2238728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150a941a4a09ba8c007c7170d813186b46c0cfb3","datavalue":{"value":{"amount":"+0.8989559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$4EBDAC37-06D4-4C80-B7A8-D3B93F26A475","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":"2eea89428f373b5c54a5397acb13f5353348e7ea","datavalue":{"value":{"amount":"+0.8985473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$98B6CB1A-77B8-4589-9036-7CCCA8AFCC07","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":"2eea89428f373b5c54a5397acb13f5353348e7ea","datavalue":{"value":{"amount":"+0.8985473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044548$9F1CC1E4-AB84-4195-AE41-C23F23531CF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044548$27931593-0A01-44FB-9781-8222DA0013B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044548"}}}}}