{"entities":{"Q3532469":{"pageid":5562373,"ns":120,"title":"Item:Q3532469","lastrevid":80941412,"modified":"2026-05-06T17:21:09Z","type":"item","id":"Q3532469","labels":{"en":{"language":"en","value":"Uniform Interpolation by Resolution in Modal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5357955"}},"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":"Q3532469$5E9FF36E-48C2-4FD7-A47A-0232BF54177A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e433c877a0039a8c55ffc5087ab53346ccb6ff3f","datavalue":{"value":{"text":"Uniform Interpolation by Resolution in Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3532469$56529330-CE35-46DD-BF0B-31CC084A19AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0061f9cd630205af54739673879698e9a2f9d04f","datavalue":{"value":"1178.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532469$B3360610-0D4A-4723-8A3F-3957EB792846","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dae1cfaa9421753020d8e430a6a9783713563cd","datavalue":{"value":"10.1007/978-3-540-87803-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532469$1CDEBF00-DED6-4DEE-A1F9-022FF4F94D38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532469$0B09116C-1742-4808-82C1-A1FEB80727D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d9f58d925015d2adc006a7985e48f053ec4c22e","datavalue":{"value":{"entity-type":"item","numeric-id":2315364,"id":"Q2315364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532469$C162E270-717F-4BF1-93E9-8ED547730AFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532469$0F0FEAAB-153B-470C-BEF6-2443850FCA27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6a7a73594519f73ca64bd2ca3d2516aec27193c","datavalue":{"value":{"time":"+2008-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3532469$5958EF2E-5094-4159-B40C-C4E8A7C9D059","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532469$813B1E1F-D4F5-4908-8697-BE00D0A18AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532469$4ABB02E9-E34D-4DB7-9446-472FEA8A350C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a511536576d075b4f36b76907d165f5b44fc60f","datavalue":{"value":"5357955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532469$7610BDC1-FCB5-4C11-88CF-9D900930B5FE","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":"Q3532469$232AA0C7-ABAD-45EF-8FBC-15622CDB08C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32e8920237e63e5d99c8a4395ca7e3a93f53292b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87803-2_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3532469$2AE1A50A-5ACA-4A57-9E60-89E87DFA722C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dc14c2c8208e51c650ad58fd23e4a1c635b21cb","datavalue":{"value":"W1602801054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532469$95A9EAC1-1FD9-4133-96D6-E9159E7401FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6547e30ee0769251ed53a0d545911f34a6f2eae","datavalue":{"value":{"amount":"+0.8012219667434692","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":"Q3532469$8C12ED70-E032-49CF-8E4B-7804810F2E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587e5ad5c92ae7e0400e3ab63a042aefb497ae32","datavalue":{"value":{"entity-type":"item","numeric-id":2321251,"id":"Q2321251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c471b204d821c2b722598d65bc6ab3e2e06c40","datavalue":{"value":{"amount":"+0.7843136787414551","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":"Q3532469$CE706942-F645-480B-A245-EE0DA3FDAC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62149e7f381e3b339a21022742483b931762254f","datavalue":{"value":{"entity-type":"item","numeric-id":627437,"id":"Q627437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2182ebd967d52a04fa164d12f0d6dae1a63c5117","datavalue":{"value":{"amount":"+0.7609491348266602","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":"Q3532469$18C4119C-0DBC-479D-BE7E-4B86690E1F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbf88e7f6af4f272f9712d909040ab97ec69714","datavalue":{"value":{"entity-type":"item","numeric-id":2870153,"id":"Q2870153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6fdb1d8857d82ddfdcbc238025ab3454b7c0fbb","datavalue":{"value":{"amount":"+0.7484831213951111","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":"Q3532469$6332104E-29EB-4C74-89E0-73A2A3F60C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d6b4085fa046bdea723deb56b2f0e77f0c323c","datavalue":{"value":{"amount":"+0.7472556829452515","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":"Q3532469$C1E6D387-D0D6-4F0B-A279-579E7ED0BB69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform Interpolation by Resolution in Modal Logic","badges":[]}}}}}