{"entities":{"Q2698280":{"pageid":2709024,"ns":120,"title":"Item:Q2698280","lastrevid":82736153,"modified":"2026-05-06T21:50:11Z","type":"item","id":"Q2698280","labels":{"en":{"language":"en","value":"Infinitary action logic with multiplexing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7677358"}},"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":"Q2698280$60DD9A3B-A0C8-410E-97B7-17D22C1D946D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e70f36b0e659da8cfb457c4d0789f421d480ea70","datavalue":{"value":{"text":"Infinitary action logic with multiplexing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2698280$92F059B2-6D7F-4CDF-80EC-ABDB388AAD01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$62265F87-598F-4C15-A964-58400C75D7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f517762c8bf8d062c2939388e57760160d03abdd","datavalue":{"value":{"entity-type":"item","numeric-id":365660,"id":"Q365660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$AEB7915B-1F7F-48D2-BE42-FB8F062B6BD7","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":"Q2698280$E3DFBA86-7AC9-4AA7-8BD3-3E7DFDBB8211","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2698280$0338B013-39A2-471E-8B0A-67F496D0CBB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698280$7978AC0E-1C62-45CF-9781-263F66B541F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ce4d8c51f4fc605a883c580aaf8ebef21d4a64e","datavalue":{"value":"7677358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698280$D42D2FAF-E4B5-4C12-8223-62D1F9E95B28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698280$0E5F55BF-8E71-4571-AF07-2F3BF87410E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfcabcf0527991d065940d2f79dd618a008e7edd","datavalue":{"value":"infinitary action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698280$20101219-3C31-44CC-B31B-53970560053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa3e04fade3aec88911b72d8fec4321ad8bcdbbc","datavalue":{"value":"multiplexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698280$F0F8B986-D1E3-43FE-8755-6C6A66E5D2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698280$722AA396-A110-46DE-8732-FBDF6B9C7E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47277288e51954127f50dedcb1da5cb3f9123540","datavalue":{"value":"closure ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698280$3C434A42-3EE6-4A27-89CF-5F415D002796","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":"Q2698280$9D1FEEA7-1E5B-4727-BC6F-CCCD66232972","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e6a006987f24262f17c2e0b589cdb67a5ad1d20","datavalue":{"value":"https://doi.org/10.1007/s11225-022-10021-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2698280$627A1AAA-DDB2-493E-BE00-A86EB02229EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ecea576d1651c1ec83c955feb0b4f5eea28eb66","datavalue":{"value":"W4309650751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698280$4413D7DC-2773-4AB2-9D98-4EC1F288DE6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2973547328e6dae9da9b71e994c43f18327ab1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4364500,"id":"Q4364500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$09317170-7A08-4120-A2CB-0DDE8BF868A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9291780fa49d906483f3b2217ba1558a6098769","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$02BC6017-9C7A-4B72-A231-98BB083047C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7206280cc7b39fbf130793a6fbda4e7425d0280e","datavalue":{"value":{"entity-type":"item","numeric-id":935019,"id":"Q935019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$0BED734D-119B-4056-92BC-85E6887FC220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$DB6D96E0-2D70-45A3-9915-A8AEF1CFF510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$FE6976F1-51BE-4EEB-A523-3DFC446A91AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c95f2e0e218da93197f9014ab37384534c37e7","datavalue":{"value":{"entity-type":"item","numeric-id":5236554,"id":"Q5236554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$64DE6D67-AD6D-49AD-8258-33F86881631D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e270b6f12265fbd9e71af4a3d7cf71871a12b3b5","datavalue":{"value":{"entity-type":"item","numeric-id":2096472,"id":"Q2096472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$2D4C2557-EFCC-4E0F-840D-09FDC5808C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041f06c5f4d96966e4f8ac616636e66ada5901e6","datavalue":{"value":{"entity-type":"item","numeric-id":4876413,"id":"Q4876413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$F99DA0EA-2AE6-47CA-AAA5-CB621F5CFC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c755ceaf8632f2670a0cc74ef4f5ef1bf046be","datavalue":{"value":{"entity-type":"item","numeric-id":2142085,"id":"Q2142085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$FEC32A94-E0DF-4915-B210-1AFC8E903AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a9befaa74d9d6b94f0b1b26d45626432a2e020","datavalue":{"value":{"entity-type":"item","numeric-id":2067638,"id":"Q2067638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$BFC5FB1B-EAE3-4499-A555-6F5E91DF720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$A3AE7C2A-D293-4F7A-BC90-781D7EBCEB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$57F0C5B7-18D1-476E-B041-98B714E7A99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$D6AF6C91-47E4-429D-A797-1C302FB5DFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$7C08E665-B200-4F55-9C1B-F227B0F352B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$C4436E37-44A3-44A5-8540-002907A01691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476ec162b1325ee688bc547d2e9b6993d2ba1361","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$FEDEC889-480C-47C9-A91D-EC4CF88E8CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$F4A8467B-FC7B-42DC-82BC-270F2FC922D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e495631811ead7b0037a9b5f7cf3dd6170b828","datavalue":{"value":{"entity-type":"item","numeric-id":5434527,"id":"Q5434527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$16C8E6D6-B271-4303-AE3E-64A2477DA2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$B3737F24-4FFA-4886-B489-4CB72FF07F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698280$3CF2D464-9F54-48A2-870E-264EEE46D4A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff53e2e22bd8280395156fb0936e84d4253f26e6","datavalue":{"value":"10.1007/S11225-022-10021-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698280$E0CB2BE4-7AAD-4AD3-A505-B0C550C2122B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary action logic with multiplexing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_action_logic_with_multiplexing"}}}}}