{"entities":{"Q2035658":{"pageid":2046400,"ns":120,"title":"Item:Q2035658","lastrevid":54029261,"modified":"2026-01-26T03:15:37Z","type":"item","id":"Q2035658","labels":{"en":{"language":"en","value":"Many-sorted hybrid modal languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7363409"}},"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":"Q2035658$BB84EE24-A467-43E9-ABF9-ADBE6D6B67FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e825329227b14f27999ce2cc057eaef5ef558f91","datavalue":{"value":{"text":"Many-sorted hybrid modal languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2035658$56472F22-3499-499C-9E6A-99DF3DAC8D17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb29a2e5c788c3f518c47d1e4b0a67112063a37","datavalue":{"value":{"entity-type":"item","numeric-id":818517,"id":"Q818517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$27BEADCE-A174-4AFB-8CB3-55AED1315BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8e8803ec46af2484b0f901441973ee6b244c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2035657,"id":"Q2035657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$81145252-4DA6-475A-81B7-23E4B0BB0F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89168b02a11c30611a0ae0bcdc8b7918c6099a68","datavalue":{"value":{"entity-type":"item","numeric-id":730474,"id":"Q730474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$417A65D1-407E-493F-AC5D-3BE7ED5577BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$C016BA47-B77B-4125-9F0A-6E1AB6F38FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f808cd8ede5cddae3cd8b5e13616f018d09899f8","datavalue":{"value":{"time":"+2021-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2035658$2D0F771D-F28D-4745-9AB0-172466F5B056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80c24c606f12c892334666db7948888a43c48ff5","datavalue":{"value":"https://arxiv.org/abs/2007.01709","type":"string"},"datatype":"url"},"type":"statement","id":"Q2035658$BD20B689-2BA6-49F7-BB8A-4C43AE060726","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035658$15017C2E-A6E5-4866-8540-72F48C5203EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a2414d2607d09c4f4e61841b7121187d1238df","datavalue":{"value":"7363409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035658$6D9864AE-BC62-4A85-AF6B-68EE75AF3D88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2cf96d7e636ece65e4e6d4dc2640da1077e9c","datavalue":{"value":"hybrid modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035658$4B58A082-46A3-4FAB-91A7-9C5680320FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035658$A27E2039-9CFD-4831-A58D-092DDD0CA536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee454b73bff5adad4f8b978d0a806139fde15b47","datavalue":{"value":"standard translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035658$29BBB13F-A8C6-442B-948F-856369E2A037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035658$2BAD833B-88F4-40E1-A91F-8107EC34A20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035658$1F9E181E-927C-4135-A47B-6833B1DD8A9C","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":"Q2035658$6EAED4F9-7E99-48F0-985A-A1E2F9AB5711","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"933eb9ae7cf09b06405f90fc4afa4e20011de99b","datavalue":{"value":"W3122067392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035658$0A13884A-C982-4AE6-90AF-1744A008CD25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$3E8A323C-4AE3-4C42-9450-A87F20B2F01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$E95C48E0-94F0-4AA6-8093-5FB86778205F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90beb19f4ffcf44d7e4b4bb5b446d783518b65a","datavalue":{"value":{"entity-type":"item","numeric-id":4210769,"id":"Q4210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$CDDF47E5-DBDF-4333-90BB-298C74C8EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a04d2f8c0acdd20834c288cbcb74f1ac8f272c","datavalue":{"value":{"entity-type":"item","numeric-id":4238499,"id":"Q4238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$68B83DE0-62AD-4782-A8B5-6A0F8A495044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$2BB0AEE3-9ED8-4FDA-9F93-DA6D86829CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$117DFE57-519A-4461-8AD0-B7B2EF859FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de034c525a7a6455a0041b5455726036bde9555","datavalue":{"value":{"entity-type":"item","numeric-id":2358621,"id":"Q2358621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$05732358-EA4A-4332-9740-B4CAF55BD4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f259db134e42724b8f37deeb0589ddaaac1d63","datavalue":{"value":{"entity-type":"item","numeric-id":5133981,"id":"Q5133981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$BF759BF4-103E-4BE2-8B8B-5465D16E3F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131dfad7833fd93bf62acf82e95b45409d2d70b4","datavalue":{"value":{"entity-type":"item","numeric-id":2180522,"id":"Q2180522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$6EDF7EBF-3747-4B0E-8DB6-1C943309604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$F82857D3-4C63-4BE3-9298-1F6DF901666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$B9F13842-86FF-4F5B-868E-C4CDE00EC986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$106C73E2-00C0-493D-A3F7-039668A558FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$716D1711-F9A7-4D47-A308-F7676C0E05E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a8a6acd345db05f4e77a8d16a106c80b0723fe","datavalue":{"value":{"entity-type":"item","numeric-id":5134276,"id":"Q5134276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$7636FC96-CDB7-4CD2-99C3-DADA4442F9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb8a71ed91596a61653984ae9726f35a62e6bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2180535,"id":"Q2180535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$B34FF272-D28F-4264-BD4D-95ADB3968FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$D3F65C0A-C0B1-4371-BF0D-71A59B9A00B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035658$6827493E-82F4-43BE-97EB-A0414954C85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2031da5711b92276df021f0505b95e239fa904de","datavalue":{"value":"10.1016/J.JLAMP.2021.100644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035658$1661A05F-4FEE-4E22-8BE5-F269477E239F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e36cf7652fa28f8beb277cc6b63b66df1c97b45","datavalue":{"value":{"entity-type":"item","numeric-id":5134276,"id":"Q5134276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723cc94ed08311699ab9391a5a30dd4ff135c6a7","datavalue":{"value":{"amount":"+0.7826775908470154","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":"Q2035658$772DEEF4-C1E5-4411-8EA5-E1AD38D79A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0986c75780054598f834c275e12f63054d4e1708","datavalue":{"value":{"entity-type":"item","numeric-id":2180535,"id":"Q2180535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f157fe40dc4a83c85656e300bf345665d193a05b","datavalue":{"value":{"amount":"+0.7739062905311584","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":"Q2035658$946840AF-BA26-4DBA-92E3-5ABA59B932DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daffd5e4c6bec4907d3d64130efb9de5aec8997b","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd2d6c037cf4a7094cdc34da86314039675ae5d","datavalue":{"value":{"amount":"+0.7548145055770874","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":"Q2035658$5594DE91-3ED1-4E35-9514-443588687228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a0b16d25a0119756203ccc3304d0daccfa32d3","datavalue":{"value":{"entity-type":"item","numeric-id":3086942,"id":"Q3086942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3908fcb1d2c3981e0a87bddaa1a020452dacd386","datavalue":{"value":{"amount":"+0.7476903796195984","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":"Q2035658$EBADBE85-36C9-41F5-8D24-CD15C9FFEF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc7f148083dc0e866350a7ed54f84eabf920ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f97caf4df6ac0b49bb28993640c2c5d32ca3a3c","datavalue":{"value":{"amount":"+0.7468022704124451","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":"Q2035658$0FF89219-89F8-41B1-9E44-1F5FD256002B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2035658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2035658"}}}}}