{"entities":{"Q5884946":{"pageid":7914498,"ns":120,"title":"Item:Q5884946","lastrevid":41811834,"modified":"2025-05-08T15:21:11Z","type":"item","id":"Q5884946","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668098"}},"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":"Q5884946$DAB3E108-47AB-42D3-8649-AE22784A217B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884946$61FAE15A-B337-46C6-B46C-677F55FBED83","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":"Q5884946$91D013B9-16A1-49E0-AE3C-414B4FBA1DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb22a3904380777df510def911bb4e3eb3352","datavalue":{"value":{"entity-type":"item","numeric-id":2106872,"id":"Q2106872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884946$11797DFB-D000-4C96-9E9B-83BD56896929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884946$32B495CC-68F8-42D2-8820-CF9D525C8700","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884946$5DA95EA3-D55D-4941-826F-B9AFB9D9FCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884946$187FA9E7-7661-411F-B64F-F9500C608067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dc68623be24d963ec68adb15bf9815b729f3c9b","datavalue":{"value":"7668098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884946$928BFA25-280E-476B-A6A0-00FE04801927","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884946$456F4C69-28E4-42CD-B289-86B49F22C994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884946$D0CB3BA6-4812-4721-B175-8297BBD373A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884946$24DC8B81-9CCE-4B17-A552-B7AE60FBC6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa65bbd48fd85398324e0d7725078f28be4d71a0","datavalue":{"value":"bounded depth Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884946$65D479BD-8C44-4838-AE19-8D50A235D9A2","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":"Q5884946$3C8D9DD9-C1FA-440E-BE56-37B8CBD58E9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5161b57ea3cc9785d1c24241b9912f026f71757b","datavalue":{"value":{"amount":"+0.87257165","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":"Q5884946$84D0BBF5-5066-4424-A34F-66DF80AE1560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2f87ec432471f4bc07436fba1f39fb888392ef","datavalue":{"value":{"entity-type":"item","numeric-id":4644546,"id":"Q4644546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facdd2c9bd51b11cca291e56d616adec5fc1579d","datavalue":{"value":{"amount":"+0.861835","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":"Q5884946$D64FAAA5-9C3B-4F3C-9124-84DF061E2403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059fd9055505aebb41c72f5dcf7c05c4aff992d8","datavalue":{"value":{"entity-type":"item","numeric-id":3143039,"id":"Q3143039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04ce4995599061ba698ad45d9c40b4ca7ce9c9e","datavalue":{"value":{"amount":"+0.86081046","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":"Q5884946$531501A3-3249-46F2-A18B-82681F0ACD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5528426cc6423a796c7dbea1a34e3fdc678c7e","datavalue":{"value":{"amount":"+0.859474","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":"Q5884946$688EDFC3-04DD-47FA-96B8-620B90B54D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3941cb7ac991c6be0f45aa8cd453743616a8e48b","datavalue":{"value":{"entity-type":"item","numeric-id":3584968,"id":"Q3584968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6e585743dc3b8d71e266b1ecdac79b601664d6","datavalue":{"value":{"amount":"+0.85646915","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":"Q5884946$6B3EBB71-D4B4-41C1-A73E-9F8E0CD93B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b04215b26ac331ffae2c2bab901db1241a54ab","datavalue":{"value":{"entity-type":"item","numeric-id":2200833,"id":"Q2200833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79996649a0a0ba8f6d2cc1d3bc492c132612d8fd","datavalue":{"value":{"amount":"+0.8550464","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":"Q5884946$12F81058-37A2-416A-ADFB-683BD941E918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f12cc42a11f603ff3a7078a8ce829374450f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78744aa0cbe6db1dac5d6b84187c358e7c98297","datavalue":{"value":{"amount":"+0.8538569","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":"Q5884946$74FACE09-787C-4D92-BBBD-D56D5E892639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca8bd5c8228247921d211e8b7ddf437ca996d45","datavalue":{"value":{"entity-type":"item","numeric-id":4918406,"id":"Q4918406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbed37c03c99f923c3e3040b088bcf7c2850094","datavalue":{"value":{"amount":"+0.85291666","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":"Q5884946$3BDB6ED3-37D9-420C-A8A0-E7DBC7F210A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8587af02668957b678a1f76738127339e04949bd","datavalue":{"value":{"entity-type":"item","numeric-id":1694451,"id":"Q1694451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ec276549ea71dd755551cefa5f19756d05013a","datavalue":{"value":{"amount":"+0.85260874","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":"Q5884946$65220C63-BB13-4220-8496-0FA8AAC56713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5e1e2f9fff3e69c780ffc84220f5007fef660f","datavalue":{"value":{"entity-type":"item","numeric-id":2915054,"id":"Q2915054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d1223ab55af8fd1043931f9e1b300111172ae9","datavalue":{"value":{"amount":"+0.8525838","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":"Q5884946$0AFB19E3-434C-4D46-8AB1-A21CE3F99575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884946"}}}}}