{"entities":{"Q1790599":{"pageid":1801341,"ns":120,"title":"Item:Q1790599","lastrevid":57569691,"modified":"2026-03-31T10:50:26Z","type":"item","id":"Q1790599","labels":{"en":{"language":"en","value":"First-order modal logic: frame definability and a Lindstr\u00f6m theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946459"}},"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":"Q1790599$AA0B80E1-F7E2-406D-8320-5B4934CC10EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44e7287af96840bce519255e4e09b377af102d91","datavalue":{"value":{"text":"First-order modal logic: frame definability and a Lindstr\u00f6m theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1790599$CA400A62-0C4B-49DB-AA75-1B9178959BA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac76761e516d58756291ae3f87afc74b166bacb7","datavalue":{"value":"1437.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790599$02CB2AAF-3323-478D-BC3D-A3ED25A60327","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$2553354D-545E-4541-822F-DAD46906ACFC","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":"Q1790599$4001410A-978F-48F7-B614-D39368F9361F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18f7b6f0a3691379e3fad64a28fa4b629012c7d6","datavalue":{"value":{"time":"+2018-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1790599$531D9499-4CF5-43E3-982B-C740A6B5ECAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1e6e1e741f2623774118511b8fd3a1c70b3b2e8","datavalue":{"value":"https://arxiv.org/abs/1602.00201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1790599$FBFE3A27-0934-4D31-965B-1D343086571F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790599$DA801906-347F-4BB9-BC4C-4F66C964D97B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3599dd985b6810c0b03a63e1e82748d1f7402ef9","datavalue":{"value":"6946459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790599$1F7BAFE1-651C-4E02-8637-28FA0E3710A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790599$72D6C76F-EACE-48A9-BF2F-A8262B805DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790599$0885CDFC-C716-4054-8D58-4E6F0D9987D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790599$1B84F9E2-7B85-45FB-B8B1-AE5044044024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e1b70657ebab461dfafa634226201fedd23642","datavalue":{"value":"Goldblatt-Thomason theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790599$A7381EE5-7003-48BC-970C-05D7C88CB778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3114c8e2d0e26c2dc056ff6cf4eed5d18dc13fe3","datavalue":{"value":"Lindstr\u00f6m theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790599$8E64A565-F921-409D-AF65-EA13F53D29DE","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":"Q1790599$B200EA74-73D4-466A-8869-72F525109E12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08dc221043303065cfab3ebb54a6f70ce8b25eee","datavalue":{"value":"W2963987138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790599$CA7D1AFC-BE5F-457F-9C9A-E14B97B943FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32364f26b927f8643204c6652109becb85f1292f","datavalue":{"value":{"entity-type":"item","numeric-id":2392014,"id":"Q2392014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$C69AA54B-8900-4741-A75D-D4BECAEF146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e28c8f433302f82275df1ba3a1a09b14f57458d","datavalue":{"value":{"entity-type":"item","numeric-id":2957957,"id":"Q2957957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$A0E7579B-A84E-4E0E-A029-CBAF840A8FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$10D99486-30FB-4CCA-A1CF-21D554534BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$500E2CE3-9C2F-4F96-BB54-F1BDC5BC65D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a600081f69111d4a4efd0a8b327a22f543f40a3","datavalue":{"value":{"entity-type":"item","numeric-id":4088789,"id":"Q4088789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$F62B4A6C-1B71-48F4-A349-11E80D5F7967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$BCF4427D-A623-415F-9300-618B2719024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$FBC15084-EA88-4AE7-9D2B-70B33F58F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faf6abb197a0facad98daf3e7c2ce18de194677","datavalue":{"value":{"entity-type":"item","numeric-id":3612499,"id":"Q3612499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$56FF8D97-9D7C-4FF5-BA4E-0431FD014025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00240b5e666a0626b170c76bd764e59f641ea239","datavalue":{"value":{"entity-type":"item","numeric-id":2904060,"id":"Q2904060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$19C6BDCC-148C-49F7-96EA-808743258579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$306D2432-2568-4834-8379-89E523D115E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2ff5dadfce4fed6e539da5c8d2970417c93391","datavalue":{"value":{"entity-type":"item","numeric-id":3085171,"id":"Q3085171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$D29B707B-4CAE-429E-92E4-30C86871BD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cdf992e42ae8ef4680508c2bfdf74b5573fd1f","datavalue":{"value":{"entity-type":"item","numeric-id":2904062,"id":"Q2904062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$F260D389-2CA9-4CC1-B85C-203AA1196BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$FAE138E4-A7B0-4EB9-A357-75494911AC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605f622f3a12725668bf044b690b4b1ff40ed061","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$D7900B25-DB57-40B4-80AA-D1328934D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fed45d96e353f14986a709127cf0dab18ea597","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$BA72B30A-AE20-45E3-A9FC-E1297A42D6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a97af044e395e79750c9688ee5641dfb3fd1c01","datavalue":{"value":{"entity-type":"item","numeric-id":3001111,"id":"Q3001111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790599$0FA38A5A-3280-44CA-8B85-3AE12634026D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1975b649d084eeef853a06fb63bebb199d4cb4ae","datavalue":{"value":"10.1007/S11225-017-9762-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790599$383BF48D-1719-415D-90E8-521BC5926AEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb23667027bda68b0fad9cf34274d3336e062bdf","datavalue":{"value":{"entity-type":"item","numeric-id":2392014,"id":"Q2392014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ac2df49f0cb71664067dc3aa4b6a1ab80d2a86","datavalue":{"value":{"amount":"+0.8148940801620483","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":"Q1790599$49AB4E41-5E8C-4207-B37A-1F12D9DA601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e947bc4f6efd1c0bc3f1ef70a8ca3af135df9098","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e746994758954015e8f4a2f7e864b65772ce450a","datavalue":{"value":{"amount":"+0.790111780166626","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":"Q1790599$52A7F53A-B9D0-42F5-BD36-9C8D356B294B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd437498266662963596c6bc32ef31888b48d94","datavalue":{"value":{"amount":"+0.7819674611091614","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":"Q1790599$EF8CD3C6-F408-45BB-9816-87F7547D7367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7ace6ef47736e664be252f70d8dfa0657e1407","datavalue":{"value":{"entity-type":"item","numeric-id":3708788,"id":"Q3708788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711263bddb414a358f68306a588b02c6f8c9e413","datavalue":{"value":{"amount":"+0.769200325012207","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":"Q1790599$FC3849C3-21EF-4FF7-8486-5439450DFCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f10f4d426dcafe92e8e465c95d8eaca9354245","datavalue":{"value":{"entity-type":"item","numeric-id":3085171,"id":"Q3085171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ab9025f5b204561ddaccc249569759ba9bac16","datavalue":{"value":{"amount":"+0.7658951282501221","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":"Q1790599$A307B8BD-431D-487C-A20B-1AFEAC750520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1790599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1790599"}}}}}