{"entities":{"Q935019":{"pageid":936867,"ns":120,"title":"Item:Q935019","lastrevid":50414564,"modified":"2026-01-14T00:19:29Z","type":"item","id":"Q935019","labels":{"en":{"language":"en","value":"Infinitary action logic: complexity, models and grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306426"}},"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":"Q935019$CFCA6FE4-04D1-4779-BC55-4F05B8EAE0BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6505b53dfb23cfb65a65d5fa3890b29b4f5b7cb3","datavalue":{"value":{"text":"Infinitary action logic: complexity, models and grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935019$D5708C23-3770-437B-A260-ACE4488F89FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd4fda7160a16206dfc5efae48ff7f76942ec6a4","datavalue":{"value":"1209.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$F590FCCE-AF5B-413E-8968-E6E333BCFA07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$0F668BF8-867E-470D-B33E-DFAF6A5B951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6ea028776dbd8ea100bd1cc75a7d242bd7d9e9","datavalue":{"value":{"entity-type":"item","numeric-id":935018,"id":"Q935018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$F9456CFF-279A-477F-938C-02C971CB34BD","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":"Q935019$8DBF4892-A98D-46DD-B99F-D20240D32EE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d7bf80e07847c0b262029f7e143cabd4beaa66d","datavalue":{"value":{"time":"+2008-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935019$6AB49D1F-14B4-404B-93AC-A0B7DB579DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$50555D17-251B-4D67-908B-28B551C7C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$B1AB29A5-F602-4C16-B943-81AA81F4055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$D92C84D7-9312-477F-BCC7-636F879878B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$3368BA79-8975-48E0-BB93-802CB023C47F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"700c345b03fd5e23074abb31109f8ac40515c50c","datavalue":{"value":"5306426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$464DA374-E1F4-4192-B9B9-CAC148B1E0CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q935019$31A9CE37-0A9D-478F-9CE0-B50107364CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5d54944cb533cdb981a7f675f7ba468fe744b6","datavalue":{"value":"action algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q935019$88ECC8BC-6C87-4348-BBB6-79E9419A247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q935019$E95E6010-F256-4D97-ADB6-AB0D3914D61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q935019$F2FF2D64-556F-4D3B-B51E-8BCBF4CA3515","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":"Q935019$EFC72D3F-360A-4092-B86B-AB51D5331CC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67347ad6155157d60fa6496728312408ca964fbf","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9116-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q935019$7B8856AE-46CD-4B7B-B68E-85F6C8E128EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39fdb83897df1c4798ac48d022447ffb6530d5bd","datavalue":{"value":"W2149439075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$967C5E2D-E0D0-4B82-9FC5-50E2698ACB55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6944c94afb8239384e7ed24136739e1db58d8ad8","datavalue":{"value":{"entity-type":"item","numeric-id":5541333,"id":"Q5541333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$F320BE9A-3FE2-4211-8131-0865037537DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59d2a78987144780fa6aaac00c6ede121b72006","datavalue":{"value":{"entity-type":"item","numeric-id":5459176,"id":"Q5459176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$7BDF2734-4F6B-4E36-9EE5-6E3BEB8A0A54","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":"Q935019$1EF967CD-A4D4-454B-8DD1-436500C2643E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$D14A9865-65B0-4F67-95A6-BB2E9DB9A206","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":"Q935019$35C8D27E-D5AC-4530-BD29-345BCDB3F119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5620413217d8e07a62deab92fb58bbd2ca1e9f21","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$2074DEE7-528D-46A5-81D3-659D437902CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50265c5c9fafdd9f030c92675110e38ea46258d9","datavalue":{"value":{"entity-type":"item","numeric-id":1826932,"id":"Q1826932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$E1D3351D-735A-475B-8B5D-619BFB10E8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$6857C3DC-ACC1-4BE3-B567-E3F2E6C2F3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$61BC3304-8356-4D0C-A2CA-C575033131E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e54a01d8a977ffbf68bd945a598c7f0f888b33","datavalue":{"value":{"entity-type":"item","numeric-id":2506487,"id":"Q2506487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$8E121A63-A118-4387-BC2B-4BFF79A55147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$75F9E328-F166-469B-88C4-74B86CA16068","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":"Q935019$33C99A2A-5AE8-41E6-9F47-A82FE75ADC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac9fb51b37d0b03d613f2b317e998437b24d399","datavalue":{"value":{"entity-type":"item","numeric-id":1247417,"id":"Q1247417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$53951783-FE38-4C19-AABF-DAAD29762FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c444c6ec3cb9757a686662251d3648e5a1703ba","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$415A3ACE-83DA-4DE1-A87C-B669EF73C452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935019$F10E576B-E93E-4C5C-8B60-FE03E18D6FE8","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":"Q935019$6056E4C8-B4F5-480D-A707-413A2C5D1DE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb635aecbd27f12be1c866373d75de5ccefb3e7c","datavalue":{"value":"10.1007/S11225-008-9116-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935019$F61CC39B-59C5-4C7D-B107-08572D025640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674fe806f62fa051a4ccb05249592404eca25c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d726d3a8f53354863b6fe8d4844f767a7dfb5e4","datavalue":{"value":{"amount":"+0.8235121965408325","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":"Q935019$49045F22-374E-40DD-9A32-6B2BA2DFE058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b33c13ac5148b9f2ea33719d396c3bfac94ada","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5baff8699ac2c69e5672ffadeb3cc9fef40012eb","datavalue":{"value":{"amount":"+0.8081041574478149","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":"Q935019$92FADE38-11AD-4D16-B90E-14AE588E512B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fe6123e1ea33a51ee893cf9035716be0978f55","datavalue":{"value":{"entity-type":"item","numeric-id":5459176,"id":"Q5459176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a7fe566939f72c06ef434910c215a36ae9cfb8","datavalue":{"value":{"amount":"+0.803006649017334","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":"Q935019$241E465F-8AF2-4B93-A1EC-3DF947063C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9792810ecaaf1ba0071506099ae9a6a7137af8d","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b884a0251a61e7dd54c15a9fe211042909647f4d","datavalue":{"value":{"amount":"+0.7881186604499817","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":"Q935019$9C8CB56E-A202-4002-B344-28ACDC90ED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371cef37dc30b39f2ca95f80d3226e630e77847e","datavalue":{"value":{"entity-type":"item","numeric-id":5027669,"id":"Q5027669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b884a0251a61e7dd54c15a9fe211042909647f4d","datavalue":{"value":{"amount":"+0.7881186604499817","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":"Q935019$92C3201B-956E-4D75-8456-7C642242A97F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:935019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:935019"}}}}}