{"entities":{"Q2996159":{"pageid":3006883,"ns":120,"title":"Item:Q2996159","lastrevid":51238205,"modified":"2026-01-17T09:44:18Z","type":"item","id":"Q2996159","labels":{"en":{"language":"en","value":"Proof and model generation with disconnection tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884899"}},"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":"Q2996159$760FABAC-D8A9-43EA-ABFC-5C13EA694B13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"043025d49d330324fd9740de361384ba34d5ceb4","datavalue":{"value":{"text":"Proof and Model Generation with Disconnection Tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996159$D3DD7320-C551-47D6-BBEF-F383398E5E28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce2bb11065132266e370d5c2db3596d57bdee1f0","datavalue":{"value":"1275.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996159$C468E70F-BFCC-465C-BF4B-08ECC2732C52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac3e1b557cb0779e975c76c54a6df4f682411c8","datavalue":{"value":"10.1007/3-540-45653-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996159$1761C394-03B1-44FF-AA18-D8ACBEB297B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"694292681c88a12d37193501c3fe878bb7f9ca78","datavalue":{"value":{"entity-type":"item","numeric-id":877887,"id":"Q877887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996159$9F8373C2-E51A-4B32-85A8-80DC3E8387C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b62c34022c3b18db86129c72e2658360d4fd661e","datavalue":{"value":{"entity-type":"item","numeric-id":877888,"id":"Q877888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996159$893AB679-3D07-4EDD-9230-09E443DEF4CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996159$7E8A1BA3-5390-4816-9163-D9BF29E1AB6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-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":"Q2996159$FFFA5942-84EC-4F29-AE12-5FD560D56406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996159$0C651977-DD99-426F-9DB1-360C31492131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996159$23E56BD2-C68A-4DF6-A9B0-666156980B89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33ca7d2b9872abbfdb6b6c07b15153219f31b2cd","datavalue":{"value":"5884899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996159$F16329D9-9D84-444D-AC4D-92EF1ED6B11B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b91ac32942574114e615de5dd586d7306b3c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":18709,"id":"Q18709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996159$3E8D2E1B-810F-4350-9F9D-ED37375C8C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996159$9FC997A1-9AB7-433D-BA8A-836DCC611E3C","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":"Q2996159$31E4C053-B67B-41B0-95C6-654692AE9B5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"219aad43c7e1220725f06dcef3d8a5c8e1693872","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996159$A9C38AEF-F437-4BF6-BF90-117954F3324D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab2838bbbe62ead482e1ecc8da28becdbece9a5a","datavalue":{"value":"W55835010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996159$40B5510A-E095-4BC7-9FCB-933B9ADE410D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574c234d136db95e089adaee97950623853f74a9","datavalue":{"value":{"entity-type":"item","numeric-id":877889,"id":"Q877889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b945f9b94914ac60193aee2e2058f16478214e18","datavalue":{"value":{"amount":"+0.9145593047142028","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":"Q2996159$7AFC8B15-495B-4170-9B7E-86AAF3A1D070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422a9c29860a6f31fbe4bef68d100ec6620e7104","datavalue":{"value":{"entity-type":"item","numeric-id":5307066,"id":"Q5307066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c23c10933a07db4e1dd794ee9ce7a91178a31e","datavalue":{"value":{"amount":"+0.8350197076797485","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":"Q2996159$EC500D35-4E7A-4A08-8F7E-759A1537489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b30a132f5e29b3110a6e5fd7d4b1f3559d8557","datavalue":{"value":{"entity-type":"item","numeric-id":4539623,"id":"Q4539623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408c1f6d108c9ac865b21b2e3f9d759b00b0a861","datavalue":{"value":{"amount":"+0.8340782523155212","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":"Q2996159$C95D29A9-5BAA-48B2-B30C-7346CEB3C6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b7513d684a9b801d2ab94bbfc5cc3d6af2d568","datavalue":{"value":{"entity-type":"item","numeric-id":5187863,"id":"Q5187863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12f780085a6f0d7602c50ca7290ac01f692ec92","datavalue":{"value":{"amount":"+0.8321964740753174","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":"Q2996159$80283128-C28E-4700-A842-99EDCE85E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3f97d82a36223ea1a1ccd915722bf768d1b1ba","datavalue":{"value":{"entity-type":"item","numeric-id":4412859,"id":"Q4412859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36c6756ceca6aa259d63341329d2a88270cb06f","datavalue":{"value":{"amount":"+0.7895419597625732","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":"Q2996159$BF0AC0AE-7CDB-4477-836C-DCC8198CFBC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996159"}}}}}