{"entities":{"Q5889312":{"pageid":7918862,"ns":120,"title":"Item:Q5889312","lastrevid":47841025,"modified":"2026-01-02T20:39:28Z","type":"item","id":"Q5889312","labels":{"en":{"language":"en","value":"Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676423"}},"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":"Q5889312$427BD7EC-5EF3-4D58-B08E-DCDFF30B5721","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c8a32836a0522d10326a3110ccd5b98bca48fed","datavalue":{"value":{"text":"Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889312$42882A02-B5F0-475F-B5F2-FA29346CFDFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a44eb8163d18e10683752f69e957ce4956589b5e","datavalue":{"value":"10.1007/978-3-319-94144-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889312$105AD7EE-AC94-46CE-84B9-9C9030CE9A63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"618dff94aec38f24478b8597ebb886639eab98cb","datavalue":{"value":{"entity-type":"item","numeric-id":436416,"id":"Q436416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889312$B8374822-53BF-4A4D-9DD6-C3EDCC17031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889312$311E2C2B-D7B8-4399-BE30-F933BB291811","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4c2ded585b3b23f2de987c437073f03b268dae4","datavalue":{"value":{"entity-type":"item","numeric-id":5889311,"id":"Q5889311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889312$961772FB-0F38-4A86-969D-F41F52F7C3DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58f6a43946330a9b1c758022a21e1f99d75b5028","datavalue":{"value":{"time":"+2023-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5889312$F5F94CEB-7B8A-49C8-A4A0-10389E30E500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889312$D9F63DF6-EFEF-4724-821A-10CEB0583DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889312$38713B9C-CC66-4115-B6ED-0D6D75800169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd3f6b064e665a045f16fb4d6a2595c1a933c0fc","datavalue":{"value":"7676423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889312$E8DC9598-A724-41F4-AAC9-C6AB570B2781","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":"Q5889312$88F64D10-5CC2-42F0-AB7C-227472A22E51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9bbb2b8043ecd4927053083ce7fd6c6592cfd47","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5889312$D4E00A37-E7E9-4D5B-9EB1-AAAE2A75C2D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d49e23253b0dc535de248967b5545e414c4cce0","datavalue":{"value":"W2810932144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889312$DA84C4A0-64F5-41F5-8B19-670F508DABE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c302174dc4413764cc10741d23a3d5bfa4a52115","datavalue":{"value":{"entity-type":"item","numeric-id":2148900,"id":"Q2148900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e5696d64ca42aad2639f82e7bb7a42da9a4433","datavalue":{"value":{"amount":"+0.8743272423744202","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":"Q5889312$39199844-9B56-40A0-941C-E52EE9A3B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9e04a5281dad58360fba33cee7ce694420be2f","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64bc2af585697b25534fc838041625b62d132257","datavalue":{"value":{"amount":"+0.8322007656097412","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":"Q5889312$22C9F4DE-7236-4206-8AE4-E679BEE8815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e88b6db9f7bf6a4e4c5b985d786c3d6a809dee","datavalue":{"value":{"amount":"+0.8265241980552673","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":"Q5889312$30AE39DA-1367-4E50-B53A-EE725D86B0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058c21255bae18f43715a1f93551390e299db176","datavalue":{"value":{"amount":"+0.8240586519241333","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":"Q5889312$76FA9F14-43A4-4DF8-99D1-D3E147CC41E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb61ea282983acf31e37fd5a0de564b807944ee","datavalue":{"value":{"entity-type":"item","numeric-id":2818034,"id":"Q2818034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d0d0820615c773d1424c461e8ffa04a095cfb3","datavalue":{"value":{"amount":"+0.8226708173751831","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":"Q5889312$FE649DE8-123C-414E-863C-15CC1F087523","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5889312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5889312"}}}}}