{"entities":{"Q5387914":{"pageid":7417488,"ns":120,"title":"Item:Q5387914","lastrevid":50366528,"modified":"2026-01-13T21:58:37Z","type":"item","id":"Q5387914","labels":{"en":{"language":"en","value":"Boolean Rings for Intersection-Based Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279594"}},"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":"Q5387914$F50290DE-6A90-41DE-A21F-947BE41C5EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f473e426b9980bf52cbf99f32b593826621e6a54","datavalue":{"value":{"text":"Boolean Rings for Intersection-Based Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387914$B6E06A0E-BB45-44FD-B53F-05515C9EB00A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96f96576fd869d2a6d52c04fb8fbcb7b5584720e","datavalue":{"value":"1165.03312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$7DE326DF-A86F-4E62-954A-98199C716ADD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa096d38348bf4f47ea0891f72a1606856d6c398","datavalue":{"value":"10.1007/11916277_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$9C9DB032-2953-4C12-B08F-A1718F3E6699","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387914$C0990539-0C1F-47FA-94B0-E62ECCC5286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387914$C144E309-79E8-4818-84B8-13A8E5128917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56714faf6ece7e39af63c7a563e9caf41a37afd7","datavalue":{"value":{"entity-type":"item","numeric-id":410710,"id":"Q410710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387914$1E387DD6-169C-4C5E-BFCC-53F4ED111181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"547731d18b5d79ac677f38981d478c17d40adab4","datavalue":{"value":{"entity-type":"item","numeric-id":4551142,"id":"Q4551142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387914$CDD67BC2-17A8-476F-A4A6-38DCBF777D92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387914$BCC464FC-1233-4E48-85DE-058031885FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387914$FFE7284F-4379-4C9C-8F80-1DEA7771E261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$4F91225E-199A-4C3B-80A1-26BB11A55CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$29614F35-964C-416C-8D2C-17EEFEB453E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$E40234D3-C667-4184-AC0C-A5D80E2B8883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$0E144A2F-C986-4131-8388-CAE1A12FD95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$5805D968-1C9D-47E4-86CD-0BD32F3BDC48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec36a839517e33fa437602dc40d2025ff6e1d2b","datavalue":{"value":"5279594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$6ADD72A2-73FF-4E44-A7EA-AE6B1F441F84","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":"Q5387914$6F316F22-4F08-4A75-9936-0251CD2FEB8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f9652912752db1d8ebf8c45c9ae12337870a757","datavalue":{"value":"https://doi.org/10.1007/11916277_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387914$6009E07C-8402-4017-BD0A-22806A597658","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de45a7de22985f9541d16e6e59009d6ac57c4631","datavalue":{"value":"W1579000555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387914$091625E6-9A9E-4122-8EC4-A8DF7BF673FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e3f8471d5a8b0ce09e04660d958988de0c4fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4375774,"id":"Q4375774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade103693a951c58603b01dcebc0e5d96460edcb","datavalue":{"value":{"amount":"+0.7669439315795898","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":"Q5387914$2411A54C-E9B5-4ECB-AA73-92CFD7035A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94121e2b99edf03838a28b48c6e427008e41aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":5175309,"id":"Q5175309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961c4c746228f66168cd929e6412cb93fd1f1b84","datavalue":{"value":{"amount":"+0.7273980379104614","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":"Q5387914$343417A2-8B23-43AF-AC1B-ED49D6C79990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9e0c030e8dbc614e4322a184d68187bdd818b5","datavalue":{"value":{"entity-type":"item","numeric-id":3587716,"id":"Q3587716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6febf62b3e235a3ef7f871a19dd8c9452862ad","datavalue":{"value":{"amount":"+0.7176543474197388","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":"Q5387914$293F9E72-3EE5-4311-9A93-A75D0A7279E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822adb1baf62c5000a89959ae5eead739517938","datavalue":{"value":{"entity-type":"item","numeric-id":1333173,"id":"Q1333173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8149a7990308b98841f941f9c2d2f9e988441e4f","datavalue":{"value":{"amount":"+0.7143806219100952","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":"Q5387914$1D8C4B26-1ACB-45C4-B557-9640667FDA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bad4d53069332fe6793293aa465dc69e1fb586","datavalue":{"value":{"entity-type":"item","numeric-id":4931177,"id":"Q4931177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb066768dad20dae1bbb8fd05721f18e9ae617c","datavalue":{"value":{"amount":"+0.7091549634933472","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":"Q5387914$DA83D72F-0271-45DC-BB32-5FA91D05979C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387914"}}}}}