{"entities":{"Q6860396":{"pageid":20659009,"ns":120,"title":"Item:Q6860396","lastrevid":84251405,"modified":"2026-05-14T05:22:56Z","type":"item","id":"Q6860396","labels":{"en":{"language":"en","value":"Bounded inquisitive logics: sequent calculi and schematic validity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8157964"}},"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":"Q6860396$0C0FFE69-BF9F-4EBA-88D8-2A3D65DBC4DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b53b45fa4b73a309287f8cc3ce135c4888b38a4","datavalue":{"value":{"text":"Bounded inquisitive logics: sequent calculi and schematic validity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860396$DB2121D1-A8C1-45B2-BCD3-64518A025698","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3615000f104df8d1c9ec95ac393c6e281ac9b9f","datavalue":{"value":"10.1007/978-3-032-06085-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860396$3A05B607-0ECF-45E8-8B5F-4E694FF0F6F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$9500CCDF-A08B-48BC-9398-76CD2D19B3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$A6472D33-DBEB-4711-82BB-6BFA8626126C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6860396$C66CF8AE-13F9-45FA-A71D-1A69F990FEC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860396$64786127-4103-404F-A971-28B28AAA07DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51fba5b01bd81ac4d1bd624af7c830494ed31de3","datavalue":{"value":"8157964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860396$386CB5D7-9188-4318-9CD8-96F256A7A421","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":"Q6860396$870B226B-F8E3-494E-B511-BAA75E1DB17D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49626e8a7507c18b6d579b399cf23e3f34b52b3","datavalue":{"value":"inquisitive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860396$CBE5A6B4-4A7E-4458-A086-BDFB183029D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b012ab48c2faa74275f2481de54c4e7b9f98617","datavalue":{"value":"superintuitionistic predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860396$4B63C0D6-EFC8-4FFA-A91D-8DD0C35F959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd9c82e2289413df0455a94c9abb74bf80d116b","datavalue":{"value":"labelled sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860396$E4694A4F-7DE0-4ACC-8BF5-F5DD38A4DFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860396$8EA9567B-C9C4-4E9E-B03B-AA5816254578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ba66be60d52f9be637835b9944f034cac3293b","datavalue":{"value":"schematic validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860396$442BA0EF-051E-42F6-B14B-080E74AA2C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214da73cd115506ecf92edef4aa70370c0d8e39f","datavalue":{"value":"finite boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860396$7DB16E5C-6602-42A9-AB82-E5C27E791132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260f249c9f2b368710611c3ae7dde4ff8dd1d482","datavalue":{"value":"constant domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860396$430C049E-6FA4-4085-8EE9-3E0AF2643903","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":"Q6860396$A027E7A0-DDAF-404E-9A73-5D86636A1030","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a6bbac8d6ec155af87fdf4d97059d8699b2158","datavalue":{"value":{"entity-type":"item","numeric-id":833040,"id":"Q833040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$3E161BC3-47CB-4AE3-9748-8723E9C29903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108b1f4a928eab3cfbc20c755fac5f4a3ba7d55c","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$7A633E4A-46D2-46AF-9CDD-FE7877AD1554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$C5014866-F465-4A6D-90EA-6806B1FDAFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$BF8EC4AF-2B8A-4A21-80F1-922A09E5885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156602cffa10f7d74798b6e0088885f6764630b0","datavalue":{"value":{"entity-type":"item","numeric-id":1679793,"id":"Q1679793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$A87E462E-DCDC-4048-B23C-473F41175F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5906e80d644cbb4b70a8f1355659a31fb1da1","datavalue":{"value":{"entity-type":"item","numeric-id":5213645,"id":"Q5213645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$3D24CF0A-D0A9-45E3-9680-F601DDFCA1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b98f348a9430f54494a3e07918227d3ee85fb2","datavalue":{"value":{"entity-type":"item","numeric-id":1708968,"id":"Q1708968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$DC97FB0E-180D-49DA-AA99-4ACA74999F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6047194080261c18d076d6ff420f4d7a034d0792","datavalue":{"value":{"entity-type":"item","numeric-id":5865548,"id":"Q5865548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$2DF807C5-E0B2-4D14-B45D-B7376FE40153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcc1e5cc67a15ab40aad9d9faaf592f2d0f616b","datavalue":{"value":{"entity-type":"item","numeric-id":2159932,"id":"Q2159932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$B2DB0999-A3F1-4D29-8B65-CB04137B234D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07dec7989f149f16f2fcbdd901b8620f1a7fbcd","datavalue":{"value":{"entity-type":"item","numeric-id":626493,"id":"Q626493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$49187E73-696A-41D0-ACFA-3F2AAF233681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$0A83D6EE-A123-44E7-8A43-1BCE601CC707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$2156BE21-11E6-43CA-A5DC-CA98DA11AB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0ad0ff33b97fe3fcdb65aef119b0afb35bccbf","datavalue":{"value":{"entity-type":"item","numeric-id":4981448,"id":"Q4981448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$F6E6F5AB-037F-4E6D-9A02-B9B90F85AD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e767f7a04b6de440fb1313e6534f8215abc3da","datavalue":{"value":{"entity-type":"item","numeric-id":2820696,"id":"Q2820696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$2FEF0A59-16C8-49CA-A792-CC932B4D91A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$685B168F-B5F2-4377-B74B-A84EB18B2ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$F79E5F5C-7C96-4CE5-87EE-6B643D413498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336fc720f9dbaa80902b2d7d4ff9ea3151ce00ff","datavalue":{"value":{"entity-type":"item","numeric-id":2071575,"id":"Q2071575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$50371096-6677-4E5E-B50A-E394E15E7C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$AE8233A4-B041-4CDE-AB38-4163201A6B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1968a7a950e39434a878f5976f0c19d61093a1a6","datavalue":{"value":{"entity-type":"item","numeric-id":5111325,"id":"Q5111325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$3E21B843-E290-4E45-8D1D-6E6258EB3980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fb3023b40b57edcf66b625924091481293b3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3970346,"id":"Q3970346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$8372AA03-1DD5-46B8-AA61-FE6051C61AFA","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":"Q6860396$01A5A46B-BD01-455C-A906-D2E915ADE088","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":"Q6860396$FBDA62AE-8125-4EE0-92DA-874543760531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35270007a8b5b5aab8e168d2707e8c4fcf0f52b","datavalue":{"value":{"entity-type":"item","numeric-id":1843560,"id":"Q1843560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$1BE6673A-8244-401D-B663-B5DA52612D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a56faa6d4435dfae6a595b34a27467b5e00d2ad2","datavalue":{"value":{"entity-type":"item","numeric-id":7026936,"id":"Q7026936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$CEA5E9B7-4D7F-4657-A2C1-D4485297C9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5675ec69d3882ac5b3e262add6b9f498e4354b6f","datavalue":{"value":{"entity-type":"item","numeric-id":3063977,"id":"Q3063977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$14EF4BBD-0BAD-4A0D-8251-959CAE42CE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1440bfde4b921a559ae7dd1808f848d5f74bf712","datavalue":{"value":{"entity-type":"item","numeric-id":5351964,"id":"Q5351964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$E81B5E3B-995E-45AE-B94F-ACDDF170F507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$944ADDE8-004E-4487-BD77-AD8EBA21323E","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":"Q6860396$F0857FD2-4D9F-4BBD-A3B6-D2071926DF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860396$14ACC239-3064-4519-8A20-EBD5B43251A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded inquisitive logics: sequent calculi and schematic validity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_inquisitive_logics:_sequent_calculi_and_schematic_validity"}}}}}