{"entities":{"Q4610317":{"pageid":6639900,"ns":120,"title":"Item:Q4610317","lastrevid":90508091,"modified":"2026-06-04T20:33:07Z","type":"item","id":"Q4610317","labels":{"en":{"language":"en","value":"Free variable tableaux for propositional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002270"}},"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":"Q4610317$C3FD718A-8D49-4BA0-8FCB-824D4CEE975F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ed5b52a56d8a710e5c24eab6e7b76f06cbe9e90","datavalue":{"value":{"text":"Free variable tableaux for propositional modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610317$BE00092B-DE36-4B19-8EE2-AF8177DEC240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1ec2f06105c66b7fd09df91fe72b86a35f52523","datavalue":{"value":"1415.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$8F1BB476-C96C-4F5A-A968-BFF3413DFA71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$C2DCE766-B3A0-4C9B-BA1B-7E6F0DABD1F7","rank":"normal"},{"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":"Q4610317$71E7ACA6-0DDA-43FB-B58E-357389050170","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$6E819F90-A97C-4EEA-8A22-9AA4017A62D9","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":"Q4610317$C489308B-9240-439D-A962-84F2D0928C17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$02566D05-6911-4D9E-9A13-246DC4E755BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$7CAA240D-574C-47CF-AA29-41383DF71CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$83BC3D6B-0315-4DEB-850F-E80F217A4443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$50A6181B-2FB3-4B25-8528-702743BC68A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f0ab70db4ec0539451c11c0e5860e92f556a9d2","datavalue":{"value":"7002270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$93880A89-0658-42F9-9174-783DDEC342AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610317$6FDB3AC5-4F10-458C-A739-AD3CA00EE444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb98f7db1820153f6b7d89d5acbc15872daab2fe","datavalue":{"value":"free variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610317$75E23F62-1BF0-4089-9DCB-74E82C316D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf4a0412418f95b5e0e582132e6e4d3f96c6d35","datavalue":{"value":"rule application","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610317$2FDB3D8A-2B75-40AC-9C46-A369C649FD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f015c8d0f61469c165f017c8947fcef89ec553","datavalue":{"value":"universal variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610317$005D21D7-033D-43FD-898A-3F50649137EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610317$32A7F43A-936F-4F5A-AD7A-3D752CFAB675","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$EB9BEC8E-F040-4EAF-980B-D2A16E9F4A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$039F24B2-7A3B-40F4-8F80-322BD105140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7ae9697ba460da5b1ef21e479b4fde31e616ec3","datavalue":{"value":{"entity-type":"item","numeric-id":33351,"id":"Q33351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$9CEEECA9-F3B2-4254-8F6A-6B2B49CED0EE","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":"Q4610317$7EB3C6F1-D581-4245-95C3-75A42EE3DF78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa0deb258d7a3efa5179c0109b19150f474129a","datavalue":{"value":{"entity-type":"item","numeric-id":4647529,"id":"Q4647529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$24E30BF5-2997-499D-AAFD-3D5B52F310D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$6E5626AC-8841-40B2-A60C-A404EE59CE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f000988fa170769c1376d6e16c8e429234f3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$5C8A27C5-9C21-4044-B849-25C39388B802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc018a200b012fa08fa8e4b11016cb5dc509c75","datavalue":{"value":{"entity-type":"item","numeric-id":1370459,"id":"Q1370459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$75ECC4F8-0295-4A8C-A227-CC5391CBF72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$0BC7E5DE-BCBB-439D-8730-A7CE091BA670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$C28CD9E3-73D6-4122-A1DF-447A91035E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab9ab6ac8eefe81efac39f2c2240f25d98080e5","datavalue":{"value":{"entity-type":"item","numeric-id":4028792,"id":"Q4028792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$BAEC5750-B058-414F-A642-2745D204F946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$267D5E4C-B7B9-49DB-8ADA-911A032D4793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$8F44B968-C0BA-482E-9EFC-C9F6A7973535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df88df617383e402732a7ccdf3a5a43ea499743","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$C78C8546-58D1-4EC2-847E-5219D0B9D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$60D89B03-6D5E-4453-AA97-4FBE5B441698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$EA998278-3064-4124-8F58-FA25E2F02ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$9F5EE8B9-D7FA-481E-93CC-22CC1A363E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$CCF01334-43EA-4F15-A020-461D04CDFB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75368bb4859ffe123bcb906a78b97b3d3ba0a38d","datavalue":{"value":{"entity-type":"item","numeric-id":4385436,"id":"Q4385436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610317$F5A15B86-E43D-4F61-8D5C-EE5B2004F273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8614f04c9de2d1852d547c52e06985790831ed8","datavalue":{"value":"https://doi.org/10.1007/bfb0027407","type":"string"},"datatype":"url"},"type":"statement","id":"Q4610317$172950B5-F458-4733-82FE-8EAA82F780DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52b306d145e12c5cf289472a77adf186034cfbab","datavalue":{"value":"W1481660686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$4ACBD358-5930-4639-BD83-89A6C606CC47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caa1307ad4028cae5c0e917f952a56eb101c6e85","datavalue":{"value":"10.1007/BFB0027407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610317$957A9DC8-32D8-4EE9-A485-7ED7F6E3BDEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22106a3347722ff447633be5ecd41dc1716c09a","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc45ec69f756a5ca581e834f445de59a712697a2","datavalue":{"value":{"amount":"+0.8563375473022461","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":"Q4610317$437B15A7-EF20-409F-BAC4-1C257F9D61E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764132ce54f8f373546cf038d740b605dddcf337","datavalue":{"value":{"amount":"+0.8267284035682678","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":"Q4610317$9462612E-2D93-4FEF-8A2B-21C3CF374E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1e3a375d3eb673225fed615aa58825d8d38673","datavalue":{"value":{"amount":"+0.8249043822288513","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":"Q4610317$A9C409CC-5056-4D78-BD3B-EC61EA5F4215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ec779637246597a22c28c9772cdd1746bd2370","datavalue":{"value":{"entity-type":"item","numeric-id":5955623,"id":"Q5955623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17f0620e6480c083f05b48c3d178c58aea87514","datavalue":{"value":{"amount":"+0.8160361051559448","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":"Q4610317$D15BBB96-9E3D-4195-B3B0-0582140A93B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8792e10a807a7dd1ca891b8334f56671b23694e","datavalue":{"value":{"entity-type":"item","numeric-id":4645225,"id":"Q4645225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573c2ddb026ef8dd55c71c1af469b82c37797a77","datavalue":{"value":{"amount":"+0.8160359263420105","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":"Q4610317$78BF66C0-2077-469C-8989-A4F3F65595CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free variable tableaux for propositional modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_variable_tableaux_for_propositional_modal_logics"}}}}}