{"entities":{"Q487689":{"pageid":489456,"ns":120,"title":"Item:Q487689","lastrevid":52179071,"modified":"2026-01-21T02:42:25Z","type":"item","id":"Q487689","labels":{"en":{"language":"en","value":"Modal interpolation via nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6389866"}},"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":"Q487689$9A8BCA6F-306B-479D-A7F6-A36771C57DFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f82566b92fb036f84bfae84be58836d6d1af946","datavalue":{"value":{"text":"Modal interpolation via nested sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q487689$BF890441-17D1-41E1-866F-DC1C3B7BB2F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c7b74bc010194e59e02ca28614b8ea9b5eba076","datavalue":{"value":"1369.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487689$503DBBC8-9CF3-4EA0-9B32-FA4E7FE7095A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$C4C950F9-3453-4403-9AF2-4428AF6BD421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$6DCF1C4F-303E-4FD5-9930-A4FDCC1ADB16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$93D49A20-3496-4DEF-B61D-43E213502F80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"519fe64785e203f4d11f5ae60d7f728bcb27c415","datavalue":{"value":{"time":"+2015-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q487689$FF302C08-0256-4DF5-86E7-5DF0CCAD289E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487689$1E981097-B887-49F5-9BA4-A032339C494B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487689$422B12A0-A29A-4C12-A742-36C4EC34C763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487689$63FAAA5F-1F06-4E8C-A605-0A58F194C7F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c5655048217f718dc5373134f6c736a2c95bf25","datavalue":{"value":"6389866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487689$DC77D324-F22E-4D8B-9FFE-F7B2D53FDA8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q487689$A3AB9AAF-19E7-4313-9DDE-4B3BA49EBC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6969d6f5466fad8412af4be696b885c41e64f74f","datavalue":{"value":"nested sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q487689$8FD533D9-B9B3-40B5-AF05-BFB1E4CFD2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q487689$D63B09F7-7419-4F46-AE10-7C287EC73C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q487689$341B0EE6-A56E-49AC-B8BC-21687970FFBA","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":"Q487689$F312A60C-62A9-4D65-A92E-A2559D17506D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d3ea4eea64dd83259ecc556d1e9edab03926a5b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q487689$7BB0B055-2C43-4F81-87DD-363693D3CF3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c02032e51a8e61e6c93fdb6a1e53491b36d65c49","datavalue":{"value":"W2171052763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487689$CF8EAF64-F154-4ABF-BE55-31F371574420","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$246AF51B-9BB4-41E5-818A-76BBD0F4465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$B1089E6E-1A64-4A33-A1D8-191CA31E7E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8d61021b01127b33d0665735bf34f380ef3521","datavalue":{"value":{"entity-type":"item","numeric-id":4437809,"id":"Q4437809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$4D91215F-0A3A-4D2E-9207-868B8DD97166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$259BCDB0-6615-4166-AEBD-FD9C635AC5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba61db66a00c67216430e624de9dd1ef188a6","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$0E75C7D7-0984-4D53-8AA9-FD3DC6F2C3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$CC42A575-2163-4E66-BBDC-86FB8C528871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39700daf922af970edf922063d623ae332b142a4","datavalue":{"value":{"entity-type":"item","numeric-id":5409126,"id":"Q5409126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$C1855D7D-6E29-4BDF-8B03-3CB9A413BA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb918ec41763146dcf435966b2e1f08f3f5225c8","datavalue":{"value":{"entity-type":"item","numeric-id":435202,"id":"Q435202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$41E7366F-01FB-436A-A436-CDEF9357650E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36acd4a682e32105b6e11f8920d0722699021b33","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$C766CBF4-1FE8-4F87-ABB7-A1C320241BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c8b1dfa02519b9bc0d4750f00a276e02ef5a6","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$C8BE4CEA-D12E-4861-8B1D-A73AAEA7F390","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":"Q487689$01052F09-9806-4E01-94A2-174CF5219042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1bf82999819cf4b96ab775b70078b417517dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487689$BC2AED1A-8781-4AD8-B5E0-A6B8C26F382C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b4e41789d0e443c9ab8f11a639b171185fcabde","datavalue":{"value":"10.1016/J.APAL.2014.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487689$92019A5F-2166-4D9C-95A6-5787BBFF6A51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8638591b2a5b512b02ec352f80b9240dfd22b3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5221855,"id":"Q5221855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619030e770e83c9e8703305baab1e5c4f53add3a","datavalue":{"value":{"amount":"+0.8729971647262573","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":"Q487689$4DFFAD91-8C1C-4699-99D7-687FE7827FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266003543121ea6470d12f665fa5285e7c2e346","datavalue":{"value":{"entity-type":"item","numeric-id":5283429,"id":"Q5283429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ddd28bf4b42edea302f3c680d6417d30c3de4f","datavalue":{"value":{"amount":"+0.8271639943122864","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":"Q487689$5C39F41D-474A-4916-AA18-3A89822813B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db726689842ed79b5cfececf0e623f1a5c6ad7a1","datavalue":{"value":{"entity-type":"item","numeric-id":1799040,"id":"Q1799040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce36c65631d98cefd02beae11dc143306196c6b3","datavalue":{"value":{"amount":"+0.8233094811439514","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":"Q487689$4D3EBCBC-1713-44A3-9947-FEBC1F4D73AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6306f0e0e82f3db9e3d8b660ff2108d7b68b70f3","datavalue":{"value":{"entity-type":"item","numeric-id":5224582,"id":"Q5224582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbb9c3de1f4de871813f03dedb7de342cdb8ce0","datavalue":{"value":{"amount":"+0.8154733777046204","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":"Q487689$6D24ED01-ED70-4EE8-BC8B-002CF4AEA848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d4847d0d339f0afefdb049455eaaf956d0e95d","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed15c0f5cb7380e2c50c5a6dabc5cffb77567267","datavalue":{"value":{"amount":"+0.807500422000885","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":"Q487689$6399A64B-205A-4C3C-BF57-EB2CF2CC019C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:487689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:487689"}}}}}