{"entities":{"Q5018765":{"pageid":7048342,"ns":120,"title":"Item:Q5018765","lastrevid":55396159,"modified":"2026-02-17T15:29:42Z","type":"item","id":"Q5018765","labels":{"en":{"language":"en","value":"A resolution calculus for MinSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450460"}},"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":"Q5018765$D7218A03-7BB4-4D92-9F9F-244920E4D16A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4780d635d2926f8106d03d9dc58b17971c5b4f9","datavalue":{"value":{"text":"A resolution calculus for MinSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5018765$FD37566B-F9EB-4090-A85F-FD20216096E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018765$E0C56294-48A7-42C4-81E8-18C6D3E73C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3286cb0640bfc051677058554058bc2af3420fa1","datavalue":{"value":{"entity-type":"item","numeric-id":1201672,"id":"Q1201672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018765$45006B04-C5AC-4C63-A60B-BDF2BBA353BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018765$FE4B6D61-8E82-4AEF-A19E-B907B667CD9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018765$387FEF3C-5B42-41CA-9948-52ED9053A64E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef7e614aee6bc6b48c017c8ec2cbbdd223213048","datavalue":{"value":{"time":"+2021-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5018765$CC594AE5-A06E-4CCD-BCE4-7FC23F19ED52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018765$E8D0FAF5-0BF9-4034-975A-27CBAE7FC2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018765$CBD9362A-FC73-4A00-9F69-306D193B6539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4ecb78470c124c0bee30e54c4ef2bac09d0485","datavalue":{"value":"7450460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018765$98071E42-F66B-4A4C-BD39-ADD9D4927FF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adec997d4cc3ccc52ac94baf4acdf869d81bd7a6","datavalue":{"value":"Boolean optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018765$58D4ED59-C204-4F71-87AC-329B2932319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a90132f49533a1fd91aff0434e3f590cab07d7","datavalue":{"value":"MinSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018765$585F4B35-F148-4233-BDD5-D925D1DF42CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b866a40545c84c25e0b79602f5fdd7e454250918","datavalue":{"value":"signed MinSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018765$1AF73DC6-42E5-484B-AF8A-F40C6EC32D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018765$D665B0B1-64E7-40C1-AC40-455EE4236E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018765$E49209CC-9D53-4405-B0C0-EB696BDD7F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018765$60AE2796-E0FF-42C8-AB4D-5DFF6791D92D","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":"Q5018765$B46CCCB8-2F0F-4C33-8C6E-6A3B64185CEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a442860831a0fb4a3685a41b6b38a17c0246e55c","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz028","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018765$946EECA8-EA78-4D14-9BA6-60EE271BE863","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e9c4f59af58a92f826447cc18e9d7ad2756d70a","datavalue":{"value":"W2982111769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018765$333E02F8-7FCE-4B8F-8460-064FB2CCA172","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8f6a94d287bd12558c55f2e8e4357e1f15304935","datavalue":{"value":"Q127661405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018765$D91039DA-BDB4-4A91-B8E8-C38DF2C8D1A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"049b369fb84a81d87ebd7880c93e30263ef92ff4","datavalue":{"value":"10.1093/JIGPAL/JZZ028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018765$FE0D55DC-3BAE-4B78-A878-67243C375739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e7d164f88a9cc2f9c66e32fba1612a2897a181","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee01f6e22530460d26b8442b4e3762553b0c001a","datavalue":{"value":{"amount":"+0.8709182739257812","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":"Q5018765$F1A8170F-AEFD-4C50-BA0C-10746D0A7FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e98ed37361c6e50899f7764860f279c641aa03d","datavalue":{"value":{"entity-type":"item","numeric-id":5756577,"id":"Q5756577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ed270394648798c31dd37ba4b33ddc7d42e397","datavalue":{"value":{"amount":"+0.8579486608505249","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":"Q5018765$8674B23D-F591-4D4C-B1A1-9690E45BA414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b78f1eb7fa9e877f584dfdd09863d398df1a279","datavalue":{"value":{"entity-type":"item","numeric-id":2234795,"id":"Q2234795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2564445d6b02fd0b6b42d0797d9a8100ad203c2","datavalue":{"value":{"amount":"+0.8181594014167786","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":"Q5018765$09A9A304-9371-4362-93FC-A30D10F553B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f3360c5be8e01da6791dcaa4e84eeb492564ea","datavalue":{"value":{"entity-type":"item","numeric-id":5018764,"id":"Q5018764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ce0e952714fd9d41408788b519d2653ebe7d49","datavalue":{"value":{"amount":"+0.8136467337608337","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":"Q5018765$FFCB0496-B7D1-4DFD-A454-156C1F9F85F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fad82f012f5c8d497eaea31aef295e15ac54356","datavalue":{"value":{"entity-type":"item","numeric-id":6066845,"id":"Q6066845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc76b16060c2c2a2822f2ed61f1712d85586699","datavalue":{"value":{"amount":"+0.7871035933494568","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":"Q5018765$098EC634-AE6F-4B30-ADA8-879936F39AAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5018765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5018765"}}}}}