{"entities":{"Q3360841":{"pageid":3371546,"ns":120,"title":"Item:Q3360841","lastrevid":49540738,"modified":"2026-01-07T14:45:45Z","type":"item","id":"Q3360841","labels":{"en":{"language":"en","value":"Axiomatization of the First\u2010Order Intermediate Logics of Bounded Kripkean Heights II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213963"}},"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":"Q3360841$15E7F7B4-AF65-4BE3-8F08-4731BC49E914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"292aa2479b10940134a4d152a719a1d5da5657eb","datavalue":{"value":{"text":"Axiomatization of the First\u2010Order Intermediate Logics of Bounded Kripkean Heights II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3360841$4F673578-940E-4513-9178-360DB5C03745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2878db775e5c6f9b027b6aebb8a46fadca4d8e0","datavalue":{"value":"0734.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360841$E8418942-7909-41C0-87B6-5261D769367B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4301e364414cd62a6a1a89d7c11b9a9677cf381","datavalue":{"value":{"entity-type":"item","numeric-id":3033735,"id":"Q3033735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3360841$BD8CCD50-5B0F-4FF2-A62B-80E478B252D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3360841$9EB76136-94E5-45A1-B8EC-E3F9D9AC9016","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3360841$CF70C74A-D876-4D99-95EF-D388A4817DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360841$DD50EAE5-A848-4D67-A388-44D7AC723D5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eb0436638545057e8834f1476ce549f8b1cca51","datavalue":{"value":"4213963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360841$D0429E35-A4AB-4DEC-A95D-D856B13FBF79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c304a7420652346c714d5f6d6933f10a36a43711","datavalue":{"value":"first-order intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3360841$0648DA7A-3F76-4411-BABE-0034B70CE5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2477d81dd5c659a64fd5a6afb20256520c83af9","datavalue":{"value":"first-order superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3360841$3E168CD8-4477-4B91-9450-57C1E27B2418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c948dc397ed1a46ba38b241f84271d0b8dec132","datavalue":{"value":"Kripke frames of bounded height","type":"string"},"datatype":"string"},"type":"statement","id":"Q3360841$777B2E4D-1C06-42D3-95B2-A9B14997FDF2","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":"Q3360841$EF76364C-E211-46B1-9AB8-84C5CC149DB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbd988bed807caafc193e672eb8118f9e072c019","datavalue":{"value":"https://doi.org/10.1002/malq.19910370202","type":"string"},"datatype":"url"},"type":"statement","id":"Q3360841$4ED68AAA-A77B-489A-B6EB-58A6B0F5D6F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bffdaceb6e5895a0e3a3a4de872955617687506","datavalue":{"value":"W4256405206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360841$DDD4B9E3-A705-429A-B9F1-655118965E72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbad9de6718eba2d2ec6d1f543da2d02b39a42b0","datavalue":{"value":"10.1002/MALQ.19910370202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360841$206C7729-41C8-4AA0-A836-CBE7925CC709","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5003925dddbcd3c683621957280ca9739d140dc6","datavalue":{"value":{"entity-type":"item","numeric-id":3809773,"id":"Q3809773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba511a31973ed56971629e5f8ecc2b3eb65dc1b0","datavalue":{"value":{"amount":"+0.8972780108451843","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":"Q3360841$B55E07BE-3D0D-472D-8F0F-25A589347AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d400a2101df99ccddeb9e787e59b1632025d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1119624,"id":"Q1119624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabdb2670387525eacfc540c3aed4d439439fb3f","datavalue":{"value":{"amount":"+0.800142765045166","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":"Q3360841$D4F3F375-84A5-4523-94B8-FDEE80B7D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db3ab7c26d0095420abbbd1e3190dadec672d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1770592,"id":"Q1770592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b04de533d0207f0ceefcb400e1fe9d6a254c1bc","datavalue":{"value":{"amount":"+0.7949817180633545","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":"Q3360841$0BAEC941-A048-48B6-814E-2196B91C0E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9430167a2d56fddacb222fe5bc24cd9c16d8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4896535,"id":"Q4896535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14683c2ee749130edb7c5b844c134ff857ce691","datavalue":{"value":{"amount":"+0.78693687915802","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":"Q3360841$BE6FE8CE-65E5-49C9-A50B-09ACFAC4C989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406ae853a568748fd2915613e4cb326f18137a11","datavalue":{"value":{"entity-type":"item","numeric-id":2904065,"id":"Q2904065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e803a1a0d413c88bc8fab948c0e28c62d41348ee","datavalue":{"value":{"amount":"+0.7852349281311035","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":"Q3360841$CAD4FB49-632C-4DCF-9681-38E566C3AFE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3360841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3360841"}}}}}