{"entities":{"Q1005954":{"pageid":1007802,"ns":120,"title":"Item:Q1005954","lastrevid":66566076,"modified":"2026-04-12T10:59:03Z","type":"item","id":"Q1005954","labels":{"en":{"language":"en","value":"Frame based formulas for intermediate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529398"}},"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":"Q1005954$66A3C339-A2DE-43B9-8B50-A2770A6C9D46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"556c29676fb18f7f3ced4dd8bdf565b5e5e3375b","datavalue":{"value":{"text":"Frame based formulas for intermediate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005954$910A25CF-33C1-4910-A086-9F31038592EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c46115dc2f258dcdbd67b6b3a5f072a4de205f61","datavalue":{"value":"1172.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005954$D413B2C5-F4F9-4827-BDF2-C3A494D8F9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$57E5CB08-70E9-4401-AF17-2BA505DF81FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$1AA40872-6DDB-48A0-B586-54DF247636BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005954$C3BFC879-9A13-4671-8BD1-83835D2E7F59","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ff92d76bd152e44589ebeb8d2029c213f36f011","datavalue":{"value":"In the study of propositional logics, particularly of intermediate logics and normal modal logics, the so-called Jankov-de Jongh formulas defined by finite frames have been applied as a powerful tool to many important results in several topics such as axiomatizability, finite model property, splitting, construction of continuum many logics, and so on. Based on a similar idea Fine, Zakharyaschev, and others introduced certain variations, e.g., subframe and cofinal subframe formulas, and showed they also work for other interesting results. In this paper, the author generalizes these formulas to the notion of frame-based formulas by extracting principal features, and shows that many central issues on the above-mentioned applications can be discussed in a uniform framework thus generalized.  One of main results, for example, is a general criterion for an intermediate logic to be axiomatized by the frame-based formulas, which gives rise to a simple proof of (finite) axiomatizability of locally tabular (tabular) logic by Jankov-de Jongh formulas. In addition to some observations on the above-mentioned applications, it is also shown that there exists some intermediate logic that is not axiomatizable by frame-based formulas. The paper is devoted to the argument on intermediate logics, but the author also refers to the case of normal modal logics in paralell and remarks that a similar approach is available for transitive normal modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$77A90FAD-724B-4862-9947-DFF7DC7D9570","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$94040F1C-B8EF-474E-AE9A-A3DFAAE254A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005954$246DCA69-4687-48EA-8155-39A23BD05DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005954$B97E37AB-4865-453D-8801-088E7E75F603","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1812478c2be98d391f2f3effc1c1e617d3b9eae","datavalue":{"value":"5529398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005954$07054E19-0030-49DE-A77C-9880A5478C70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$F4214212-6CE2-4F7B-B797-76AB500E628C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c18c10afa02a19a388314cbc43fe203201e3103","datavalue":{"value":"Jankov formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$BE479631-786D-44E2-A542-CF1F3B60D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b952d5c0926ec287af5555dc340f9785c0b72d8d","datavalue":{"value":"de Jongh formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$D8BD7CE0-1CDA-41B1-87A1-D407DED9C8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b8abc56c0dfbdcfb489a8fa57f8969e350d958","datavalue":{"value":"frame-based formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$D63C22C2-C20C-43E8-A086-19517CB097EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1590c91e419c2759fb999629ed8a6eabb7921bb4","datavalue":{"value":"locally tabular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$EEDA0159-61FF-44D7-BE7F-8A36DCD13A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac6a2446b23e92c3cf8a2e8fa7dde8963e2def8a","datavalue":{"value":"subframe formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$5D2F6DB2-0E18-4206-B6C5-650740A27E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3411ed60d3172bfb93ca9b707ae57936ae54a2ec","datavalue":{"value":"cofinal subframe formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$F688C3EA-7D89-436C-8263-654982CFA3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$1B30A97D-FF82-441A-83B7-5BFF59F5135C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$02B47992-4B34-4D7E-8D64-7FD4C1D1D840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fab1d7dadc9c096095fb8f4f755156daf4bb08","datavalue":{"value":"splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005954$1822E355-CB82-4A2A-944C-6FAC70F86DE3","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":"Q1005954$42470AED-802A-4FD8-B5CC-0B33F424C13E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eadf742ab60b34b521f3c37db11d919304d73bb3","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9147-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005954$C603BDB2-D5C4-49E1-B3CE-F907F51E6357","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ab926fe501312e60c068d4b00cf4415c5341319","datavalue":{"value":"W1976834309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005954$CE9251EA-3EBF-4D8E-AF26-8E4CD6723E22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dc67082ba9d9143358226f3b7c64bbcc9561fe","datavalue":{"value":{"entity-type":"item","numeric-id":1771891,"id":"Q1771891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$D52F8675-C034-41BA-857C-B1E3D8DC63CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fac0715e16e8fbd1971333832aae7999e9a69e","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$081AEE9E-9EB7-430B-81B6-07A69DC51745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cebce9aab92febbced53c36c1a4193422c46671","datavalue":{"value":{"entity-type":"item","numeric-id":818713,"id":"Q818713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$5CE7A1B2-7C50-42C6-91D9-16095706DDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93d6dbdf36588b4e734c1070891cad4705c5bd4","datavalue":{"value":{"entity-type":"item","numeric-id":3208624,"id":"Q3208624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$B538A2E4-19E0-47F7-9734-EC1BD04A1BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7934e33a35dd0c63bef1207c76931c406afb2c","datavalue":{"value":{"entity-type":"item","numeric-id":3772270,"id":"Q3772270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$91F1DD17-FB3B-48D8-8857-F1DCA79D5F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$CAD1C6FD-93F6-40E0-95C9-412197EA4B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$B25D0160-D551-4E94-81B1-1C15C812D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$29289A51-8011-4717-B1B2-90833862B17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$8DCC61B0-E096-4F59-960B-F91C4B766A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$461E21DC-59D4-4604-BEA9-56D3D614D95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db83eb424ff4edbcf359071f1340559aa485af8","datavalue":{"value":{"entity-type":"item","numeric-id":5614644,"id":"Q5614644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$BE35CA58-B302-47D8-9313-2251AD9A9F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799e9000c66a9302e003e68e1c27e1c7bd28de8e","datavalue":{"value":{"entity-type":"item","numeric-id":809064,"id":"Q809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$C27B1EB3-ED5A-43DF-82CA-A6662FDC4599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc835d665e3a76a76cef02b40f04b8faba048ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4304115,"id":"Q4304115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$07B8E1D8-A5EE-451D-B1A0-072779DF1683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b699087465adbd5f2e31ba20ec02b18d06650fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5287685,"id":"Q5287685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$9470B2B9-F5F7-44D8-A028-95FE5A6D9B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27111b8c1a0884d0c4f54739e8014ed83f2b4b78","datavalue":{"value":{"entity-type":"item","numeric-id":1069926,"id":"Q1069926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$4EFAD907-C594-42C9-B754-8720944CE8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16772c1c01146bd65752e6cd7055c6202def24","datavalue":{"value":{"entity-type":"item","numeric-id":599049,"id":"Q599049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$97D36D91-77EF-47C4-9C2B-CD7FF337AE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$6EDA9651-F2E8-4E36-AD89-E7313553B7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$0D716A38-78E0-492B-8A8C-2E8E1B83728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bb7e0b65611d4746e94cc88f40746904f4a46f","datavalue":{"value":{"entity-type":"item","numeric-id":5834633,"id":"Q5834633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$CA1BFCD0-079E-4400-BCAB-38B4D8417246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de898181175b03093b03d250a0621eb8fffd29b4","datavalue":{"value":{"entity-type":"item","numeric-id":4304792,"id":"Q4304792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$6D62668F-F715-4D11-BCA2-B55F5EDCE395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0797389d565417b6d1c13ed5454a90ef6d1a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$99FE6E8E-03A2-4856-B693-A29D26190748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e527b8caf009e59e2d5d4c5d80427114860575f","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$53C87B73-690D-4857-BCE4-86618B3B4BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbb5de970b196cb78b1b965a169c5f0c21e9832","datavalue":{"value":{"entity-type":"item","numeric-id":3726083,"id":"Q3726083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$348C7FF4-C026-4D2B-BF44-6D7E114989A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3422a46904c0317ecd3a4dbc57c1bc180165ca8","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$30895181-1D34-4F90-BCDA-CA44CFF5F096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc687154876af29438e40818d3c5a719d115f72d","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$6B2DDFFF-A310-4400-904B-9C0AEFEEB860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84bd6b5a534f67b6b7d4c37a09d43bc1c1517c9","datavalue":{"value":{"entity-type":"item","numeric-id":4894720,"id":"Q4894720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005954$989F2A3B-FC08-4974-BCAF-773C43EEAD74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"878bfe2759fbc3f18aed6b0c8a22868d13f75826","datavalue":{"value":"10.1007/S11225-008-9147-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005954$97C14B8A-8536-4922-9983-F3AF3681372C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7962c2978ba48a8fd9e98bbe3e30f8a690781993","datavalue":{"value":{"entity-type":"item","numeric-id":5214733,"id":"Q5214733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a964a52f5379d79ce5b6521929ecafdfd995d27c","datavalue":{"value":{"amount":"+0.7567490339279175","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":"Q1005954$0347360D-1F78-429A-AE58-870940D17681","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":"7377b7664e3aa6f5548c6c6bf184e7d0e2cbbed2","datavalue":{"value":{"amount":"+0.7537547945976257","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":"Q1005954$87D407A3-3F0B-43D5-9F98-A8C97AFB7230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f84c8efac2608edc2a0fa2e5e187d850db3ede","datavalue":{"value":{"amount":"+0.7534182667732239","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":"Q1005954$752F4E31-46E3-4A7E-BBC5-9CA8670D518D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce7c84e782719acf493847535fb127d67b1a5b","datavalue":{"value":{"entity-type":"item","numeric-id":761445,"id":"Q761445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5747e796e335423c5e56ac61a4c57f70fa7d650d","datavalue":{"value":{"amount":"+0.7500087022781372","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":"Q1005954$4301E060-B415-400A-8238-36E55977CA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c42429fdc5fb941068d1f1304ee7dea4beef861","datavalue":{"value":{"entity-type":"item","numeric-id":4443187,"id":"Q4443187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b31e1738bfbe473286ad642cf9c77901814c6ed","datavalue":{"value":{"amount":"+0.7499249577522278","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":"Q1005954$BBEBCA21-7769-43EE-AB35-6DFFE887C7DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frame based formulas for intermediate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frame_based_formulas_for_intermediate_logics"}}}}}