{"entities":{"Q392998":{"pageid":394765,"ns":120,"title":"Item:Q392998","lastrevid":61500630,"modified":"2026-04-10T23:46:30Z","type":"item","id":"Q392998","labels":{"en":{"language":"en","value":"Loop-free calculus for modal logic S4. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6245865"}},"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":"Q392998$1D00670D-96F2-4C78-B54C-765D7F9AEDA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"507fa9e35d4fd841d7d542fdf9ebabe61ca12f47","datavalue":{"value":{"text":"Loop-free calculus for modal logic S4. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392998$6B930778-CA1D-4D3A-A5FF-C9D61C46ADCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec8aa97bf32e9d044278d5a5649990670f363174","datavalue":{"value":"1286.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392998$AC6BB252-5802-45E3-B565-FDD27FD9632F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7005f3205c6d572dd273124f42aabb440cb06d","datavalue":{"value":{"entity-type":"item","numeric-id":392987,"id":"Q392987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392998$2848675C-CF81-4804-9D15-A86CBAA374EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392998$B4E37D14-4C83-47F6-A932-60F253CD0368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9205ce2bff1bb2d38ab3a1b33e907ee78d81db34","datavalue":{"value":{"time":"+2014-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":"Q392998$42A317CA-C912-48D9-ABBE-C66540255DAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392998$2BEBB551-2BCE-4175-98E9-9DC49BDA78A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbfb3f25c513f452b3bba534930ab8b213bb625f","datavalue":{"value":"6245865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392998$F461CCA2-7345-407E-B5E8-F2C7C4D05016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q392998$12251C2E-81F6-44BF-B31D-8B8678E516AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d181ac433809ae043970db1624554a1bcb872937","datavalue":{"value":"loop-free calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q392998$ECB21037-81C1-4AA4-BCA8-74B9EEFC0C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q392998$CF03F895-085C-4E1F-B87A-14527719EBD4","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":"Q392998$ED772B3A-79A8-4B85-9833-9FABB007EA5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1edd6c98b8856e034ccafa83c11c662080a379f9","datavalue":{"value":"https://doi.org/10.1007/s10986-012-9160-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q392998$C62C154C-55B8-4062-8733-BBEC1B504FAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd48892aa7d0d843eb58b4860e9972c0fccca714","datavalue":{"value":"W2040438935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392998$B5426A0E-6647-4770-9D9C-05FAA44A19CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb0361cbbb1efef9e353a97f34ce0dd1e0e6ed6","datavalue":{"value":{"entity-type":"item","numeric-id":392988,"id":"Q392988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392998$10517858-C412-4E9F-BE25-AFC7EDEF922F","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":"Q392998$51E8ACE0-56A1-4792-A7E6-F3056E9BD11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd0e1c1a7a2d7a54724d39e6392e0ff448738b4","datavalue":{"value":{"entity-type":"item","numeric-id":2271187,"id":"Q2271187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392998$78FEAC7B-071F-423D-BF6B-2A0D60C1FA6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1206e17f6471a85f674ac65e3ee3d91979c728f6","datavalue":{"value":"10.1007/S10986-012-9160-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392998$1982C697-C2FA-4BA3-A3F0-62819313FEFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84a849a3abe1fd1c9abcaa823bbd5a28e7feb5c","datavalue":{"value":{"entity-type":"item","numeric-id":392988,"id":"Q392988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d09602dc24754a42be90e9c5e171cd30bd11bce","datavalue":{"value":{"amount":"+0.99111354","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":"Q392998$1EFA1B1C-3369-4C8A-8CC3-428B278E7467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0585e5911095c535479ce7db07960d815b3626d","datavalue":{"value":{"entity-type":"item","numeric-id":2809675,"id":"Q2809675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81950dc2a58ef7714fbc4f5544ccb877bfc6ff97","datavalue":{"value":{"amount":"+0.9434882","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":"Q392998$D7081714-F2F8-47D8-810E-1FD641167889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d236a2a711044507ebc3baf084c13088cdad834e","datavalue":{"value":{"amount":"+0.9049032","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":"Q392998$A1DD4037-11D8-41AC-8B08-9C45D1373475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b07cf019cd9c42b117c07d4db61a2d4a629551","datavalue":{"value":{"entity-type":"item","numeric-id":2791890,"id":"Q2791890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8967d2b6b4afbba059fc9baafe7a163010f6f514","datavalue":{"value":{"amount":"+0.90198606","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":"Q392998$261D7751-0BA5-4830-BBFD-497F3F4D39F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2909b202473d63654eda0ec49f4a80a5a89bf1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2571516,"id":"Q2571516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef2a7d13aac8b0aff41b6b550efca5d585774ec","datavalue":{"value":{"amount":"+0.90196407","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":"Q392998$6455ABCC-6492-4CED-ACC6-F326C18ADA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7bf1d45d8bcfab21bffb9d1c4cf4d6fa97283d","datavalue":{"value":{"entity-type":"item","numeric-id":5889308,"id":"Q5889308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76e442bac27975791a57cb9a0b59ad6d63fcfe9","datavalue":{"value":{"amount":"+0.90095556","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":"Q392998$D00C0D7B-97B9-443F-8799-41C19A42F7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2511f0caf416e074fde5c9cd622c027b44e53606","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5e7f640b4fb7ed6ce25da5f299853d5868efe1","datavalue":{"value":{"amount":"+0.89984125","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":"Q392998$6B1AF1CA-9C38-4EAA-B3C9-0F4A92D6BA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041c34fd35d00f388d0834e867f4d0b7353f27a4","datavalue":{"value":{"entity-type":"item","numeric-id":2271187,"id":"Q2271187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a1225a522227663d1e102745b611cb60e971eb","datavalue":{"value":{"amount":"+0.8949962","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":"Q392998$91392867-1066-4E5F-A1B0-D8BEA303402C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf7c42456f614e8add8035bfbc693e00d502e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2062196,"id":"Q2062196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1869258f5057f9665dd46bcd8d7929752b1d3762","datavalue":{"value":{"amount":"+0.894542","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":"Q392998$119A8530-3909-4F74-BAC9-D6D1C78224CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b00837db4104f9c763f8b72172c8e59322a3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4296507,"id":"Q4296507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c890077817f0af3acf72cd833cab2b0051a01e09","datavalue":{"value":{"amount":"+0.8918768","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":"Q392998$4D30B32A-A715-48A5-8322-3EF5C7BBCB5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop-free calculus for modal logic S4. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Loop-free_calculus_for_modal_logic_S4._II"}}}}}