{"entities":{"Q518892":{"pageid":520659,"ns":120,"title":"Item:Q518892","lastrevid":62468568,"modified":"2026-04-11T06:18:22Z","type":"item","id":"Q518892","labels":{"en":{"language":"en","value":"Decision procedures. An algorithmic point of view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6698748"}},"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":"Q518892$F9DC3A3F-D711-44AB-83C9-8D7FF2B7E232","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c608c52f8837e130f37d43095209f0d4997e860","datavalue":{"value":{"text":"Decision procedures. An algorithmic point of view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q518892$CA11A930-7A28-401C-9CD4-0A0550457F50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8695799239ee75995724b8d08a0d5eb8d701da8b","datavalue":{"value":"1358.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$7818C89C-C829-4449-8AC7-A0DBE1D30F7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"262e2f7713ae3f9df5c569319fb9e0e398e0c413","datavalue":{"value":"10.1007/978-3-662-50497-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$D85A7C48-0601-40B3-89F9-55194BD62332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$C0DF17DD-7EE2-4C67-8FE3-227BC8BA0ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$DFB687E1-A644-4A52-AD1D-D8CFBCB98BA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f0a2acff5007574f811cbeec1fb72101c4611a9","datavalue":{"value":{"entity-type":"item","numeric-id":161384,"id":"Q161384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$82AE5077-D29C-440F-B37B-CF61C78850EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456d31ba67cbbb4f6a1b1583fb8de4a8edc10efe","datavalue":{"value":{"time":"+2017-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q518892$1100C24D-BF98-4EE7-B36E-6C601B5D60BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$44E4FAAD-34C8-40F6-873F-C2674CC2CC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$1285B62F-530C-4399-8A5E-2D7E94A53C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$D72AC103-7A87-4EB6-B363-BC5032C25D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$BFCDA0FF-96DB-4632-AAF8-6F136A667083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$CA5B9BBC-23F2-40EA-898A-B80712F8AD38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9efb0a991725703a6970f2d338349b13280df83c","datavalue":{"value":"6698748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$4D5AF7B9-628B-4B39-A380-4BFAC1AF6270","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$D64B72EB-061A-42E9-87E2-B8C6EBADDAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$EAFF607B-66BF-4944-A9D0-68EA2E50AE1A","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":"Q518892$4AD6EA66-DB57-417A-9339-34FC641541A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$AD3F44D4-EA8A-40F1-A7E6-359ECE832573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$BE3C1728-7904-430D-94D6-3FCB5984451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$3BFFE0E5-C531-4258-A7FC-536F4537C7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$942FA390-7B9A-4248-A936-D0F5EDB332A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d00c8ea90db1902290486ff0a016abf9032d22","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$9EA566E8-6046-461B-8D9F-BF37ADF34297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"792849c5bee9f07de54f2fa4f04f07c6aa639097","datavalue":{"value":{"entity-type":"item","numeric-id":21562,"id":"Q21562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$5A92C585-A0DB-4D8A-A4CB-78FD904A0CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9dc96d31725a42b8712b814e265dc136a76d4196","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$B582C80F-778B-4432-B6ED-CA23FFFDFB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$B9081AA3-96C6-4A22-B431-78F922B6CA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040a8483cf79deba3a2eb66461dcc90b466cac47","datavalue":{"value":{"entity-type":"item","numeric-id":33420,"id":"Q33420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$8568BEFE-ED7E-4E7F-81B9-6028570D6826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$DCBC9153-53AD-4889-A23C-19609BF49946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$ED1F3F73-75FA-4B32-8BFD-7D17293E9DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$94058472-1CE8-4BE6-BD29-DD2130EDFA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$08446A4F-F8CD-4002-9AF6-65AC6BC3E17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$D3EA7BCF-F451-42EB-8826-4159A280C70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$8825BC5F-2552-4FFB-9BB6-658BA23D06DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea8b95ed6a3d2b5e68b904fa9f56ef03bc113a58","datavalue":{"value":{"entity-type":"item","numeric-id":13157,"id":"Q13157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$AC2E688A-A83E-4694-84F6-80C59D831AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$05D2A5A0-AA18-4F87-9D67-5EF38706319F","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":"Q518892$05644A78-EA1F-40A1-A10E-20D96725CCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$A842DE32-D38B-4546-B6EE-6BBF8566BBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$A3D80D91-E178-45B6-8E44-64F57BF5033F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8865462df1c2b735536cc8d7d2e421ec8493674","datavalue":{"value":{"entity-type":"item","numeric-id":37181,"id":"Q37181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$DD12D84A-5A6F-42FC-9072-12A18AB2A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80c0fffe52e8d20761092982fb6f317944864591","datavalue":{"value":{"entity-type":"item","numeric-id":37182,"id":"Q37182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$376723EC-BF26-4849-8377-17D7A7581FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"880856bbff488d35ad1c1e2f2e92afc59e93b62e","datavalue":{"value":{"entity-type":"item","numeric-id":37183,"id":"Q37183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518892$1CA2DC44-90F0-4A6E-AD5A-ACD51CFECB18","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":"Q518892$DA9748C2-40F3-4518-A558-B4022C5FD77E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d078e5accd676bd003fc1192d6080805dcad794f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-50497-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q518892$C88C48A9-A72C-4BCB-B0AD-D3EFF1FCEC3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"778b586371b7300b99c4ac25ffbe61e006282ad0","datavalue":{"value":"W4249885861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518892$84E4EB16-5FC4-44DF-B064-895ED83CADFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de445ea295b773de555e2c93021503503031f29","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a168928fb52c580449d7573f93cfe65923f833ad","datavalue":{"value":{"amount":"+0.9472792744636536","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":"Q518892$E0508A9D-C189-46CE-8D3A-F684E3AD23FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12ed55d27939d29b0b20bfb797dae392817d352","datavalue":{"value":{"amount":"+0.8965740203857422","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":"Q518892$E6B4946F-8B59-4B7A-B458-AD0E95D449C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f910e5d01835760396bec66fa55d67356d2c2f48","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a697f4ec03da74083b8211737948497909a8e6","datavalue":{"value":{"amount":"+0.7997063994407654","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":"Q518892$6B83880A-5682-4ABD-9FB2-91EA9BFD8D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47227c3ededf306d0bae5b081c3c2eaf0e20bdbf","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5822f13b22b6d839f2d81c3751c1ca9a59893a77","datavalue":{"value":{"amount":"+0.7744552493095398","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":"Q518892$FBC08845-1D66-4244-8A0C-3AC93ED5CA9B","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":"8a93748a12b1708a455adfadf6bdf25010524fb3","datavalue":{"value":{"amount":"+0.773358166217804","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":"Q518892$782639BA-DE8D-4F63-96DC-783AD5AA2796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures. An algorithmic point of view","badges":[]}}}}}