{"entities":{"Q1581852":{"pageid":1592592,"ns":120,"title":"Item:Q1581852","lastrevid":47513302,"modified":"2026-01-01T23:03:29Z","type":"item","id":"Q1581852","labels":{"en":{"language":"en","value":"Positive unit hyperresolution tableaux and their application to minimal model generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515410"}},"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":"Q1581852$D52ED4F1-D05B-40D4-B9A8-AEF0D2EE6E9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1593acffce8a535dba99ef3dd44c1dd256660baa","datavalue":{"value":{"text":"Positive unit hyperresolution tableaux and their application to minimal model generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1581852$EDC269B9-4EF6-4EE1-81BE-58D04A1EDEBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0537930f57d68b946fe9bb360ae8c15d9f865c86","datavalue":{"value":"0960.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581852$5A808A07-8042-4066-9ECB-6E332661492E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1251db3487a0d8994f9e643280f3587fd9c8c506","datavalue":{"value":"10.1023/A:1006291616338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581852$6665EBD6-66CB-490F-A7C5-2F369A2C7543","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"108d5b9d05cf97834387b26de87409dc747dc933","datavalue":{"value":{"entity-type":"item","numeric-id":226999,"id":"Q226999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581852$6FA341F9-FAE5-4C8B-807A-32AAAE50C00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6350db9c05cc780a6f4d304d21aed8da2a7f61","datavalue":{"value":{"entity-type":"item","numeric-id":814428,"id":"Q814428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581852$8A41511A-E386-4A69-A906-D6B69B553B95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581852$B2F75EE9-9057-4CFE-B8C1-2CC2062981F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"596bcab15d057c5a3be66976ce230a7e445b7657","datavalue":{"value":{"time":"+2001-02-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":"Q1581852$4084D189-FCCF-4B9F-A59E-5C92A4C023B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581852$1FF9A421-91FA-4A46-8FB5-B4F10B2277E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581852$D122231F-8576-4672-86F0-E598C3BA8887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e74501adf981c646cc37acc1bcd3af5733a0c7d7","datavalue":{"value":"1515410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581852$00871580-D9EC-4085-9789-B30548E03FDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581852$9AFE50F4-1F8D-4ED2-9C07-473FE1E14BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581852$B16FB237-46BA-45B5-816F-A776C8D63DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581852$51ECE417-A47B-4497-B714-7F66085A9409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581852$04DE220C-6DCC-470E-A2D2-65627D3BB977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f26ad2130ddc4077dc89d50aa62c0e6a25724d","datavalue":{"value":"Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581852$6F07E0FE-8C81-4301-ABE9-DF824AF7577A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a470e2feeb5b03c6d58b7f113bf4543f4c6053","datavalue":{"value":"first-order clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581852$F2A7533B-DDBB-4E90-849A-66B19100C385","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581852$D99CE02D-519D-4493-B5EC-768300B09F5A","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":"Q1581852$29D20709-E374-445A-94B5-61C9C486CDFB","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":"Q1581852$22B0AFCB-582F-4156-8FA0-A7CF30CE8E27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"553f750bce8fbb42ac0ca9d0b49441d3d4fe1503","datavalue":{"value":"https://doi.org/10.1023/a:1006291616338","type":"string"},"datatype":"url"},"type":"statement","id":"Q1581852$00C5FD54-41A3-45BE-B79C-09481301B374","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27b11b07aeaa126069645615f3e9e140947aba09","datavalue":{"value":"W2150903551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581852$639C1B06-3D36-4FBF-92BD-2F233439783A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd53f899484812b8e10ce412ca701408b96725c","datavalue":{"value":{"entity-type":"item","numeric-id":4645233,"id":"Q4645233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a75b33ae4d4c61669e68e057c53a07ebba0cf17","datavalue":{"value":{"amount":"+0.9456356167793274","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":"Q1581852$6A0C87A1-4CB9-46B5-A8E5-36614089FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7338c18cc75f77d2e5e7ca7a1cb1d9321e3522c6","datavalue":{"value":{"entity-type":"item","numeric-id":4263020,"id":"Q4263020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb0a7301a53e6f9b407b95d99725e8659cef62f","datavalue":{"value":{"amount":"+0.8364577889442444","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":"Q1581852$BD0BEE26-A533-40FD-B929-EC70821B7833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb0a7301a53e6f9b407b95d99725e8659cef62f","datavalue":{"value":{"amount":"+0.8364577889442444","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":"Q1581852$F6883B99-9801-4961-942F-3549C2E8CFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53662f7d469e3946380eb22df706dc7c81ce8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5385d67a89ff2b1fbd6587bbffcdc4435648099c","datavalue":{"value":{"amount":"+0.7965567111968994","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":"Q1581852$C88089E3-81EC-4C82-AEC5-BE32E6CD33B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5343a256059c90413c367a04bdf27b286c85de5b","datavalue":{"value":{"entity-type":"item","numeric-id":2825415,"id":"Q2825415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243a158fa97820e062e0f71eb5cf0ab60e8514d9","datavalue":{"value":{"amount":"+0.7736109495162964","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":"Q1581852$6B235026-2BD0-41BF-80BA-21DD79C64030","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1581852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1581852"}}}}}