{"entities":{"Q2055845":{"pageid":2066587,"ns":120,"title":"Item:Q2055845","lastrevid":57686883,"modified":"2026-03-31T22:09:31Z","type":"item","id":"Q2055845","labels":{"en":{"language":"en","value":"Efficient local reductions to basic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437073"}},"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":"Q2055845$3919632E-95E4-4519-89D2-7D40EB13AEC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c37cc91d8e5d97a2d76686074bf2b8afbbf4935","datavalue":{"value":{"text":"Efficient local reductions to basic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055845$8C72815E-7B90-4C73-946F-9296F9264B9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95c65870c624b448464994e99694a331f63e8888","datavalue":{"value":"10.1007/978-3-030-79876-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055845$4A88B7A3-5EF9-435B-B4F0-4F0FF92511BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a0bdcaa33e6b607823dc2d5b7383b94bdb05ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2055844,"id":"Q2055844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$9543CCBF-1B84-4573-9519-79EB9342758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$04795286-E4DA-4543-B2A0-A4E4D695DC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$EA8C292B-35A3-4932-B998-E8FB699CE068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$DECE4F58-2CFE-4064-8A2C-FDAFB58562F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-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":"Q2055845$6A920810-9FD2-4AD6-92C5-34D00EAD5AF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055845$BEAA2735-DA6A-4E30-AA6A-410DE9511546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055845$A59A84DB-2560-4332-9BB5-3405F87DC9AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7065f90cc1c49aa78a6050581bd26c05053fec75","datavalue":{"value":"7437073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055845$87C8E4C1-C12E-4B94-9475-FFC700CF40A1","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":"Q2055845$24B60583-0002-4FB6-AC50-00865F53EDE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c392de28017e1924eca1e267bad50332bc925d4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055845$847E9D41-02CB-41DB-A2A7-81EE6FCC71EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efc3d9390ed981ac6f04882224ffe785c34a4370","datavalue":{"value":"W3176063663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055845$7DC75734-7C4E-45BA-ABA3-4AC90DEFF4D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$415DDE8E-5561-4D61-B435-65A61CE38A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5cae3a6dddd4b0039b4d60187b9cfa833039fc","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$A6871C1C-793C-4B47-9CF3-93C561174B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fdfe50642d43bcbc1e1abcfb32e3a3f77b86c3","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$1C4B0F48-4AE4-4E4B-901E-4374D80306F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$E19DF3C2-0E2B-415C-9468-5CB1D816C93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fe4c052551781206932755fb69ba5d329009fd","datavalue":{"value":{"entity-type":"item","numeric-id":4067091,"id":"Q4067091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$6E2D19E7-1D13-4740-ACAE-B7BDC58E29F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e6e9433abf7467709656a37ac7bcf8290b9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5479288,"id":"Q5479288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$038DC6EA-E010-49B6-BC7C-8064C0648022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$3DB69350-84F3-40B5-8406-8AC927434DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa50d0f77af91c645e95a9371b5bb6a1956803b8","datavalue":{"value":{"entity-type":"item","numeric-id":4529489,"id":"Q4529489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$E2F8E206-A96B-458D-A465-C27753FA14C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0741a9238fcb5c8d26a8013455936dbf8086e574","datavalue":{"value":{"entity-type":"item","numeric-id":5465444,"id":"Q5465444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$24733201-0AED-4AE6-B40B-5087FB0EDE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899e87059a25c13dd8994962a6e11071ed4064da","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$A394C8A2-4A19-42FD-868C-7E6DB1B39D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e154916204a21cd778ef4c60cbd61cbd59f459","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$02CB92D8-C032-43B0-87A2-1BE5B608D181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d221eeea8da4b6eb220963d58ddf03b3c7a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3455770,"id":"Q3455770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$B87DED55-1660-481D-B221-6DFC3ED5E37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027ebbb319f6ddd45c809b3e595d23ff70f6cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":2817940,"id":"Q2817940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$08E145D7-6119-4168-9AAA-940D7B467EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc32380a801af8bb19b7fe48bc238e9339feb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2303247,"id":"Q2303247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$F563A99D-488E-4E92-B53D-884DD2D12B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00eb2cff2c62632a3b236cc3682475d0881afdff","datavalue":{"value":{"entity-type":"item","numeric-id":763333,"id":"Q763333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$7BE902E4-E53B-44C6-9BAE-57666360EE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f711f8df070156c625ab5bb45a5b09f0f2c1adf","datavalue":{"value":{"entity-type":"item","numeric-id":2751373,"id":"Q2751373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$E2D25F52-3191-409F-A3DD-C27A04BF37CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3c55acef09b75ced3de6aa80cdbdc9a1e475f","datavalue":{"value":{"entity-type":"item","numeric-id":3192198,"id":"Q3192198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$5A935034-A138-4170-8075-F5326056D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab7350d19158809c2398852d4e1d099edc012c2","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$3BA03501-F860-4FDE-BB33-40067A677AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47b5cce3befb4b6dd08a3de34853c35e40e671c","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$452E1FD1-D047-419E-A948-8B3F7F343840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c0b67b26953c51ed06d8bcf68eda9998162111","datavalue":{"value":{"entity-type":"item","numeric-id":5277784,"id":"Q5277784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$B68AE653-182C-4957-9854-93DD6CCB2E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6579ba18a64bfb68d3585281c63df9817611aced","datavalue":{"value":{"entity-type":"item","numeric-id":4916086,"id":"Q4916086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$87997BE8-CAD1-4FF3-91B5-8B682ABC8338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1bdd6abc4d3cf5dea2b7602404acd1281c9b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$60E3AC89-99C3-4A14-A22C-EDAE0FAF3E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$ACA63966-D8D6-4238-A35A-617A4D6F12AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daae577a65a5c1d0763b3df795c4bcdbbabcd5ac","datavalue":{"value":{"entity-type":"item","numeric-id":2102930,"id":"Q2102930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440c1b412114313123973ba9e677eefd8f6fc175","datavalue":{"value":{"amount":"+0.9465433359146118","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":"Q2055845$B5770FC9-C506-4FC0-AC7A-D8E2906AD3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2072b85b65e0f3a8ecf420d69b90d5bf2b5904f9","datavalue":{"value":{"entity-type":"item","numeric-id":6560176,"id":"Q6560176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef3b593ab8afca14c7b522aa8b17a90544ea6c9","datavalue":{"value":{"amount":"+0.7641458511352539","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":"Q2055845$0BA993DE-DD42-4336-A90C-94D481858763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c4ee03ab73976024ddd0b1e9e38adc318e6e75","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df0739c0cf0e003656f55b1c9742ba2610fc23a6","datavalue":{"value":{"amount":"+0.7613720893859863","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":"Q2055845$3FE86BBF-B4F1-4DB2-939D-1CDDD98AAF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44daa982ed63f51817449ad6d719c2d0eb10cb72","datavalue":{"value":{"entity-type":"item","numeric-id":673009,"id":"Q673009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6801e4e3af76f234f9f83daee84af823eb187225","datavalue":{"value":{"amount":"+0.7568037509918213","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":"Q2055845$99E44AF8-0895-433A-9276-03432418D8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4897d4b1954ac91ae95528226939bdfd467b5c45","datavalue":{"value":{"entity-type":"item","numeric-id":4207883,"id":"Q4207883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497c5fa967cdcfbe4bf2bfc0988717ac01d2a9e1","datavalue":{"value":{"amount":"+0.7560522556304932","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":"Q2055845$389092EC-0BE5-4CCC-8DC7-4834414398B8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055845$044F769B-1DFD-4562-8BC2-31159DBED430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2055845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2055845"}}}}}