{"entities":{"Q6869918":{"pageid":20716099,"ns":120,"title":"Item:Q6869918","lastrevid":84234182,"modified":"2026-05-14T00:23:37Z","type":"item","id":"Q6869918","labels":{"en":{"language":"en","value":"Entailment vs. verification for partial-assignment satisfiability and enumeration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149378"}},"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":"Q6869918$F37DEBBD-01F8-4E68-98F8-E9A52D7C022D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40a0b5d956fb7fd3d825787f11689cc0b10eb533","datavalue":{"value":{"text":"Entailment vs. verification for partial-assignment satisfiability and enumeration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869918$28D1B6F9-A7D4-43B2-80E2-12F9096637CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b05229c26ae1d76c97de63d0797de4c0e09b78f1","datavalue":{"value":"10.1007/978-3-031-99984-0_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869918$58345826-21DF-4EBA-836F-64B140DC1BC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$E55CEE1C-74EA-4B95-B77D-C2E5FD143E75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869918$9034A36C-92DD-47C6-95BE-F8DE38032270","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869918$5AD61854-98DE-4C9E-8D42-C8D16035B3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869918$D3C65ED0-5676-4DEB-90CB-1447ED63DD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869918$9F9710D2-FFC6-4ABE-A771-EEF85D0F0D76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"654713c9749ae230226240726cf9bdd994e5075b","datavalue":{"value":"8149378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869918$D35CEC5E-CFB6-486A-917B-4B3C0521BEAB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$59FD1EE2-36BE-4174-B651-FBB914B682D1","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":"Q6869918$83414334-F7E8-418A-94B1-F38A6568E30C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8fb9366cf73138dfce57da59b48de3e7493c00d","datavalue":{"value":{"entity-type":"item","numeric-id":1353946,"id":"Q1353946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$27D1C318-86CC-4270-8934-E9041050F74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe82ca7820de6b91c1ce3ceced5f38fdc13081b","datavalue":{"value":{"entity-type":"item","numeric-id":3453218,"id":"Q3453218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$26402997-88D1-456E-90F6-72990602A69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$59185A5F-D2B3-4352-9110-F42CB4853913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$A0E0C6BA-011A-41BF-B25E-03BCBE3030D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a535f5c7cd1a379547d41f9413adf48d41275057","datavalue":{"value":{"entity-type":"item","numeric-id":5194954,"id":"Q5194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$3C0DD030-114C-41EF-A02C-BD8CE62C9527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$C4FE4B7F-8D26-4B5E-A215-39F85D319211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$2D227CAC-A12F-4D8C-916C-3690D25C3CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$BF4FED93-7D81-4597-AF13-2B147DF44C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$761F7A3B-CA9B-4519-9636-70AC1D008737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b52eb07bbad00fb997601b9c5f4170b1a27c4e","datavalue":{"value":{"entity-type":"item","numeric-id":6864431,"id":"Q6864431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$C033DD8C-7442-4FD8-B127-9282027AE327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41843b153ae358cb1d2b6340be7c6238ab638455","datavalue":{"value":{"entity-type":"item","numeric-id":6643082,"id":"Q6643082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$7A1A1144-6358-428E-BF49-26156FB2457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd8a4dc93b016ae90d166400ff8f558de540e1","datavalue":{"value":{"entity-type":"item","numeric-id":3630153,"id":"Q3630153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$78E0019F-5299-42BC-BE80-6A261D439BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153ff2c071bc5db7ed2a4a4864b90953ca620982","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$C3F7519F-269E-401C-B751-A04661CDF6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655a6d0fbd4f90f8fd542baf0b7db76619b1c659","datavalue":{"value":{"entity-type":"item","numeric-id":6643091,"id":"Q6643091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$6DC9D6D4-1BA8-463E-9C82-07C9BE9113A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5505735afe1c3a3daea05bf60c80f7a8d160f497","datavalue":{"value":{"entity-type":"item","numeric-id":2661334,"id":"Q2661334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$49D7912E-0572-4783-B75D-67275D3A97A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8173dceb25bd1253e06d78f531a2da437e524355","datavalue":{"value":{"entity-type":"item","numeric-id":2321319,"id":"Q2321319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$7C04481E-4F41-4CB0-8618-D5DC8DC6F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcac978841419ce034f350539ce42ec605c245bb","datavalue":{"value":{"entity-type":"item","numeric-id":6657245,"id":"Q6657245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$91124BEF-3E6D-4E8E-AEEE-624250D91A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$8E5DDC16-A662-49F8-B9C7-DCDFEE1E7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b385c901a200446b8691fd35827a899de6631d81","datavalue":{"value":{"entity-type":"item","numeric-id":3524999,"id":"Q3524999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$0E1B5B7F-ADAE-439E-AAB3-07D3B8E71A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$6CA58A73-CFE6-4D65-80EE-9C4E31A19FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470998aa3ffb889685e1a96b368461dc00a63016","datavalue":{"value":{"entity-type":"item","numeric-id":2946768,"id":"Q2946768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$6C0D45DB-1D4A-48CD-8783-69F6A6DA6DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$02ADB1CF-2764-43C2-AC9D-17784381585D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5638b52201bc9a08a21c4326a69b69aabcc9fba","datavalue":{"value":{"entity-type":"item","numeric-id":6494358,"id":"Q6494358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$28A06FC8-D2C5-4A6E-A507-CED8382460CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869918$B897EFB2-20C2-41BD-B227-6F0B13222883","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Entailment vs. verification for partial-assignment satisfiability and enumeration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Entailment_vs._verification_for_partial-assignment_satisfiability_and_enumeration"}}}}}