{"entities":{"Q4647550":{"pageid":6677131,"ns":120,"title":"Item:Q4647550","lastrevid":53320973,"modified":"2026-01-24T17:43:38Z","type":"item","id":"Q4647550","labels":{"en":{"language":"en","value":"Resolution-based calculi for modal and temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001940"}},"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":"Q4647550$E90082CF-1B2D-4BCD-A12B-B1ECF4C8CF26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9173d8754260a43cde2807f1b9a8615404f7556","datavalue":{"value":{"text":"Resolution-based calculi for modal and temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647550$84555A75-50E3-4416-98AD-6E70BFCA7EDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c66b938c61fee7984b1125b4d774fc2f3301e00a","datavalue":{"value":"1415.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$DD822AEF-4293-4381-8EB1-0C156737C34F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56c1c1fa6e1c2ff874954716acbaa0708a51d9ee","datavalue":{"value":"10.1007/3-540-61511-3_116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$D407D014-0188-41AE-A7D8-C2812A178F02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dfe61630de7cf01a3a9198b95bbb5b37622d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2751357,"id":"Q2751357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$2BE287CE-1820-4FCE-A635-F8BFCB3FD8D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$1E3B290F-2AE8-4CF9-96FD-ADD13A0C338D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647550$7468A476-79AD-489F-A02A-F1B8821013BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$99AE0D6B-1AF8-41A3-8BC8-8A6F3B2D2AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$6CF23C4F-5F7F-4F97-BCAF-B4AF325C4903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$A03A4B6D-D0BC-43EF-AF8A-B8087EDDCCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$4D81DA27-FEE1-495F-97E1-BEE565F47E48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1442bdc0a36897825b6e1e7df4f5615c0cdc656f","datavalue":{"value":"7001940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$DA2F6F0F-0B7F-4E17-8718-D4FF1A8E209E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647550$D1E161B7-252C-4BFD-8AFA-21E458B6C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb2c27d13dc53d35e543d9fb734a743ef1d5ae1","datavalue":{"value":"inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647550$12CF4113-1EA6-4982-9ACD-061F5EFB5716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647550$63535BFB-0E1D-4351-BDC3-D6C3A441AB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647550$084259E7-D870-4C54-B07D-1A4A121F1EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647550$3F0FE6E5-8A27-49E4-9162-A159394F0CD3","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":"Q4647550$C81565E7-2CE8-4643-9F23-863C8C3E6F06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98525fffaf74c7ba9d8cc7040af20254cbdbee12","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_116","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647550$D957480F-0D71-4F5A-99A5-49F307623527","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c92d399c8eb7c3fd63cfad95662d6b3de47fbabd","datavalue":{"value":"W2167789485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647550$5A0D7D98-65CD-449E-B25F-F3FF1D21482B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8650a071223264bfee34c96b2e4233b3080f6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4018166,"id":"Q4018166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$D9939BF1-8966-4A1A-88CD-325B2A49ED21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$9113BC90-956F-401B-8455-33AE0C66B010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f1a60c6e3806b7702203145e0970dcda3051ea","datavalue":{"value":{"entity-type":"item","numeric-id":1337606,"id":"Q1337606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$7EB26201-8CD1-4EE9-94FD-6DFADC894D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$1D3B6F42-78FD-48BC-B6CA-1FD1D1045EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec310e5c5aa3f56b09bc606b61239b789faf746","datavalue":{"value":{"entity-type":"item","numeric-id":4537451,"id":"Q4537451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$53068F02-6C72-4890-8211-CA0CE4D9B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8d6fe643120eff099e5038d750eccd67fd9c8d","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$1E3B0015-D751-4CB9-A30D-CB5EEFB770D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$7E72313E-292F-4417-81E5-5A717226845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$18CFFAED-5239-4C63-9224-1ACC06318B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$CCAF3417-05CE-4043-863A-9722BE453BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$B425580D-EBDF-428D-A858-286E3D1ABC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$CB8124F4-AF8B-4B0E-A4AF-F6990EF6804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b60eccd4b09a550ba83066d2f8c8289bffcbdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3677745,"id":"Q3677745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647550$65142BE0-E925-4BE0-8F39-58BE2551AE1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015c1b839f15d4ff4b1d3baa7145055e3f115150","datavalue":{"value":{"amount":"+0.8536794185638428","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":"Q4647550$2EE65A11-C0C2-468A-B45E-B5B2A9F28295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fe409470a40395916310d4b716f9972645e707","datavalue":{"value":{"amount":"+0.8202950954437256","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":"Q4647550$56C46E7A-AFDB-4663-819A-A7D9149D7DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaf25f850d887ad83ab0b62cbf59b1cda9fe30a","datavalue":{"value":{"amount":"+0.818907618522644","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":"Q4647550$E243D3A6-AEB2-42B3-92D0-5B5D75D4B877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d50e1c0df666fa91adb1a99dc10e55d393c6d9","datavalue":{"value":{"entity-type":"item","numeric-id":4916086,"id":"Q4916086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64152727e4f7cad801f31525362940c85e2708ca","datavalue":{"value":{"amount":"+0.8151547908782959","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":"Q4647550$CE8EFDA1-ADD8-455D-8BA3-4BD3E68AA751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26638a2dc1847797d44ccec79ea0876ae21cf485","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a48727de4fcfe4c5abd507f47e204c82bc7de7","datavalue":{"value":{"amount":"+0.8055978417396545","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":"Q4647550$EC57B1DB-76B2-443C-B276-DB437FB22DAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647550"}}}}}