{"entities":{"Q4032549":{"pageid":6062284,"ns":120,"title":"Item:Q4032549","lastrevid":55236643,"modified":"2026-02-05T04:21:33Z","type":"item","id":"Q4032549","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149884"}},"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":"Q4032549$CBCDBF2B-022A-49B5-82D1-FCFF609ACF92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"023c0eb29865369cf936ebc7733e066b5b99dcc2","datavalue":{"value":"0821.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032549$CC903629-2242-4300-982B-DB4970B074C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032549$F06765F5-8A72-4970-B10A-BD2BB36A71F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032549$614AFBC6-28A7-4155-A9DF-C9A12A26C66C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032549$2A6F2EDD-2D05-4F0D-AD31-C777B6A8B3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032549$E2357A3E-53AC-4617-A5BD-F0C33D1F8EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032549$99821273-70C6-42B0-84E8-C576CDFC4C7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"774dff0af853c6d73fae4f0885328e7d26312646","datavalue":{"value":"149884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032549$D0A14542-7705-4AC2-A99E-B8B2B1BB3A0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032549$49A58614-64B7-461D-BF6C-B16D57B43101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032549$A3430EB2-EE3F-4F19-9FA6-E3CA86017C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"821c75b5f9a4c5a9c5ef9edcecd9bc86ac28c6dd","datavalue":{"value":"modal propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032549$2657CD52-4B09-4D8A-93E2-72FBD9D76987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032549$586C37A0-CDAA-4606-9AA0-03E4DD7C415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032549$10D2AA21-5B72-4FE7-866F-C328D61EF5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae363a9982aa9589c93ead5daa39e5741274a702","datavalue":{"value":"Craig's interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032549$EFEA31FE-B1D2-470B-8236-96F3DAE70830","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":"Q4032549$34D41E5D-BB33-462D-905C-0E31EF1CACC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d6b507c5d15ba93ff37b3e15ce66032ac119c4","datavalue":{"value":{"entity-type":"item","numeric-id":5213665,"id":"Q5213665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916737b1e46bfa0036fd3c63105050494c3972fe","datavalue":{"value":{"amount":"+0.835987389087677","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":"Q4032549$11945EF3-A54F-4648-8B9B-98F0A793DBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e354a97d84b0a451d66b3d0896b39d2abd5a2a","datavalue":{"value":{"entity-type":"item","numeric-id":5147750,"id":"Q5147750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ea081fc743ed16c33ffc98fa5f079fe018bb14","datavalue":{"value":{"amount":"+0.8324624300003052","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":"Q4032549$2E314AD1-15FC-44DB-83C4-9FE39893258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0723a6f2b389f511a29724dc367dfec22ffbaedc","datavalue":{"value":{"entity-type":"item","numeric-id":4323041,"id":"Q4323041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d311efa05d9a5357f250e21973622e7bd7c90bed","datavalue":{"value":{"amount":"+0.822755753993988","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":"Q4032549$074C960D-7235-464A-8DD5-C8D1BD685246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85009c47187745fb6733f5ffb59550fd21dedd43","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c11ab092e69889615e311fd25cc7267784f4075","datavalue":{"value":{"amount":"+0.8208643198013306","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":"Q4032549$F5FED2BE-7A7B-47BA-9C0C-52E6B32757E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822e2522175f89942031286da5caabed2175436","datavalue":{"value":{"entity-type":"item","numeric-id":2027110,"id":"Q2027110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5b42e707783f684e3c92c28c0908296abb734b","datavalue":{"value":{"amount":"+0.8200868964195251","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":"Q4032549$00AACCEC-991E-4E89-B11E-5082AFFFD144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032549"}}}}}