{"entities":{"Q5387828":{"pageid":7417402,"ns":120,"title":"Item:Q5387828","lastrevid":50366324,"modified":"2026-01-13T21:58:27Z","type":"item","id":"Q5387828","labels":{"en":{"language":"en","value":"Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279513"}},"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":"Q5387828$C7F41AB9-419C-440F-8132-9CCA45BC6286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4617276bebc9c1514de8996b900f4a832c70066","datavalue":{"value":{"text":"Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387828$393EECA6-99D2-4F19-890C-F063B9987CE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"515f67e11932b519b8a45a84369065905a5b9293","datavalue":{"value":"1143.68579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387828$2FF862A3-D24A-414E-958D-0F45D205CE13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e80d986431360d24bfb8e660c9fbb55ee9756302","datavalue":{"value":"10.1007/11591191_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387828$52D5F9E5-4A83-4865-AC1F-0A56A0AF9FA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$757AC9A3-1185-47AE-8211-EF057BF7DFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$B3E0DFD6-CCCF-46FF-8B67-3939C492B267","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":"Q5387828$EBED40C7-5926-4A23-A65B-7068578E9DFF","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":"Q5387828$D3889739-0862-4F5F-85BC-0959CC2B1303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387828$04166C5C-2B8A-42E2-A5E4-9150A182DC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387828$0B414471-E589-4272-AF37-DC8C756E2C16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f6ef5c330ba9e60fc0133779e76567790977e04","datavalue":{"value":"5279513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387828$A786971F-1F58-42EF-B9B9-A74E3A7051FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$900AEFB3-C6A0-4424-AAF9-1655B0C622E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$4DDFB5E0-3A68-4AB0-80E4-30C8DA8362AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$9A15D542-659E-4633-B822-D3CB940BC890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$FC2F3787-16AC-4279-BE0D-D388FA200C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$D2D64964-5BEA-4ECD-A258-F89CEA62B8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387828$4FC42F42-40E0-41C3-A57D-E0509512FE4A","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":"Q5387828$1D8770B9-8B3C-47B2-8BAF-D7E3BB9070A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ada240afa3f45f54f50c33cf07a36d0cfc85cef","datavalue":{"value":"https://doi.org/10.1007/11591191_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387828$25C107D2-D24F-4E48-8A8C-A4379561149C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"338de8298001d79e3511df9361fb8f91ad3dd376","datavalue":{"value":"W1561147151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387828$D8135CF8-082D-4B15-850F-0E352B001424","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd1f875057910272dc1f6cefa7437b5d6cd54c8","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2a0b31dd0a06cad2c359f714d3b62677032b6d","datavalue":{"value":{"amount":"+0.8121824264526367","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":"Q5387828$5727F649-84A5-4FE7-84C6-1EA9C8B53ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056ad7fe790b8f5b5919628db1711175a428254d","datavalue":{"value":{"amount":"+0.7900274395942688","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":"Q5387828$F482EA2D-48E3-4658-AC68-AEC7D9F92764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4a777bf0bb99053f551e2b6fa0361d1c8156bb","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25565f5c6414965736501497b41a420bc47105c6","datavalue":{"value":{"amount":"+0.7871600389480591","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":"Q5387828$2950026C-6772-48B0-8EF4-DEF583958F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478066a341cad1504ba0db959b00b0076f3885fa","datavalue":{"value":{"amount":"+0.7870162725448608","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":"Q5387828$6C8BD2D2-3318-40E9-A789-847A4005E3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77602924e10f541a936ffddafab3e6a200d8ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":5432330,"id":"Q5432330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824644119ca735e4b3eca8ff5d6e02aed3a3cae7","datavalue":{"value":{"amount":"+0.781574547290802","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":"Q5387828$1AEC7272-643E-40E7-B1C0-8240EB16204E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387828"}}}}}