{"entities":{"Q3545214":{"pageid":5575118,"ns":120,"title":"Item:Q3545214","lastrevid":50519888,"modified":"2026-01-14T06:49:27Z","type":"item","id":"Q3545214","labels":{"en":{"language":"en","value":"On non-compact logics in NEXT(KTB)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5380037"}},"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":"Q3545214$743B7655-6DB8-4BA0-AF6A-7ED435908F8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60722caccbe6f52a0a65d6b68ea0715e3515cb7","datavalue":{"value":{"text":"On non-compact logics in NEXT(KTB)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3545214$3BE325BE-B57F-4804-9AD6-41CBD763F89F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1062e1e251d36fbfc1319249f3bde9087fda57a8","datavalue":{"value":"1172.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545214$C0B6B277-E868-4112-8AA5-450EF1144254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fce13c76b03bec4a57e6b04fa4e225a456e870","datavalue":{"value":{"entity-type":"item","numeric-id":519845,"id":"Q519845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$8137E07D-807C-4FE4-A591-EBBF4B0324FB","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":"Q3545214$1699A65B-CCFD-41F0-857F-23DAB769219A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7e8730d4188cf8a4cd5a62da8eab7f6fdd55e8c","datavalue":{"value":{"time":"+2008-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3545214$C08BA4B1-723D-45F7-A034-2E4A1429666C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545214$B2B1ACFE-ABE2-4095-99F8-D66934D5014B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ec58ca5b9ac483420dda215fa2cc19320d5ee3","datavalue":{"value":"5380037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545214$863A691C-DD63-4CD4-B2C7-97709517D957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562af63eeda717d1265b5bd3a3add7d851cde878","datavalue":{"value":"non-transitive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545214$B8D60F10-41EE-4F96-B530-3D87333E8FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d394c86b7d8ef8332daea6d7ddd37b143574182b","datavalue":{"value":"non-compact logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545214$6E012C35-575F-4C3F-9EAF-BF886561F100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545214$5CBE00AA-C0C1-45DB-9152-5D4C486DE03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545214$40DE9DF3-316B-4057-8C72-193A74EC2F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e755cc48aca2f87c8568ae067e26348acd5143e","datavalue":{"value":"incomplete logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545214$04EFD218-E923-47C2-BA5A-24CE16DCC1DC","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":"Q3545214$C4F9D585-AC8E-46D5-AF9B-A0CB68C46DAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f3e82ff0518be03a965529bec9738d19d92ede1","datavalue":{"value":"https://doi.org/10.1002/malq.200710056","type":"string"},"datatype":"url"},"type":"statement","id":"Q3545214$446D556E-23AC-4465-B1EA-42A20A1A7B5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"239ae98b2c75bb86d15118d7a8f6848dfb24aa38","datavalue":{"value":"W1993095058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545214$75B3DC3B-A2F3-4031-A272-F349D04DB74F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfe181946b62ae9aea0d1c5564832c31042bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":5460171,"id":"Q5460171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$227B015C-53EF-4352-9B96-487A21018452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c030879b5617da7bc4776ff8fff1189bc16cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5411404,"id":"Q5411404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$EABED34C-C186-46AF-BE06-FCD196F22142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23d29cfc352e00b7adb1204d5a6b587b889584c","datavalue":{"value":{"entity-type":"item","numeric-id":5483007,"id":"Q5483007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$F8E122BA-1497-4708-A576-ECF3BD0CA222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69df2b0b71a774037cdde988a16d2de658c0e970","datavalue":{"value":{"entity-type":"item","numeric-id":995674,"id":"Q995674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$3AA87EC6-2485-4EC0-B75F-4A6A555BCCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e77b2f30d1034d911c04cb89df0eeada2776e59","datavalue":{"value":{"entity-type":"item","numeric-id":4192037,"id":"Q4192037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$6748EA83-55FE-417E-8B42-4C579FF045EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e895adc861166322bd9f5307ca48482a23432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1260026,"id":"Q1260026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$64A7F460-23FD-4BD8-BB61-AE71E1E0F38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bad01705969347cdbcd6e83280db29ebe41f842","datavalue":{"value":{"entity-type":"item","numeric-id":5677459,"id":"Q5677459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545214$539F5F55-AF26-4869-843D-6043261630E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df3209f2c7b9a3ec554d80f5c62c53aa89b5d14a","datavalue":{"value":"10.1002/MALQ.200710056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545214$F070DFFE-1C00-4E20-B0FF-160BDB11A7F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a74cf3815988d9047b52a7c6ce16058af47c51","datavalue":{"value":{"entity-type":"item","numeric-id":995674,"id":"Q995674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfb50fee20c8e035b4495a41e0d15eba0692fb1","datavalue":{"value":{"amount":"+0.8461825251579285","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":"Q3545214$360B2E2C-8E11-4CD7-B821-3290AA0E0748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3a50ff90e6caf248e3ef641549857a938effa6","datavalue":{"value":{"entity-type":"item","numeric-id":5411404,"id":"Q5411404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dfa17ec91c01ce3df850996723074d51b9f5f4","datavalue":{"value":{"amount":"+0.8284931778907776","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":"Q3545214$8198F9B5-5CFA-4F02-8048-C8E36B044CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266f795a9ef5ad750ffb8b9decde22c41234628","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f073db969246112f3bf871b96f4cded658b214c9","datavalue":{"value":{"amount":"+0.7975559830665588","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":"Q3545214$63BB8ADA-5CF4-4A51-BEF7-494BA67C655F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9b9e96f8f67820bd5528ff48fc769027cb604","datavalue":{"value":{"entity-type":"item","numeric-id":5460171,"id":"Q5460171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d133984d25df48f9a2121c5e12dd8b3314caf4","datavalue":{"value":{"amount":"+0.7867916822433472","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":"Q3545214$BE046FDC-9CCB-438A-9CD8-9ACB72987E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874ad9be1eb8f1fc608f0d99d7e57e89c13a64c5","datavalue":{"value":{"entity-type":"item","numeric-id":5483007,"id":"Q5483007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1834ab539e92214d2a8a039e6e56ca4a8c5c1ff0","datavalue":{"value":{"amount":"+0.7569928765296936","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":"Q3545214$8B5F3BF0-1032-4641-A8AA-91BA44D21B75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3545214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3545214"}}}}}