{"entities":{"Q3010359":{"pageid":3021083,"ns":120,"title":"Item:Q3010359","lastrevid":45254446,"modified":"2025-12-03T20:13:00Z","type":"item","id":"Q3010359","labels":{"en":{"language":"en","value":"Kripke Semantics for Basic Sequent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916703"}},"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":"Q3010359$DB77FE22-9BE7-4ADC-B431-4C529D0F282D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5722a29810c2144c4caea370b164d1f635ea091f","datavalue":{"value":{"text":"Kripke Semantics for Basic Sequent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010359$D1919039-CECA-4D9F-BE07-5DC3D38728CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4acf6911e143d28775f9019000d1385c73d9bb32","datavalue":{"value":"1333.03236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010359$52A6E593-0C6D-4EEC-9197-49865FF4BB27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1038359035132de9d1839d08e0771baf3d5d6e7d","datavalue":{"value":"10.1007/978-3-642-22119-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010359$4C92C37B-E1A7-4019-AC81-AB1484D471F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$359B6A23-E5AD-4A8F-B7D1-B0EF65DDD5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$B3BB91AD-B493-4120-ACF0-EE64897FF2F0","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":"Q3010359$BE78C8B4-EB6E-4165-A735-666657E960A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010359$A8C6755B-C790-48F4-BAFF-281AB1F88BF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010359$92A234FD-1255-4E0D-8EA1-121FEDF9DE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010359$6A6B8B38-DFAF-4B65-B444-77105E4D9C08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff2cef30d8ad47b66144a0dfef8d9130e6641cc1","datavalue":{"value":"5916703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010359$9D27E63F-143E-4D11-B0AF-912F896B970B","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":"Q3010359$91DB4D76-A219-479F-99AF-ABC11B71686A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d8f4ae606ae94f5727ce0e1cac75c207c0a775b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010359$E4FE5DFE-4F99-481C-A8A0-FA617A872FC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c782883877709e1c23733779581cbe133037e51e","datavalue":{"value":"W178931755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010359$445940D5-7ABB-4871-AAFB-F4D6C87290D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$F5052913-4FA5-4366-93CE-3ACB4B3F6D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$61A7397B-FDC8-4AB6-9CF6-150EC285F5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af01c81962a82f092476ebfb37b63ca7fd31931","datavalue":{"value":{"entity-type":"item","numeric-id":4450442,"id":"Q4450442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$25CFE0EF-E7BC-4B35-9C1F-D84838FC517E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf92dfbbcfacba489881178d89ab3b4aa072827","datavalue":{"value":{"entity-type":"item","numeric-id":813081,"id":"Q813081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$0ABA7A8E-D28D-40D7-8D82-73F055DF31D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0d48155823dce6619458f8deea016097f2adeb","datavalue":{"value":{"entity-type":"item","numeric-id":3081447,"id":"Q3081447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$A24B59DF-D934-4801-8666-B4E38E4E47EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$DFC810FC-8436-4EA0-9753-04053491F68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$9125907A-06E6-4266-B14C-4A82E3DB79B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e6baa3f2d1b108638e63f44444eb15fffd0961","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$E4527272-9313-4E0B-81EA-CB78A817F07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9636a73b754cd6072bad3d3f034217fb03c2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$8E5FBCD8-0BC2-4D52-8760-2A8561DB99E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f736763f9b8cfd359627a27ea17992bb6a6a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$53E9B6E8-9B46-4E9E-9C2A-7986874A628E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$BE483DF7-2E0A-4B57-A894-184BBBD3D03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ac6744fd227e7126e0753fcf431afcfd7f97b","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$721972EA-C973-4BD2-9D8C-214D609D1F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$9582E763-9CC8-4B07-8183-5DC2BA21B154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010359$56D03285-57B7-4889-B42B-D3FEA753E5A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc1e0f9ed6e0ad997b95586411d53f9b81ce595","datavalue":{"value":{"amount":"+0.90917116","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":"Q3010359$36E39AD7-A640-4546-B1F6-F5EBFBA294CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52973565d0cbcd4dae233c0856e8def424ee06b6","datavalue":{"value":{"entity-type":"item","numeric-id":2277447,"id":"Q2277447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c07881c3ec8449da14cd0330c89992ceb709a5","datavalue":{"value":{"amount":"+0.9040797","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":"Q3010359$DC35C330-2D70-46E9-99CD-4FDAAD408D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dac58e0f9de192628ca787b085c3cf014ec4e7","datavalue":{"value":{"entity-type":"item","numeric-id":4887109,"id":"Q4887109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b22d9fbfc8a99a9bd5d3e2604fbf9d83e054515","datavalue":{"value":{"amount":"+0.9031837","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":"Q3010359$6C123521-7B6C-492E-985E-7A80208F5211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479945dab9b3bdf5e5636d8c60dea325993886d8","datavalue":{"value":{"entity-type":"item","numeric-id":5271081,"id":"Q5271081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cb02333a2330becd6762962a0af7c62d5e6dc2","datavalue":{"value":{"amount":"+0.899778","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":"Q3010359$ECDDA42F-8CC4-47CD-861D-FDC0480209FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3727e773d94ed243c53b5c5fcd6c0c03e6ae62","datavalue":{"value":{"amount":"+0.89806545","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":"Q3010359$45AE9C6C-9EB9-4359-A22D-A999C316C6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd0ecb223940f76f7f0360ff3ddda1f5c672fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3304397,"id":"Q3304397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05068b7990e8e5c098a006355291ce51e57420bd","datavalue":{"value":{"amount":"+0.89722973","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":"Q3010359$6BBB180B-D22F-49C3-852C-85D2E298758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68778be181421a43b3ed9c94fcab57449e269aef","datavalue":{"value":{"entity-type":"item","numeric-id":4230935,"id":"Q4230935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e17f743a76a4e3a4dfdde0d97b1d4ed52dba7cc","datavalue":{"value":{"amount":"+0.89494824","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":"Q3010359$8F938FD3-4694-44BB-9E79-B2336466EA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ad0b29751d3615e3b40faa396c133da265b8ad","datavalue":{"value":{"amount":"+0.89475906","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":"Q3010359$DD745B51-36D4-4FF3-A337-AF7C164E623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b23ce15206d2827fc09eb4d1727fc53d1e40401","datavalue":{"value":{"entity-type":"item","numeric-id":4511554,"id":"Q4511554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2018fb13c55cf65f76104fa2f9b64b7e368096","datavalue":{"value":{"amount":"+0.89330965","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":"Q3010359$E4FFB825-7724-4C26-8B0A-64694D748B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08bf73183ef13769ad39156494326fd496f692c","datavalue":{"value":{"entity-type":"item","numeric-id":3327708,"id":"Q3327708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e707dc4a04739269b83f8058e52ba59ff50255","datavalue":{"value":{"amount":"+0.8910293","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":"Q3010359$3BF44F21-BF33-42F6-9AC0-35FE57B3CE1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010359"}}}}}