{"entities":{"Q1756600":{"pageid":1767342,"ns":120,"title":"Item:Q1756600","lastrevid":72901824,"modified":"2026-04-14T08:38:30Z","type":"item","id":"Q1756600","labels":{"en":{"language":"en","value":"Pure modal logic of names and tableau systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996655"}},"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":"Q1756600$08D99106-8311-4303-AD43-E5BA4695EE1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2140650d0e182dd48f3b3b8fec5f6758a2d0f27","datavalue":{"value":{"text":"Pure modal logic of names and tableau systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756600$F2BAEFB4-74E0-48BA-BBB5-3AD336E1DD0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e66fd0d0f2465a9bda3422bbd84d228e7b4cbc0","datavalue":{"value":"1437.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756600$7DC6FD7B-452D-40B4-B10D-B18700F39908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1401c878f909effb93588d45c5a5a6945e3cbd5","datavalue":{"value":{"entity-type":"item","numeric-id":631521,"id":"Q631521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$4D26E4E2-D765-4F05-9666-CBBE2979C2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"191bd3c562dc20e84ded0b19ab4633ff5bafba3d","datavalue":{"value":{"entity-type":"item","numeric-id":1037590,"id":"Q1037590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$E5619A2D-6B85-4EB9-BA36-0E39C3455906","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$1546D530-5C87-4200-868F-89D812638721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3e8ce19e9f5978e8f566795e3d4c40e60d6b31","datavalue":{"value":{"time":"+2018-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756600$57BF499B-3B20-4F33-ABE2-DBF9356CA100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756600$21F3D008-45CE-48B4-95D1-AAE562EF959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756600$F18E7472-B65C-45BA-B168-CFF232180E72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6675825626d58fb9af36db14dbc70f397151a80","datavalue":{"value":"6996655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756600$9E977071-D8B4-4780-9891-FAB781411EB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99ba5566128108a20f7261f6cd005ff3a933becf","datavalue":{"value":"pure modal logic of names","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756600$6B2207FB-BC5C-4E67-B322-3274F50193E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756600$B8B14DE1-7853-4836-8C65-CA4F57FBAA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515029c8cd4d6159ddffc5f6313d73c7eefdc341","datavalue":{"value":"tableaus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756600$E6745635-91B7-4F07-91AC-4CC3C52713EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756600$EA3B16E1-245F-4247-8E83-487DA6D82C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cddaab86f1ff79193135be9c57aff51f0fb22b8","datavalue":{"value":"modal syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756600$498EEA24-76C0-4887-86D8-1984592EE87B","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":"Q1756600$190E8D07-7C10-4807-B3BF-9AB2CCA5D853","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a40000ccf99acbe0edaf65beef4202b5488ef139","datavalue":{"value":"https://doi.org/10.1007/s11225-018-9788-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756600$4E98DF0F-42A7-4988-88A9-C4EC1708649C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9eb419fff576f7ec2931ae0306e9f852ec02ae27","datavalue":{"value":"W2792300289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756600$EFCDC882-3C2D-424B-9FDE-7DABF0BD7A0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9f842489b4cbd3fad9ca9dc6fa60b43725963a","datavalue":{"value":{"entity-type":"item","numeric-id":3998365,"id":"Q3998365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$95564427-DBD4-421D-BE52-C7E3BFC06CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a19e8a576ae69a51aad51a9cb378b68124d99d","datavalue":{"value":{"entity-type":"item","numeric-id":5411438,"id":"Q5411438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$CA52CB1B-9903-4974-B5F2-45C11850B70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d903ee80a882ca0498fe72e1537c7ae3538daa9","datavalue":{"value":{"entity-type":"item","numeric-id":911572,"id":"Q911572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$9654F838-A98B-4296-BF85-6B009ED64880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a703229e18e287dd8ff604974b1c61f85cc4fa22","datavalue":{"value":{"entity-type":"item","numeric-id":1928489,"id":"Q1928489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$9FAD2F34-2F2F-44FA-836E-6415B3D01EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475279db8236e8f10bd17dd583b71ebdb81e35e9","datavalue":{"value":{"entity-type":"item","numeric-id":4982331,"id":"Q4982331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$052C3338-C501-469D-B5BC-AF872E926816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01acdd6543451ec66cffe23800bdc2fa23e86f78","datavalue":{"value":{"entity-type":"item","numeric-id":4888338,"id":"Q4888338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$E8C642AA-0460-434D-AC92-7501F869BCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408dea84d09bf78399cdc570e178e4e612126896","datavalue":{"value":{"entity-type":"item","numeric-id":4383726,"id":"Q4383726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$2BAB3740-CA1E-49C2-A6CC-754A025F3180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$FF87C0E7-D153-4F4E-80D5-55305475A4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28590c9348a82d04de4e4a7e78f6d2613438579e","datavalue":{"value":{"entity-type":"item","numeric-id":2366246,"id":"Q2366246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$210DC4CC-67D1-4BDB-9A41-D61FAC5670E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9b92ee316da540101341dea4efaf3cf6ab299c","datavalue":{"value":{"entity-type":"item","numeric-id":1362593,"id":"Q1362593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756600$9D780469-C4D0-4476-8123-5E3362D7118D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f7f4ac53b794c603b3868f42099aa01d6e713ad2","datavalue":{"value":"Q131341355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756600$E65F1FAD-3300-46D5-B8EB-81CF32F9013B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03be0e46ce8a92617569fae578b9bc3d7d8cb6e1","datavalue":{"value":"10.1007/S11225-018-9788-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756600$DC349E6B-E360-4F21-88E4-245A2F7F9098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3ab3e475b5a15da18b3313bbcceef5ebe26cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591c12e0c73ed04917f3f8da02adb2812a65be11","datavalue":{"value":{"amount":"+0.9094914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$2B6DDB47-1049-43C3-9F6E-53583F85F110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf64481df7495045fe2559470e597cfe00883ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4994684,"id":"Q4994684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7799d4833d18b1ca7d99be1394bc82953a45e9","datavalue":{"value":{"amount":"+0.8946829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$E49EB64E-1AB3-41EB-A70C-C43ADAE9C23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26f8f005331d9110af60d1327eaf392873db629","datavalue":{"value":{"entity-type":"item","numeric-id":5259659,"id":"Q5259659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262ceade6df8785890cdd2204d054f88fc04ead8","datavalue":{"value":{"amount":"+0.88899124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$DA8EF787-E61F-4270-9AA6-F25217240BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcea61a45ff616dc122d2bee9b5044af04dd76cb","datavalue":{"value":{"entity-type":"item","numeric-id":3648734,"id":"Q3648734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d47bca5bbfc61dd6174b3ef03aa1c659b691fd","datavalue":{"value":{"amount":"+0.8873991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$0A78A698-28E4-4FE7-AD99-7F2E2AB38067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297acb1c2498070a6911b004240eb0e77b3f478a","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274d0f02896b49510ab2ee771b1051082aa911d9","datavalue":{"value":{"amount":"+0.8838036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$B13F92CD-1D70-48D7-A48F-FAFDF4EA822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b13fbe63f630451e523787abea34522ae1b7b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5856409,"id":"Q5856409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274d0f02896b49510ab2ee771b1051082aa911d9","datavalue":{"value":{"amount":"+0.8838036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$51B6B216-2D7F-4E5C-8541-7850D5745AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e1cd463dc7f8ec9f4e3d0e3310e50401508e41a","datavalue":{"value":{"entity-type":"item","numeric-id":1896755,"id":"Q1896755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a5fefbde62e953ded8d43143b9951759213dde","datavalue":{"value":{"amount":"+0.88244927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$4A5A0F1E-BA1B-425E-9AA0-16D2A30D4462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f223f8f230b2e5ab77e1e5965fa86b0b5aa75c0d","datavalue":{"value":{"entity-type":"item","numeric-id":749522,"id":"Q749522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d7eacba57ce6fbf660936b42cb7e6e098b2c6b","datavalue":{"value":{"amount":"+0.8822309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$6C258844-B6BE-4103-8B34-19300198A9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768ae8d5e6736b0ad8518caad406d2c275b058c2","datavalue":{"value":{"entity-type":"item","numeric-id":3344174,"id":"Q3344174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0723c5e5110620b26d263e40cf8ef51a9d41f80","datavalue":{"value":{"amount":"+0.879324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$E1431516-9837-46C4-8A23-912A2746F38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a5482ac880ea5d0c42fb9e8118c60ddc8171a","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3deb1d10bcedbda2b72c58680f973d8d8c247aa","datavalue":{"value":{"amount":"+0.877617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756600$EC35592A-0D5A-4670-BE02-5815AA25ABF0","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":"Q1756600$50F38950-8915-4EC7-987E-8C30C1C9A685","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pure modal logic of names and tableau systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pure_modal_logic_of_names_and_tableau_systems"}}}}}