{"entities":{"Q2366110":{"pageid":2376853,"ns":120,"title":"Item:Q2366110","lastrevid":46350606,"modified":"2025-12-24T15:08:25Z","type":"item","id":"Q2366110","labels":{"en":{"language":"en","value":"Implementing CLP(\\(\\mathbb{B}{}\\)) using the connection theorem proving method and a clause management system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223269"}},"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":"Q2366110$17D1CC86-5999-47B9-B1E1-867E48D783B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51fd51e3dd0361da004d52b600adab455872b896","datavalue":{"value":{"text":"Implementing CLP(\\(\\mathbb{B}{}\\)) using the connection theorem proving method and a clause management system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366110$F9DBA980-2BDD-436F-9DF6-8CB39816AE0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0411ca61b87b924f6f1d49001b0b03f4b410dbe9","datavalue":{"value":"0780.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366110$CDF80195-9AEA-4480-A184-31247E0FC304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05cdab87a1ff08f3ae7d8936f4ce566424ccb4e2","datavalue":{"value":{"entity-type":"item","numeric-id":2366109,"id":"Q2366109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366110$E7DB5A29-CA1A-4BC1-8D7E-95C191EC0322","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366110$380B1828-D373-4293-8B4F-F8C3A8A55559","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366110$F067826E-9BD9-4375-B502-592B01FC9777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366110$0BE76580-F114-49A4-BFB5-229AC90C0DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366110$F0C1A29C-F51C-42AD-9D3D-02218F0C7887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bcc0a74f6c753dfce2954b2cbd8cd407128d4d0","datavalue":{"value":"223269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366110$20692035-2F84-4FCA-8CA1-D5E743C0698D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b8c4ed9c52451cc092c8fac52223138d7a1eff","datavalue":{"value":"Constraint Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366110$3973882A-7BBA-47E8-BCE7-DD3C9CC03C6C","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":"Q2366110$C6F30D93-3408-4CCE-BF3D-3EEB3B6F720E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec615cfb3a7ecfe4843ae4fcf81cac2eaf2dc33f","datavalue":{"value":"https://doi.org/10.1006/jsco.1993.1002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366110$4DB4D5E4-C8DA-42B7-8241-5A6DEB856C60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3df626988754381bbf3a58697df1ab5346b5f055","datavalue":{"value":"W2005393909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366110$8DB0720A-7853-437D-ACAB-A18F4638769E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1d673a0ebfae761beaf0fee430d749a1b65e5a9","datavalue":{"value":"10.1006/JSCO.1993.1002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366110$395E684A-1E24-4544-AFC7-0585F62A8133","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31c936cd8b1cd3c5361ca16e1480429dafd3328","datavalue":{"value":{"entity-type":"item","numeric-id":908680,"id":"Q908680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df1f60414204bb075f292d47657beda331b52ab","datavalue":{"value":{"amount":"+0.7410246729850769","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":"Q2366110$B1C1E80D-F523-409C-B7D4-A55C6C331A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc72aa556cc2beca7ff7fdc1b2abcaefce35084","datavalue":{"value":{"entity-type":"item","numeric-id":4281605,"id":"Q4281605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5f1275f5d3f5696dbc390bc16dd34b25f71e23","datavalue":{"value":{"amount":"+0.7337002754211426","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":"Q2366110$C1DC578B-BA43-43AD-BD35-EFB5955B52B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59d462abc7b98e602962b12501442140db0b451","datavalue":{"value":{"entity-type":"item","numeric-id":3084981,"id":"Q3084981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1b9eda9278c2227c0f1a759bf12e9f4c859216","datavalue":{"value":{"amount":"+0.7186821103096008","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":"Q2366110$4CA372A8-720A-4B65-92A9-8BF1157C94C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90d9f755225a061b09a9acec0f175d307f71914","datavalue":{"value":{"entity-type":"item","numeric-id":2488154,"id":"Q2488154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228ac968020bd890955e141cf0d4c1de121aff11","datavalue":{"value":{"amount":"+0.7060976028442383","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":"Q2366110$93588896-5E70-41C2-AEE4-323760929215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409090f2a0f7c32199b1cf5c404461440c75f20e","datavalue":{"value":{"entity-type":"item","numeric-id":2767081,"id":"Q2767081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74ea05432777477d2acb0f4d88c89dad35b7796","datavalue":{"value":{"amount":"+0.7031456828117371","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":"Q2366110$E75D0C27-1187-4759-9358-B8C8A220E059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2366110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2366110"}}}}}