{"entities":{"Q5227400":{"pageid":7256968,"ns":120,"title":"Item:Q5227400","lastrevid":53489150,"modified":"2026-01-25T01:13:04Z","type":"item","id":"Q5227400","labels":{"en":{"language":"en","value":"A propositional CONEstrip algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7086266"}},"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":"Q5227400$56E278E1-6B6E-49B9-9FD2-8BC0BBFD96DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3df7683d3c212d5b51ee1fc08ff9e7a75f1ba9f","datavalue":{"value":{"text":"A Propositional CONEstrip Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5227400$841F482C-45D2-4D7E-BBBE-7ED4EFA1BAA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9d2364b5cce70510453b101cf598fbbc4a9d911","datavalue":{"value":"1456.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227400$1A37F456-E413-4A25-B76C-7718DB14DA49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67b820f44e4c9ec317e32438aadc4f1847ee96b9","datavalue":{"value":"10.1007/978-3-319-08852-5_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227400$B7EF17A9-5843-4CB9-B762-CAF06EB126BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdfa8881fd135eb30fa59ac690570c5ea3b9aa5","datavalue":{"value":{"entity-type":"item","numeric-id":432968,"id":"Q432968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$24968E5C-6279-421E-91F7-BA7044158939","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a34848ddb6062655beef066079ad46fb6181b461","datavalue":{"value":{"entity-type":"item","numeric-id":5115722,"id":"Q5115722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$0689AE6A-1A4A-444B-A71C-8A22EC139A2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"579e31504b4f077aad032b535296e0114f2f19d7","datavalue":{"value":{"time":"+2019-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5227400$0C5FC779-7E69-452B-916F-4157F47C636C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c91d5c13203cca19331f953b915a43853c0b10f","datavalue":{"value":"http://hdl.handle.net/1854/LU-5814652","type":"string"},"datatype":"url"},"type":"statement","id":"Q5227400$4CCDBC31-EAC3-4C3F-AB1B-59C434CFA7D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227400$8B56E4EB-9B5B-4D61-901E-CF2DE6D82DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227400$ECF49E52-34A0-4A6B-90E5-218F1C4371CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227400$2E50F558-FB82-4052-BB13-4EE33DC63BEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8443fc45c3d194404f095a5bdb49cb81320b1aff","datavalue":{"value":"7086266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227400$36F8E8F0-AA9D-408E-8011-7CF7855E87E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74cf67e4efb845db49a6aa985e9aa3280cec6fbc","datavalue":{"value":"sets of desirable gambles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$4DA66470-DDEA-45F4-AE2E-750AF7D19145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$F91707C6-9AB7-4781-A271-2F7D9CEA79E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f1432be15b0ded62c410cd92fe2a647c32a92c4","datavalue":{"value":"row generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$08AE3911-A791-4A8E-9278-8FA2F097B956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$5109770C-E236-4E9B-81BE-9A9D9018B494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$DDB14F55-1A8E-4FBE-ACEA-4A72063307C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10040252e584636332cd77b26b70faed5bf19710","datavalue":{"value":"PSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$2740C165-8E73-4079-BE41-288AF1C3B964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca07100bde89f340c7bec9fdcf38574932266f8b","datavalue":{"value":"WPMaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$B0F9B6A1-9BF1-41B1-ADAA-68F4B8B64FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$A8C07342-C446-473D-BCFD-E53383C8A9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$2DBC1D20-FEBF-4916-83F3-3A6151B205DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$EE289654-1144-422D-85C4-743779FF922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95bbcd26585212ad4b094487c1b1cdfdb4dd4a5","datavalue":{"value":"natural extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227400$301D5F00-4D9B-47C6-BEDD-7832EB600C2E","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":"Q5227400$52D526BF-E8DD-4A1A-A2FE-EC0BAA3446BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2ac3b0e19b1f4e1717071061bc24643b9a2d402","datavalue":{"value":"W2121621366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227400$457A010E-B655-443E-ABEE-D636F8897EA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09e827f8023a00efe761704fcf72275edb22957","datavalue":{"value":{"entity-type":"item","numeric-id":1601897,"id":"Q1601897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$91512570-9DAD-4F04-9F1D-1B1ECCEF3EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47614eb02f0bf4af90ccdbaabb6abfe86e3de0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$7F1C26F7-596B-4BEE-A95A-A695A5E83439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8382f4c8748ab21d9c62c21d912b306a25fe86ce","datavalue":{"value":{"entity-type":"item","numeric-id":819942,"id":"Q819942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$3A1851E5-8887-4E37-813A-42C6DD56A862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$67E98C18-3122-4056-B85C-7081DCF75058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1046d4a0d217d3570779d42e068c59f361f3e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5326414,"id":"Q5326414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$C15D9F0E-B604-4E88-95F5-CAD894C52751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487c3b72cf5317ad59f2588afc0b3ef4297b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$C0F04D71-1072-47B8-A6B8-12F729F979E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$A49B8AFD-A666-4A70-B91F-3E0349C249C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc5f584152a2faa26608ddf69f53ee0afaa200a","datavalue":{"value":{"entity-type":"item","numeric-id":1605686,"id":"Q1605686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$6D6B7E3F-E363-4ECF-849E-322A910D2EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$06E3BED9-E14E-4859-979B-F102C6A305FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94daf2babd19ae4e4af6dbbbda96c89725cf839c","datavalue":{"value":{"entity-type":"item","numeric-id":1777404,"id":"Q1777404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$0E45C1B9-57E8-424F-A5F2-A41712289C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf96f1c1e63be3efe379c718068656dbda3b814","datavalue":{"value":{"entity-type":"item","numeric-id":2805768,"id":"Q2805768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$7A2CCCCD-67E5-4EED-AF8F-900B4122806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd86b2a7c55b89ccff1163aa555977b9dcdec69","datavalue":{"value":{"entity-type":"item","numeric-id":2875982,"id":"Q2875982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$173C8706-02DC-4504-AD91-3304557681B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884dcd06d237b4f0975fa7528be5af88b4c2d898","datavalue":{"value":{"entity-type":"item","numeric-id":2341859,"id":"Q2341859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$C150E850-4860-41A9-AFD1-AE5A5B91F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e981a5689a0bbbbbc89fd97af44d418685614f15","datavalue":{"value":{"entity-type":"item","numeric-id":3999364,"id":"Q3999364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$1FB31063-F272-489D-90F4-3B38C99D9748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c787da7038c1c041d20ac721996483ef0db8386","datavalue":{"value":{"entity-type":"item","numeric-id":1605683,"id":"Q1605683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$39EF67A0-8ABB-4928-BC78-900E8A6350BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a69ed95f9c29d6a9691a0324762ad1ecf8a899","datavalue":{"value":{"entity-type":"item","numeric-id":1888857,"id":"Q1888857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227400$DEE09F49-B649-4A13-8AC3-964B20920894","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e1b3fa6a0b0d92f543ac8211d4a4fad3a7a805","datavalue":{"value":{"entity-type":"item","numeric-id":2805768,"id":"Q2805768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fec217bf260735a0bb3dc9220cf76d983b315aa","datavalue":{"value":{"amount":"+0.8497055768966675","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":"Q5227400$DD24CE48-FDE9-4FFD-8FF7-1CF8A0C7F356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2726437d4d0fa1d7d40debb3a033130f330deb8","datavalue":{"value":{"entity-type":"item","numeric-id":4327942,"id":"Q4327942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bff61620779141efb83203ab01bd7141c7a633","datavalue":{"value":{"amount":"+0.6516115069389343","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":"Q5227400$BFD81917-FE1A-4AB5-B9F6-562D65B4FCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3db3768ca5bb654750f1a2aeff2d47a3b569789","datavalue":{"value":{"entity-type":"item","numeric-id":4427352,"id":"Q4427352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e65d0858b7d82372334b4a2fe49495955840c96","datavalue":{"value":{"amount":"+0.6515988111495972","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":"Q5227400$8814111D-D736-46FF-BB37-E02E6FE7399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6571b6a776fab80def4e58a67c87cb607ff62856","datavalue":{"value":{"entity-type":"item","numeric-id":1888857,"id":"Q1888857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f429d6e7a6415b2ccab78c24f781d26a93cecbe6","datavalue":{"value":{"amount":"+0.6498745083808899","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":"Q5227400$5C318BA7-7FF8-4A71-8BA3-51C247BB7110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1609bbfded72fbfa213503dd503e0dd374d2f48f","datavalue":{"value":{"entity-type":"item","numeric-id":2752130,"id":"Q2752130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a31d8d227aa5ce34f419f51a74f6ee2c345678","datavalue":{"value":{"amount":"+0.6472349762916565","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":"Q5227400$A16EB243-FAA1-40B9-9E4F-1641295DBC07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5227400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5227400"}}}}}