{"entities":{"Q5049018":{"pageid":7078595,"ns":120,"title":"Item:Q5049018","lastrevid":37455609,"modified":"2024-07-30T17:38:10Z","type":"item","id":"Q5049018","labels":{"en":{"language":"en","value":"MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614686"}},"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":"Q5049018$EA22A19F-7850-4DFE-9390-64C169E78B73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"537cc6ec92c51489ff411b1764a146f4fc707ea7","datavalue":{"value":{"text":"MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049018$7CD8EA11-6E51-4F73-95A2-495A4E36326E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc9bbebd30219ab4707ee683a67729dd3a40586f","datavalue":{"value":"10.1007/978-3-030-51054-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049018$D7204D52-11DF-47E5-93B7-9194CED42AA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e045518f6e12ef3786440340940f9f65ccbcbda","datavalue":{"value":{"entity-type":"item","numeric-id":1694455,"id":"Q1694455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$754DF3B0-6464-4C7E-991E-9C7B42E948D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$69DDC2C3-672E-41A8-A753-02BAC33197C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$6573E18B-6C85-41FC-A8F6-A0CECBDD529A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049018$F7874506-449E-4948-8746-AB558D645F07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049018$49CADE30-279C-48A5-A44C-1AFB7E2F6111","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38fdfee407b7d5aee13b1b8fa6446910c5fe0325","datavalue":{"value":"7614686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049018$A04DC0EE-1F7E-4AA8-A92F-FC5D22895D75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049018$3590C19C-4AA1-4FE4-A3B8-CBFF7374068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049018$0B5CE0B3-B8D7-452E-8359-B4B72C4444B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049018$02C85B6F-6360-49EF-BCB9-8DF76BA10586","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$435CACD8-B4D1-40D9-958B-40856D788586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef67e13db42d612cd6629f6e2cbcf0f0d68e6118","datavalue":{"value":{"entity-type":"item","numeric-id":22010,"id":"Q22010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$296DE2AF-1EA9-4674-9D8B-13F6DEF8AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$F08A207D-6169-44B3-83CB-77DCE5CAE1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$3A71632F-BA0D-429F-AADF-B06B7998504E","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":"Q5049018$6F5CA1E3-502F-44E8-B0AE-4473E945DBCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d0288e51813e2b775204391ac3062e367064b0e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049018$5F0CB81F-5922-423B-8FFA-57D46750E8CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32567fb9662e592b138906bd1f2062b9d146f546","datavalue":{"value":"W3017391521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049018$8DD4BE97-534D-4885-BC9B-960C0D539969","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a88a851a9bafb5a87194b06345f61c65943de5","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$92828D58-0320-4E5E-9E3B-F74416AEA0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$1A016DF3-9A56-4C17-9B5F-E6280AC68B6F","rank":"normal"},{"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":"Q5049018$4B37263B-9B8F-4EAF-B5EF-31254AF74F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$BE865FA1-17E9-4444-9BA6-80461C889B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1deaf640b23ae3a53894ab56d6e520103b44dba4","datavalue":{"value":{"entity-type":"item","numeric-id":2811354,"id":"Q2811354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$5696A1C2-6E9A-468A-9616-FD7F56EEA020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688427db8857ccd2460578f0423fd5c5a570e88d","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$FB6BE8BA-E520-47C0-9B20-183F5980EAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$BE0E9B74-13D8-4560-A1F8-38C57A135785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325f52190b9f0f52c72c946fa62a288fdaffd2d0","datavalue":{"value":{"entity-type":"item","numeric-id":3066103,"id":"Q3066103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$A5063AFB-1EEC-45CA-BB4A-112627AE8B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$90FB3D99-DFBB-460F-B65B-619493BECD58","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":"Q5049018$E7C53F83-C62F-4D13-A469-65EBDCAB05E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$1E531150-C3AD-4795-A141-0FDF67B0829A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860086c035d23f8dd0aac31e3ead7451dac356ee","datavalue":{"value":{"entity-type":"item","numeric-id":1734264,"id":"Q1734264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$349D2129-9531-46CB-AC35-E861BF885B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fdc811ae13f897200bd6750854ae2003fe9c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2180518,"id":"Q2180518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$B177A034-27D5-47D7-8EB9-11478203D97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744280890ddf64d6046b1413aebd46cba1d83b47","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$0B2AE536-64F7-45B7-99A5-D9A85CE6EB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$DD73618D-80D3-4DE0-8051-B5747896A4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f6bff68c8ebf66dfda0b239fbc2871c6c95c89","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$D49527CE-F59B-4606-A411-4785588AF7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b929845b5516522e181e8920ae553d8a37f5016","datavalue":{"value":{"entity-type":"item","numeric-id":3192215,"id":"Q3192215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$653208AE-0B1C-4476-B43D-BF9256662D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049018$F0C6ED6D-BD5D-4235-B490-D26D4EE19A11","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":"Q5049018$BF18B9C6-117D-4397-986D-267B3BE94E35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049018"}}}}}