{"entities":{"Q3524222":{"pageid":5554126,"ns":120,"title":"Item:Q3524222","lastrevid":50449709,"modified":"2026-01-14T02:10:33Z","type":"item","id":"Q3524222","labels":{"en":{"language":"en","value":"Using Boolean Constraint Propagation for Sub-clauses Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323098"}},"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":"Q3524222$9507FD10-6C6A-4BBE-A574-A04C1B6DCF8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1535375cdde5690364bc3c156735cb17c6c15910","datavalue":{"value":{"text":"Using Boolean Constraint Propagation for Sub-clauses Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3524222$DAC9B81D-205F-43DD-B7C8-D581B50E7852","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f584df09faf6272fd215935f0c78f2ad2c7db281","datavalue":{"value":"1153.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524222$3F2FE723-CAEB-4EFC-8CC3-F6828540D775","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06b57e3ac802d94e4e473c3ecd1b0088a6781c0e","datavalue":{"value":"10.1007/11564751_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524222$A3CB1900-93CF-4A27-8AA9-DE3887FB7007","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"933eb333a4a50822c4be871741cee25575e4c921","datavalue":{"value":{"entity-type":"item","numeric-id":3523059,"id":"Q3523059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$32BF1C0B-FBBD-4E08-B496-6BF8B0E85D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f1be76b563c76fdf8a95ee73e12e352dfe04eb3","datavalue":{"value":{"entity-type":"item","numeric-id":839498,"id":"Q839498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$75CD5305-2774-4A8F-ADD9-3B6B91785AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"896b0701562a979b8f68d9a69ce673b17a6c1af7","datavalue":{"value":{"entity-type":"item","numeric-id":3523060,"id":"Q3523060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$D1D1A413-520B-4D53-959E-01287D4FDE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e88d1227c6f881b7f6fcba4e1e3032aea20dacd","datavalue":{"value":{"entity-type":"item","numeric-id":513328,"id":"Q513328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$1F291E1E-79E4-4D17-B24E-46915FBAEA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"540102e576d0aa9e6d16531b5f8f5324a9535282","datavalue":{"value":{"entity-type":"item","numeric-id":3524221,"id":"Q3524221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$4C1B56C1-6BA2-49DD-A17C-DD825C0FEA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$75B95692-9FA1-476B-8669-CCBF95035C43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e691ea6495e7faeed227cefc6e05f72a0339a4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3524160,"id":"Q3524160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$6FDEFE38-9966-4076-B0A6-279304745E0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3524222$BE8D3971-0674-45CC-A3FE-1BF78CA8D872","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524222$A8823021-CC00-44FB-AFA6-7D568341D414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd7af15769f3c0721b432799b4bd661a4505fe37","datavalue":{"value":"5323098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524222$F5267130-13B4-424D-8D77-7A0C4CC8D685","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ba639714f2f8787e77fa0ff38f8320423878539a","datavalue":{"value":{"entity-type":"item","numeric-id":13241,"id":"Q13241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524222$D3A6107B-4D7D-4A15-B1E8-0C00A1CC51CB","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":"Q3524222$BC1DDCF7-C8DD-4720-AB08-16F8B2F0D235","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3cd30e000ff2ab64d35b7bb325be69a8e69a944","datavalue":{"value":"https://doi.org/10.1007/11564751_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q3524222$7CF6DCBA-1FE2-4C9E-BF33-45F6C870D7A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8da44f170f7a5170d6bf5ed02cda12265da4e836","datavalue":{"value":"W1530261919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524222$E9C48152-2527-4D3E-9999-A87F0C60B13D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61c633924bcaf5c94158b1a0088ff8a9e3ca7ad","datavalue":{"value":{"entity-type":"item","numeric-id":1357667,"id":"Q1357667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfa4f3ab7cea49f58bb05dc6bf463d93fff25c3","datavalue":{"value":{"amount":"+0.7601068019866943","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":"Q3524222$1D1F9CDD-A2F0-4628-9479-EF271271AB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab374e9f5fe0c258a9395969a4be6c2393e4680","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02131d62746076b26e07c165ac8bc99d4373cd6f","datavalue":{"value":{"amount":"+0.7455541491508484","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":"Q3524222$4794C778-6B25-4A91-A943-65A724934A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584133e6ee9ce7d04aeaf67a2ba0591adda80368","datavalue":{"value":{"amount":"+0.7381542921066284","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":"Q3524222$6042DF37-890B-4579-9FB4-C74DF1096B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889c411f3b68395fd1dbfef8e4d7d90fbd5ca1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3fad880053c1089816e810f1363f29fb52a67b","datavalue":{"value":{"amount":"+0.7360032200813293","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":"Q3524222$D94D6A98-4E19-4A4C-983D-A2C46637366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22bdcdca4d8d41325bbd8e35be08b8ac85e833da","datavalue":{"value":{"entity-type":"item","numeric-id":1430296,"id":"Q1430296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6283c7085d0604fcd7fddf2e4c50edd79b3cc05f","datavalue":{"value":{"amount":"+0.7311451435089111","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":"Q3524222$6BFEF751-55FC-4190-B14C-CAF4FD3AB31A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3524222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3524222"}}}}}