{"entities":{"Q5900650":{"pageid":8006637,"ns":120,"title":"Item:Q5900650","lastrevid":97516349,"modified":"2026-06-05T14:56:14Z","type":"item","id":"Q5900650","labels":{"en":{"language":"en","value":"Probable consistency checking for sets of propositional clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5689822"}},"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":"Q5900650$F4687C99-FE9C-4DDA-916C-9E65245A1B05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2da67f6b87bf3a5c4b86dbed073df9bb32c1d2bc","datavalue":{"value":{"text":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900650$6F19546E-DDDD-4CFE-8F75-769971B7C2E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"603d5eae34f4182e068f764d50aed90c096fe28e","datavalue":{"value":"1274.68458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900650$558F1214-D313-496D-BBFF-04F7FA2CDDF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3864301cba9b10ac52129995b7fe437f7fb60c36","datavalue":{"value":{"entity-type":"item","numeric-id":324664,"id":"Q324664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900650$B5791A1A-D416-4EAD-BAB1-B0C7BDD73782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900650$F6FEC0CD-1277-4CB2-BF6C-BCF1CC50602A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047b8a66cb6c7465c83875030ed14b22522d5bfb","datavalue":{"value":{"time":"+2010-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900650$216458FD-B825-44D8-990C-8027ED894A60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900650$6E0AEEAB-B98D-4455-99E1-CBB8A300500F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900650$57E58A1C-0188-4E94-87C0-FF7A4FE134A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9a906177e0a1599a4b760aa2fc27e46cb78b2a","datavalue":{"value":"5689822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900650$F99673FD-E0AF-4FF6-A859-53599ACE2B4F","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":"Q5900650$4540FE35-9A70-4A1B-B204-36E044630E8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6217e8603cbbe8177c4caa572727c320eabf03c8","datavalue":{"value":"https://doi.org/10.1007/b11792","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900650$5F2C1C80-5D0A-4794-B3FC-8D8BEADEB1A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"794fb7229cc63c064c646850d0df35641dd6ef74","datavalue":{"value":"W4229540941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900650$39AF37E5-AB72-4328-9926-B80C97D4EFD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1119c440829655826c2377a321b57eed924cb57","datavalue":{"value":"10.1007/B11792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900650$9825EFE2-E68F-42D9-9374-4E9EE5375940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a8df3d53ad6db367cc3d192d7733a26dd085b5","datavalue":{"value":{"entity-type":"item","numeric-id":1356219,"id":"Q1356219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672682de05a8d9152211bd3cb717e80ec18bfee8","datavalue":{"value":{"amount":"+0.7581475377082825","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":"Q5900650$3F00129F-BC1E-4858-8049-81ED193AEDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee49e76f6674a63d8ede6dc2a33ba7212aa65784","datavalue":{"value":{"entity-type":"item","numeric-id":3509215,"id":"Q3509215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a7d2372c8d94a63e80a5c82efe3244fb05942a","datavalue":{"value":{"amount":"+0.7550097703933716","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":"Q5900650$3BDB8AD0-2DE5-4014-94E6-B166E4D84A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1eea37d12826568281aff1b4823d1f598eb76bc","datavalue":{"value":{"entity-type":"item","numeric-id":2411265,"id":"Q2411265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cd6f54ad9cf70e5df4a6fe0708d552c0e787d8","datavalue":{"value":{"amount":"+0.7540301084518433","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":"Q5900650$F7BBBB8F-735F-4D5F-8519-69ABFC85DFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd934749e933d2393a2cbabd2acd3df23363489","datavalue":{"value":{"entity-type":"item","numeric-id":962927,"id":"Q962927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9bcd7396eace03ae6ac552bdb90e5e39fabf33","datavalue":{"value":{"amount":"+0.7455297112464905","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":"Q5900650$EFEA3CE7-3470-4860-8F97-A690C934C7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b31e9d98a9f875a22a4aa2b809b7b98941177d0","datavalue":{"value":{"entity-type":"item","numeric-id":4950604,"id":"Q4950604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa31d3f99a042f62198cd5c42a4f3fc68e4edf92","datavalue":{"value":{"amount":"+0.7441831827163696","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":"Q5900650$36451A03-07B9-451A-8B2C-FD32809EDB93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probable consistency checking for sets of propositional clauses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probable_consistency_checking_for_sets_of_propositional_clauses"}}}}}