{"entities":{"Q4237680":{"pageid":6267281,"ns":120,"title":"Item:Q4237680","lastrevid":46751769,"modified":"2025-12-25T12:51:04Z","type":"item","id":"Q4237680","labels":{"en":{"language":"en","value":"Pruning the search space and extracting more models in tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275097"}},"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":"Q4237680$CFF66D0B-C05C-4518-AE5E-7B8B8501A330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6484fe433e9fdd39451961bc6720e955ee19e9ba","datavalue":{"value":{"text":"Pruning the search space and extracting more models in tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4237680$6DD23370-4B34-460A-83F2-F51AFD703FCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9dba2a66fe83af984cea2ddf94e42f9e1de6a0c","datavalue":{"value":"0949.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237680$6E01F31E-5BE0-4C62-B6E6-503F82FD3B58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4237680$E27D89B8-994A-41D0-96F5-0C7767B878AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"990752c320d29232b9e0b8025fa1f119d1be577c","datavalue":{"value":{"time":"+2000-12-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":"Q4237680$E70EC972-E944-4D63-9928-1FDFCCDCB095","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237680$60BB322C-6501-4636-9094-6A44674CAA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237680$6D4451F4-5438-4C4B-9A1F-EA53917F0788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237680$DD65B9EE-5C96-4F23-BD98-454842E87724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f591afbbd868faaf2b10f30191501fe9fd3cace3","datavalue":{"value":"1275097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237680$D90F2405-2F64-4FDA-A508-74EE40596131","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237680$B797F36F-B950-474C-A911-E7E9191BAE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7db778b4e02f1fb2caf3b6585d28c0681ab6a0f","datavalue":{"value":"extension of tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237680$97F7E441-309C-4DDA-8845-7FA4970B689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0bc2426b4d3e64b62396d2ab77c8f2b340d221","datavalue":{"value":"Hintikka sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237680$CF532BBB-F302-4D5F-8FE7-3F2F28AEACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8324f5b352cdba672f1154b8de6c235b04255eaf","datavalue":{"value":"decidable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237680$5B6A4B64-5150-4BF8-BACE-D35D11CB2D65","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":"Q4237680$7E2128C9-45FC-4AB5-82B7-C3A911A5B9D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f9e231c5f11925ffae6046cc2e48ded80747123","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.2.217","type":"string"},"datatype":"url"},"type":"statement","id":"Q4237680$59341D4A-C200-49CD-9B60-8509F75857E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f224f64e0df0388cdab5fe6bdc997bb51b4a3617","datavalue":{"value":"W2041023020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237680$2F6D69A0-4C0E-4431-B1E9-A038AE1D83E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef11e4dd20864740ce60691c9c40068f0697d04f","datavalue":{"value":"10.1093/JIGPAL/7.2.217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237680$20D0DA08-6246-4776-897C-6E727EAF5EC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4237680$CFDCE089-61D5-44EE-8A5F-54431FCCDBBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320f2594cc15b455a7933523a6d00e9f204c8952","datavalue":{"value":{"entity-type":"item","numeric-id":4610336,"id":"Q4610336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d24c2e3e868059d14a6d02f047216d4bc588da1","datavalue":{"value":{"amount":"+0.9259676933288574","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":"Q4237680$0182D131-E097-41C1-B312-02F21A1FB694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bd3f4c6d2d1e6a09a1e1f27261e7bbd79034fb","datavalue":{"value":{"entity-type":"item","numeric-id":5187867,"id":"Q5187867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4a9aeb63a9927704ec75e18ce6c27d006e99ff","datavalue":{"value":{"amount":"+0.832602322101593","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":"Q4237680$9BA4C4AC-6B69-4550-84BD-FB8565BF8447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d722f8f40862bf2bef4161b78b32e2449d83c4af","datavalue":{"value":{"entity-type":"item","numeric-id":4272502,"id":"Q4272502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58841c1b9ffcee7c8b57aa8ae21c7dd0d5d25b60","datavalue":{"value":{"amount":"+0.8250453472137451","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":"Q4237680$F555C59E-7A87-49BA-9F9D-8DD35FF11F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d583f72e3c0104d8ab3371228d7f412d43375725","datavalue":{"value":{"entity-type":"item","numeric-id":2720403,"id":"Q2720403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9394ab74d85b9332c2de22c7eb12aafcd609bc7d","datavalue":{"value":{"amount":"+0.7648004293441772","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":"Q4237680$B815DA67-B25B-4867-9AD7-939285EADA62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4237680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4237680"}}}}}