{"entities":{"Q3655139":{"pageid":5685045,"ns":120,"title":"Item:Q3655139","lastrevid":80972522,"modified":"2026-05-06T17:25:28Z","type":"item","id":"Q3655139","labels":{"en":{"language":"en","value":"Combinatorial Problems for Horn Clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654168"}},"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":"Q3655139$FD5A8093-7AE2-4930-A015-50975EAEBBAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5779a9ce9d606e02cd3cf38327853ffcb37c3c03","datavalue":{"value":{"text":"Combinatorial Problems for Horn Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655139$E57CD43C-03C8-41E8-8819-FB04C086E57A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c136f5650ca38c031768d31e49e291a996a172c0","datavalue":{"value":"1194.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655139$23C48188-AA95-4738-B0AB-F496478F990B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7009075a84f7f912b240b6dacb122b6e6fca7cf8","datavalue":{"value":"10.1007/978-3-642-02029-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655139$871EF1C1-EE81-42B6-8BFE-37F92BCBADF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad0aedbfeadb26549a6a1430cbc0797d4c6dd797","datavalue":{"value":{"entity-type":"item","numeric-id":3006473,"id":"Q3006473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$DBE2EE34-26CF-47D5-A263-364449C1EE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b2dc7fb86714f67c87c73e07c13ee1e0d7b9d71","datavalue":{"value":{"entity-type":"item","numeric-id":168649,"id":"Q168649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$C4CBA5DE-1CD7-49DD-B609-2293DEE1BF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66a437d74ae466cacad614cef92f8e5d71204e6","datavalue":{"value":{"entity-type":"item","numeric-id":239429,"id":"Q239429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$A922985F-223C-406A-9004-C96A208F197A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc56eb764d76296dd86a13ead47a595216473de","datavalue":{"value":{"entity-type":"item","numeric-id":507536,"id":"Q507536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$3EE4CE8F-8FAE-4CD9-AC05-7F4DBE96BF9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6dce1c0cb65e5fb5bcf24693802f2a8c7723a8e6","datavalue":{"value":{"entity-type":"item","numeric-id":3655133,"id":"Q3655133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$49320AAB-9CB7-44AE-AA21-287D4A54FA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-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":"Q3655139$352FF86D-9062-48F7-AB0B-964520155032","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655139$36DEA7CA-A10D-435A-BDE9-07D8C03678ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655139$57244493-093D-441B-B898-7FF23AF19810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04001160c7631eae52ac197aebd0e75d2a524e03","datavalue":{"value":"5654168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655139$29F9FF22-028A-4646-9117-37848FAD2384","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":"Q3655139$4C407ABA-5F27-40CB-B949-7AEFEDB72595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a99e73b6672469da99da382266c552d7b2d7da47","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02029-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655139$01933272-D0EC-4D71-8C88-0802AF27B3D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7c2456a3f7aa9432d409bb6aec2abe6304000ac","datavalue":{"value":"W1538993357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655139$8AC27D5A-F258-44B0-8EB1-6DA4497CA974","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$77381D52-D606-4F1E-9710-2DC92CDC625A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$02863974-5E28-49B1-AF88-7222A42B8317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305803c7f942cbfc2abf23983cda25b8afc9131e","datavalue":{"value":{"entity-type":"item","numeric-id":3612457,"id":"Q3612457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$0837A368-C6E5-4F9D-A7E5-58F631A0FCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$A70A82D4-C44F-4DFF-B169-654C4AFC6E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$AB886E0A-AC7A-4D7B-948C-FC5B49EE79F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$A0800B95-6A04-49FE-B584-E53E189B664D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$D7FB3DF9-03C6-42E9-A8D2-CBA216AC11A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936e0b8b21c457652556ed6024621c2aebe0087a","datavalue":{"value":{"entity-type":"item","numeric-id":3373662,"id":"Q3373662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$5BA59336-D8FA-4C53-80E2-FEF98B64B1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3505763f4428c4dd5a4353ba54e626bc02057c2","datavalue":{"value":{"entity-type":"item","numeric-id":4431435,"id":"Q4431435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$BA5A6ED5-989E-4F3F-97A8-A370786F4055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1e44cee0c4142ccab888ffb7667b410bb952b6","datavalue":{"value":{"entity-type":"item","numeric-id":5704391,"id":"Q5704391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$EB7CDBDC-9A79-499D-8930-3CFF4B80DDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$DC488FEE-C79D-49C6-B3F1-AB13CFD74471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395c3a226acb25e78443d31dc8fbc89bf2d16be0","datavalue":{"value":{"entity-type":"item","numeric-id":5931554,"id":"Q5931554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$C07F3A1C-062A-4D69-A188-1BAF9120ECED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbb88077caf25e6b3a6af95f321e2ec46153617","datavalue":{"value":{"entity-type":"item","numeric-id":3197352,"id":"Q3197352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$1BECDD52-5864-401E-9E43-77C5957794F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809090b3776346a6d2dc29e88dbba44ff1ee0006","datavalue":{"value":{"entity-type":"item","numeric-id":5646917,"id":"Q5646917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$B6163762-B052-4B0E-8E56-991444BF7852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b884041ecd608c05aa90321475d09a6ddbf6fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5433256,"id":"Q5433256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$8A8F94D2-9ADE-4664-AFCB-D1FA90627832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655139$2D03ED37-FF2B-49DC-979B-0B5EEC082920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8aefc7711647f2d4b7b447d28f716cf9528b541","datavalue":{"value":{"entity-type":"item","numeric-id":3652297,"id":"Q3652297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85198df2c4c4f2f8dba2cf8b1336c8a579ef9961","datavalue":{"value":{"amount":"+0.88689435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$7A3D4D57-B66A-4D1A-A1E0-42772F072866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506628ce467cbea6443a92cc1aaf808f914cd669","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85198df2c4c4f2f8dba2cf8b1336c8a579ef9961","datavalue":{"value":{"amount":"+0.88689435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$EFBDB7DC-BF9E-4728-BACC-1D90505A598A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85d204ba140de2ba0bcf39f4c004cfccbcbe62","datavalue":{"value":{"entity-type":"item","numeric-id":757095,"id":"Q757095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef1f6664897fb7472514b99b09ef60aa3e7ff41","datavalue":{"value":{"amount":"+0.87506795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$D902174A-70EA-4E19-B91D-000814374B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e22139889fe6a0c06c71328055c35a5e40949a3","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237e94260246813dbada7c736577bf280e18b0ec","datavalue":{"value":{"amount":"+0.8750678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$D7A953FF-94D6-4A52-BF37-9C0F8D0DF264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9671da2ace0d3eac481c7b09bdd1ba55db0362f5","datavalue":{"value":{"entity-type":"item","numeric-id":3798649,"id":"Q3798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237e94260246813dbada7c736577bf280e18b0ec","datavalue":{"value":{"amount":"+0.8750678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$368FB72F-AFA2-42B4-BE54-4A76C569EDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73174a4485242e702f9d30c95ca2f409d048b88","datavalue":{"value":{"entity-type":"item","numeric-id":3976574,"id":"Q3976574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a40a384e10a2c613ebbb2ff44cbccdb46315e1","datavalue":{"value":{"amount":"+0.8649644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$D001B96F-23CD-4A13-A01A-724BEFA12333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c174508f76de4707251972a7a81c38eedf5c6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71077f94d42886ce826f72af62b72fe890760638","datavalue":{"value":{"amount":"+0.8643045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$BF467E09-9D1E-43AB-BD44-C762CF885007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1d50812d4cef7195f02174b42ba37fc6c65ea9","datavalue":{"value":{"entity-type":"item","numeric-id":5122151,"id":"Q5122151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2adf727d12aaf47f601c428743419f5adfc39ff","datavalue":{"value":{"amount":"+0.8640697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$FCB8016C-95C4-4506-B428-A9A5F72B2142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b98eae58bf4a4ab657d1b3454ce63e308c32447","datavalue":{"value":{"entity-type":"item","numeric-id":608293,"id":"Q608293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41853690448a959c11b9e67652fa7ec52968dbf7","datavalue":{"value":{"amount":"+0.8612355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655139$AA0CB628-B7AA-4D68-B1B2-7BD9E902AD01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial Problems for Horn Clauses","badges":[]}}}}}