{"entities":{"Q2004954":{"pageid":2015696,"ns":120,"title":"Item:Q2004954","lastrevid":57654429,"modified":"2026-03-31T19:31:46Z","type":"item","id":"Q2004954","labels":{"en":{"language":"en","value":"Rules with parameters in modal logic. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7257237"}},"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":"Q2004954$E8DADBD1-F577-404C-9068-3FB70B5082FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0862bf322100e25646a379a34f51e712a43b69a3","datavalue":{"value":{"text":"Rules with parameters in modal logic. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2004954$6C167731-641C-4788-94DD-E3BAECD7D91A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbc7b09fb197b09e8c5a68085517cbb62c3a5f0e","datavalue":{"value":"1472.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$798960A9-B5B1-461C-B33F-32DBCC1EAB2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$5F3FE56A-93C6-4C57-A3FB-ABDF4BF75E1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$96666B4E-5989-4E5D-8024-61B9C2077D9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7781abd2a97958fd1da5210c5f6f23fc30a06aa4","datavalue":{"value":{"time":"+2020-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2004954$3E67300E-FC1A-41C4-A8C5-C1DA983D3DD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cf92cf52967534c52f3c425f060018a0bf93172","datavalue":{"value":"https://arxiv.org/abs/1905.13157","type":"string"},"datatype":"url"},"type":"statement","id":"Q2004954$94E50B66-057C-47A0-929E-61B9C6C0502F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$BB143D33-1F34-4BA6-B3EF-3A2A6ACB0158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$CA0F46E3-0743-42D1-8D88-3E6B58416841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$CBBB1813-3D09-4815-BBF9-FFCF8BB6B864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$9C2B358E-49B1-4EF2-A216-11E4B991B559","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eabe77486b092ae4ed3bc000dce527d7be1c03a5","datavalue":{"value":"7257237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$9CD110DD-53FB-4603-8B75-F5FD02D31E8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2004954$5E02F4D0-1402-4B7C-B30A-C274DB6D5FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2004954$B9310E90-D6EE-472C-9E4C-B11BE84E4622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2004954$912120D4-22C1-4577-ABA6-17E1002FAC48","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":"Q2004954$DE7C3276-5859-4FE8-A4B1-1D99AC86CA46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"731ea742e82a1b1ed233093c92daa98e231e715a","datavalue":{"value":"W4206408917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$BA004F69-A1C0-4CC8-9DC0-37F87C653333","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$DC8B8209-8B93-47CB-AD9B-78B7C1780B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f718d8e8c73e0b0c970c4fe73823fad74cf6674","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$CC5F58C4-CEC8-4AAF-A0F4-DB3C8420C14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$F6BE9178-9AF5-4B62-AF03-CA1A82E64FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7d5d8fde99132830662fa17bd0550f6f8405b2","datavalue":{"value":{"entity-type":"item","numeric-id":2369013,"id":"Q2369013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$66F801DA-A84E-46D2-A0D3-50871DC513A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$14BD12D3-6425-4E79-A1D4-CFBE02F8FA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e692d1f3461a21072f869e2fe17a61b37ee2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3655251,"id":"Q3655251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$C5ECA516-BD75-49E6-8207-D28C0339F89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9d8bfe8f81eec003462d830bf21e3091d48818","datavalue":{"value":{"entity-type":"item","numeric-id":1023047,"id":"Q1023047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$54919254-8DBF-4A47-9547-D3C719B1065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3497635f4008d062fcba9abb75ba5577251c0aa","datavalue":{"value":{"entity-type":"item","numeric-id":2346953,"id":"Q2346953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$2B243C3D-8A0E-4FEA-B9B4-F46FBBCB4413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c2982328353caec4ead3ae3704c1d005446c4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5311718,"id":"Q5311718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$ADA2A25E-CFCD-4F1D-B033-00197E9C5E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$B15854CB-A6A8-446F-BDB5-EF6FDAB3ED2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2004954$8F423664-1D0E-4FAA-A8F2-D853A60CD41C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fada9d2dc3e2b606220e19c89e4cccdb5f53aa4d","datavalue":{"value":"10.1016/J.APAL.2020.102829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2004954$6F7E077E-5A60-403F-9F9E-C984C8E1A543","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214bb3bd4d01bee8fe4c7ad324bfb6a02c294475","datavalue":{"value":{"entity-type":"item","numeric-id":2346953,"id":"Q2346953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ba77541f5743a1bd7c68bf12c7c25a89f4a80c","datavalue":{"value":{"amount":"+0.8902362585067749","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":"Q2004954$938F3240-6B5C-4B31-AA7E-DB27EC156E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fc9c9e8e5322e5fd038edc77c8c05eb00f78e3","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173007c1f6fab0aaa995d8614152df9286674a51","datavalue":{"value":{"amount":"+0.7982568740844727","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":"Q2004954$FB7AF3CA-BD35-4D53-8C4B-9DB504A77C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d7c5fbc9c4d6c5c1958d0b60feae41ea5858cf","datavalue":{"value":{"amount":"+0.776658296585083","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":"Q2004954$A55C7F08-5B18-4DE8-8CE6-5A443DD5ED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed11683d97455deacb2b4aefbeb46812319c1841","datavalue":{"value":{"entity-type":"item","numeric-id":3625492,"id":"Q3625492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f38c777d572e2f3ba58e434ddf2fc0b5f0b4c5","datavalue":{"value":{"amount":"+0.7640174031257629","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":"Q2004954$192505F8-4D92-4F78-BC16-74D5EDF812AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541d46891a6a9644516fbdd3bb7e1c7d6cafa9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3520233,"id":"Q3520233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bd6d2dea11c2a25c9cbf6c7c05ce9f7c333a96","datavalue":{"value":{"amount":"+0.7594882845878601","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":"Q2004954$B7808391-46AB-4F3C-9AD4-4D83A2CD0E85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2004954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2004954"}}}}}