{"entities":{"Q1699745":{"pageid":1710486,"ns":120,"title":"Item:Q1699745","lastrevid":68167326,"modified":"2026-04-12T21:53:12Z","type":"item","id":"Q1699745","labels":{"en":{"language":"en","value":"Deciding logics of linear Kripke frames with scattered end pieces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6843098"}},"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":"Q1699745$B3146352-6E04-4FF2-835C-682E45143233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69babf8c1796b33d4226957a46c3147c0e816a78","datavalue":{"value":{"text":"Deciding logics of linear Kripke frames with scattered end pieces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1699745$5C35E3BB-6C5E-4EF1-B101-D28A6A01E88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa847b4a6ce9703aee145ac1cde3806b9145459f","datavalue":{"value":"1400.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699745$8777FFCB-2EF3-4DF8-A780-C3DB4992FC6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$AA4DCD31-69C1-454B-A9FE-2888A18D565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694d2e8c67abb491571f4dddc9bef501d0565c56","datavalue":{"value":{"entity-type":"item","numeric-id":650892,"id":"Q650892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$C069E40A-721B-452F-A7C3-77E82E036149","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$CA730F98-2C86-4A6B-9D45-47CC5BE31C9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44c8d8792d4e1b2a769791b541a37bbfc88219ec","datavalue":{"value":{"time":"+2018-02-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":"Q1699745$40647540-BB2A-458C-AFE0-F10DDA0EA0BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbbaa5460f2a99fb7cf346faa7f928747ec04b59","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa30489","type":"string"},"datatype":"url"},"type":"statement","id":"Q1699745$CD83113D-0671-49BF-9DCE-FE8C04DA351F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fef144e44cfe9e93e91024a9675dcfa7a806e6f","datavalue":{"value":"This paper uses methods presented in [\\textit{M. Baaz} et al., Ann. Pure Appl. Logic 147, No. 1--2, 23--47 (2007; Zbl 1146.03010)] on non-recursive enumerability results for G\u00f6del logics and methods from [\\textit{A. Beckmann} and \\textit{N. Preining}, J. Symb. Log. 72, No. 1, 26--44 (2007; Zbl 1118.03016)] transferring results on G\u00f6del logics to logics based on countable linear Kripke frames. The extensions presented are twofold:  -- an extension to linear Kripke frames of arbitrary size,  -- an extension to the case of increasing domains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699745$AD29F23D-7D71-431D-8EF6-0CE057E5C79D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$7D478171-8001-4AE5-86C2-316D04661875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699745$D382D262-C4F1-4465-8451-9E898E8D56A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699745$DF49071F-C05B-4BAF-89A7-2D468DBB4F36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d1190ccd06393d3917bcbba0f2573f64686f545","datavalue":{"value":"6843098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699745$8E3AFAF7-255D-4CB0-BFB6-556D6F5BEDF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1a1f25e847b244c568cc40973694e51b1ad3da","datavalue":{"value":"G\u00f6del logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699745$89188F3A-866D-4512-8029-084DC0732F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d409154a0092321b4ef18c3fff3c9c4a56221bb","datavalue":{"value":"linear Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699745$F89AA660-A533-4597-B4FD-F8B771805AB2","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":"Q1699745$BD7CA332-EBE0-43BC-A370-653C90419C02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca2bc16e9606d565b83b3af2169aabc2915a0c36","datavalue":{"value":"W2537649082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699745$7B0FFBE2-7741-4C6E-A763-446AE4360F61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61234dae26d5b83ced560641237efc65fbe6905c","datavalue":{"value":{"entity-type":"item","numeric-id":5387875,"id":"Q5387875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$E42F63DE-E175-49FB-A894-6AFB18934723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5022617428ef26e116124ed59330ee04428a997","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$764152A9-C837-4D14-826B-B3049F9B9205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a8e7aa3826057e8a68a04faafb879ca50e3653","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$88A9C5C2-B46F-460F-AF50-739D126A317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1edcb888e96f446a1331c09f2a0c09105dbc83","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$BDDB6626-06CA-4466-BB37-B44875CED4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fb3023b40b57edcf66b625924091481293b3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3970346,"id":"Q3970346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$D425BEA0-E669-4068-9B2D-AEE636099161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e81b9df832512ec9509c2ca53858433f634cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1109762,"id":"Q1109762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699745$5402B096-69E4-4EC2-A030-63C4D7FF0CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ec08d35664ee23c48ff238dbd701b0162d01fd","datavalue":{"value":"10.1007/S00500-016-2400-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699745$7783647F-EA74-445D-BC6D-9F4F07DF09CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e12ba556c830815c40b8efd4a610e6563489c3a","datavalue":{"value":{"entity-type":"item","numeric-id":817691,"id":"Q817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687948e4bec94a8433c6c022dea99f7039f223f2","datavalue":{"value":{"amount":"+0.7463424801826477","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":"Q1699745$03D67BD8-1CB6-4965-9167-21BDCDA979B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2461e29ed8dd886e7aa42232cb13dd82d29c30b4","datavalue":{"value":{"entity-type":"item","numeric-id":4424651,"id":"Q4424651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac47fbba35a84f7330b03ff8bc49c494a1ca4fe","datavalue":{"value":{"amount":"+0.7292904257774353","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":"Q1699745$38D737E4-E171-409B-9840-A87858338558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38fa78c4bac4d0069af58c94a01d3882dce3467","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f960c768677b747909b7d1d04744722251c4855","datavalue":{"value":{"amount":"+0.7287707328796387","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":"Q1699745$941BA014-800B-4431-BE36-CB375EA935CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7e0ae95b8b2c2a09355ab60b762853bef151a8","datavalue":{"value":{"entity-type":"item","numeric-id":5095625,"id":"Q5095625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1906a226ac059ae04ab7ec88a305f5bc34afd2ae","datavalue":{"value":{"amount":"+0.72515869140625","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":"Q1699745$B52C412A-DA85-4189-A8D5-E6F2E8954058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f41dccb75b490d15a5f55bb588121719a28bada","datavalue":{"value":{"entity-type":"item","numeric-id":5696304,"id":"Q5696304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b542f5c335bb4ee1b2ee50248500ce9cf58dd95a","datavalue":{"value":{"amount":"+0.724894642829895","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":"Q1699745$508D325F-149A-4B5C-BD6E-F2468EB23539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding logics of linear Kripke frames with scattered end pieces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_logics_of_linear_Kripke_frames_with_scattered_end_pieces"}}}}}