{"entities":{"Q4589090":{"pageid":6618675,"ns":120,"title":"Item:Q4589090","lastrevid":52950011,"modified":"2026-01-23T21:28:26Z","type":"item","id":"Q4589090","labels":{"en":{"language":"en","value":"Algorithms for computing backbones of propositional formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803292"}},"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":"Q4589090$060ABE4A-7C0A-4273-8A8A-12B9068047AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"667126254fe53fd0e33b42ddfaeb8f7a463b53a5","datavalue":{"value":{"text":"Algorithms for computing backbones of propositional formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589090$096AED10-53ED-44A8-8C70-0ADBB5E7E69F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d614ab48d46189f08df840a3598fa24aac81bcad","datavalue":{"value":"1373.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589090$72E9A4D0-600B-4DC0-8EE4-06049AB185E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cc27d103fa0208e6f2ec629d13876b008ebef3e","datavalue":{"value":"10.3233/AIC-140640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589090$03CEECD0-6EB9-4E32-81C6-7FAF7B55A334","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589090$DCB0E36C-E6D2-419F-9F5B-5A3B6115E212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589090$1BEDB4AF-8FE4-430F-B811-6C6C920D2F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589090$047AA657-F383-4DD4-B140-5A9145CA80ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589090$8D4F2317-07D5-4528-9A85-6AB8749C65C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f04d1a508f552e1f1708571f1d0ec9ee237f17be","datavalue":{"value":{"time":"+2017-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589090$E14798DC-191E-44CB-B26C-B06C49786A6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589090$FAAE0C1E-5D73-4FC4-A0BE-CAA4F97C7EC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd11af024bfb8b7a881b665c55b7118c2fe60b86","datavalue":{"value":"6803292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589090$2B42F852-D759-4206-8F03-7EDD0F982E4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19033d31dc8704678146ebf2cbc129c55b1cefb0","datavalue":{"value":"backbones","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589090$B41E6EDE-8F66-4FBC-986D-8E2452FE2200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589090$2C64AAEE-833B-4B12-9739-CC4E4CFDDB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2daf3d8fdf1ba70f9f903af8268c672f9c1efbba","datavalue":{"value":"necessary assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589090$B112D91A-F7D7-46E8-8FAE-DA6487CAF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45455e441e74e3fabcb5be147e34732022eb6560","datavalue":{"value":"mandatory assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589090$A0F2A216-6F31-4F14-8AF9-D468BC0C1F5B","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":"Q4589090$93CF441A-5B43-4C86-8104-CFD98E5DD95F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cbb01553096608cbea55446f5e7a2281a01e8c1","datavalue":{"value":"https://doi.org/10.3233/aic-140640","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589090$A66557FD-45EF-44D7-A5A7-03F22A814A84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbfad1493f3f66684d573ced4c79d5e31f4ee678","datavalue":{"value":"W1568917966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589090$C95AD26F-1702-428F-A629-A8409105C023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67d01086c0719c8e2a2fd24110d2b0c9b10956b","datavalue":{"value":{"entity-type":"item","numeric-id":2999099,"id":"Q2999099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6fb01c754f6b9b008e1399edb45fb1b44eca07","datavalue":{"value":{"amount":"+0.8921800851821899","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":"Q4589090$4DDDB050-EA72-43C8-8090-4841F2E807C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9820541751f89161e02ea8c676ad6e8443803b79","datavalue":{"value":{"entity-type":"item","numeric-id":5326477,"id":"Q5326477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed3a4550ad0855d31c79d0165ad1e29f93253cf","datavalue":{"value":{"amount":"+0.8002671599388123","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":"Q4589090$D9CA9285-42A3-4A98-AD33-8EAD2F130317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfb7b7ecdaf21a96a19c40723b296ecaf2cabae","datavalue":{"value":{"entity-type":"item","numeric-id":5145436,"id":"Q5145436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449548ae21a0383fadb1987cbd9ac52368636b20","datavalue":{"value":{"amount":"+0.7997766137123108","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":"Q4589090$ABB3F45C-52E3-45CB-83FA-2B321D7008F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d34e4773912ab2d3a6f77d266e1fa7f3f66667","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7321bc04a220858ec1a81ec6c25d0d18aaa4b0","datavalue":{"value":{"amount":"+0.7833824157714844","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":"Q4589090$568EC3E6-4A5E-4BAF-8109-E58C734EAE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b695b185e452e074e203b9cfdcfa0c066d69e77b","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd8637e71bef3871f4851f2fc5be07d7a9c9aed","datavalue":{"value":{"amount":"+0.7487033009529114","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":"Q4589090$AD5A1B61-1151-47DA-ABE2-C435DC4C63E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589090"}}}}}