{"entities":{"Q3305555":{"pageid":3316263,"ns":120,"title":"Item:Q3305555","lastrevid":53787872,"modified":"2026-01-25T17:36:15Z","type":"item","id":"Q3305555","labels":{"en":{"language":"en","value":"Machine-checked proof-theory for propositional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229510"}},"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":"Q3305555$7F62B82B-C4D6-4CFF-9C37-6418E98906B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffbbe6b9caebca2fca8f80f2a2e8f88528e59874","datavalue":{"value":{"text":"Machine-Checked Proof-Theory for Propositional Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305555$4C44642A-EE92-4458-BAF5-4E18EDB731E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd5766e249d7e31fbd76c4df78ddeac7dd3e4f8f","datavalue":{"value":"1439.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$D447D4C3-E7C3-4EB2-AB1E-318F94920669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3d20b23d2a1b4372e279683341c867f02b02067","datavalue":{"value":"10.1007/978-3-319-29198-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$4CDA6246-C4A4-4B7F-A574-6AFC87B02A58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$DEEF8C62-33FA-4140-A6C0-7E332A3ECD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d81fd6732f4c27290ea587931ef0f61ffddc62d","datavalue":{"value":{"entity-type":"item","numeric-id":3192196,"id":"Q3192196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$AB7BC534-DB9C-443E-A1E5-90166C5A3375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$3D2CA21E-344C-4A15-BFCD-0EBD00DB3F4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e498f87878cc10d1e14c067484ebfeb4fbbf3580","datavalue":{"value":{"entity-type":"item","numeric-id":3305549,"id":"Q3305549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$06F72320-C207-4DBC-A8BD-C4B6F72F9304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5455c1d81d4a01ed39f1551e0dc8701e3aa1c562","datavalue":{"value":{"time":"+2020-08-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":"Q3305555$6B9DD8A4-2F98-4D59-A874-1928D82069A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$AD4C7693-DFA3-4A83-B911-7A24A361381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$1D5B639E-C2E5-49B2-A7AA-8399693454AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$4B136CF6-9C2E-4A4F-BB37-D90A5D36FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$904940AF-206D-4EEF-9950-C4DE0F2F890A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36c1cd0521905da2f19dbc27318d66eb26ba1f2c","datavalue":{"value":"7229510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$BF641217-3B65-467E-BFC9-8A6D50F8AD4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305555$E18BC9D5-1672-44D9-BD02-E5E4E9AA02FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f93ce548c67bfb9d611fa7dd8d4fb0ef50e8ef6","datavalue":{"value":"implicit derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305555$4230493A-B51C-4B43-AF34-5F2C2BB9447B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b1fd1a5f3aa0da4546c232d2cf41771b9269c19","datavalue":{"value":"explicit structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305555$CDD1E402-672A-4C5E-A7B8-D046595659AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a82f26ba2b19ac9120430375dfc004d6536848","datavalue":{"value":"backward proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305555$9421F4E3-9A19-44F3-B869-0C564C48C174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60463ce31d4df2972ca6f510aefc291f18d88d6b","datavalue":{"value":"SK rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305555$76B40957-7B51-4CB2-B7A2-FB66C6BB4646","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$F7135F7E-8ABB-4A5E-BB13-973807EC5021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$E6EFDE07-30C2-4AA2-B352-54FDBAD16B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$C1BCEFA8-6CEE-4FEE-BFD4-86B236D297A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$42126CCD-AE87-4DDB-AE77-60B0572A1EFB","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":"Q3305555$94757A47-499D-4776-BF40-1C156930E35A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dd4a215b1768b0ca31a2be9903ac7827448445b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29198-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305555$0C041152-AAFA-4902-8F71-9C39D9EC7219","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89e8bcf9c81b259f0fac106501e332cc6dcad25a","datavalue":{"value":"W2483720016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305555$058996EE-DBF7-4D42-82B4-ECC80F1D1721","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$301D6C6D-A2A3-45E7-B876-E7A00916BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9a0ee634988a8ccb6416880a8e63d7329a83ca","datavalue":{"value":{"entity-type":"item","numeric-id":4461801,"id":"Q4461801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$11B61096-D8B0-4130-9A60-41D03BBD1DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4772117584321ae97941797b6277bbea8401117c","datavalue":{"value":{"entity-type":"item","numeric-id":4430395,"id":"Q4430395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$ED0CB5D2-E480-4F3F-BFEB-B9623E131BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f272d7287f994bc6a285690f7059c71fa20c01","datavalue":{"value":{"entity-type":"item","numeric-id":4933310,"id":"Q4933310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$46E4FA9F-AB74-44F9-99D8-62A8AE89E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$91DB29C9-0CA2-483B-BD9F-2C4D3FE1EF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$714B0284-ECF3-4B20-98ED-803923E3EA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffd84912139d8217e689626c314944e5a38b834","datavalue":{"value":{"entity-type":"item","numeric-id":3086940,"id":"Q3086940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$791AC3E0-0FB7-45F8-84E8-853DBBF30EDF","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":"Q3305555$BED7E6B1-6061-4DAE-8100-ADE6AE1659B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b419bc332d2c3e82611eb2f0ccffc32e0087f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3601798,"id":"Q3601798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$451CB45A-67FC-45ED-8B4D-CF7AC27DB5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ea78ec7ea0769e1281ef30aafeee2002753eb","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$0AA4A9A8-E498-4583-94AB-F2C9A7D3CF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$CB9972E1-7B61-4F6B-8002-7186F28B46B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$0F264946-4453-40A1-BDF7-A2E488AC6A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$FAA52DFA-D339-424C-81B8-186D378124B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$4370A44B-CE78-4906-8F89-1BB12CFAC39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b39f95b6265c8ad1a29253e11868ecb378283","datavalue":{"value":{"entity-type":"item","numeric-id":4025008,"id":"Q4025008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$2530D135-4BBF-4F0A-9AD2-F050ECD41DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1643fcf2d89699448315101028c4fe10eaca99","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$4EE20E41-D899-40F9-8EFA-57D9CFCF61A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305555$2CB26BAA-149F-42EA-A428-7F1BB9FBFCD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc327743a6ca0835984bebeeee94cfdc8824c8c","datavalue":{"value":{"amount":"+0.7635484337806702","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":"Q3305555$F2602C60-7810-45F5-A104-79344B568D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1849f6100f2ea1c6bb60e40024e182442788a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3601798,"id":"Q3601798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4496251d57240c875a209e5c469ec1cf70d28cc","datavalue":{"value":{"amount":"+0.7634232044219971","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":"Q3305555$1F7BA412-45DC-4EEA-882E-C0BDB1F4901C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacc545b667ccead8553bd9d92c1f274816e853b","datavalue":{"value":{"amount":"+0.7576211094856262","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":"Q3305555$589AD714-D937-45F6-AA14-41A38B51115E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6666e3bd08074406f824f0fbc15d72100154ec02","datavalue":{"value":{"entity-type":"item","numeric-id":3185759,"id":"Q3185759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3aa0d25c948cebad2c38cb43b49dc95eac54b8","datavalue":{"value":{"amount":"+0.7556979656219482","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":"Q3305555$B06A037C-1C78-4A59-A8C9-A557E278E47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b4417258cfae743c3fb5c4a5fb8bc9d38d6cad","datavalue":{"value":{"amount":"+0.7546511888504028","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":"Q3305555$514F2C8E-2E53-4D2D-A589-0179D7C83486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305555"}}}}}