{"entities":{"Q2575856":{"pageid":2586599,"ns":120,"title":"Item:Q2575856","lastrevid":72810708,"modified":"2026-04-14T08:00:36Z","type":"item","id":"Q2575856","labels":{"en":{"language":"en","value":"Decidable first-order transition logics for PA-processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235976"}},"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":"Q2575856$6CE02820-EC8E-40F3-821A-7BAF599F889D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85ac66eb5b6f5a5bc816fafce416ecd8f5605d0b","datavalue":{"value":{"text":"Decidable first-order transition logics for PA-processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575856$EA90F7C6-E4E1-4B8D-AB6D-448AA21D82B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98a6121eaacda4ddd5a69e005de1dc581b25a56f","datavalue":{"value":"1101.68683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575856$83B20BE0-80BC-4BB3-81D4-95CF1DE72666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$2E691256-B85F-48E8-B8AB-947C723905A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$7B47A803-EFA0-465C-853D-5557E0B267EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$044807E9-8AE2-40EA-9D80-D4A4551F60E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a6b2dab0c1a850c148e524dd23e597ec7eb88d7","datavalue":{"value":{"time":"+2005-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2575856$8315FE8E-7F37-47F2-8E74-1F78D63377FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575856$025AD591-CB68-48E8-AAE8-163BBE04D172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f73b35b2afe837ea443c6bf9d42117e11da6330","datavalue":{"value":"2235976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575856$930847D3-DD97-499B-A5B4-F4BC8D5D70C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7672473a961951e2fdcbdec886413d56995323","datavalue":{"value":"Regular model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575856$0DE60729-6AC3-411A-ACCF-3292B0261A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec2528bf842d158e292eade9b4667cd989b1d1d","datavalue":{"value":"Verification of recursive parallel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575856$286E57F2-0906-4144-907D-F71A1EE65B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e922b8d3d76fd707c1c1beba90b9987dc1340f7e","datavalue":{"value":"Transition logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575856$E44ECD16-DB92-48DA-A1E0-DE03F33EB1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa54aede5d0c3c39864e061c4b8cc6755ba43efd","datavalue":{"value":"Regular tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575856$11A42DC6-680B-4EB7-9CDD-6E2D2A37AFB1","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":"Q2575856$A8ADB5AF-050D-4E31-8295-382D2A17DDB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34a2fed96ad8f028c0fce69198609895b1f78df3","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575856$E5728509-E69C-40FD-A28D-CA1DD673DE5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80f3213846c2e2100e0d11f634142e734a8824aa","datavalue":{"value":"W1967901317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575856$5FA6F188-DC90-4584-B364-45DCEAF11A2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$BB6A643C-651E-42F5-AF8E-BB35E11DBDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$23591BA5-EA8A-4A16-BDF6-1E4526EE8AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$D8589BCF-1690-4404-81DF-FB3938230B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$6CB07FC5-A357-4E51-BF14-A33472D68E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c26915eff17742416300ea67f8c19ba2e44cb33","datavalue":{"value":{"entity-type":"item","numeric-id":5191507,"id":"Q5191507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$C34A8D7F-36E9-4D8B-BD2A-A93DDD2C9078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$9CA023A9-398C-4873-A7E2-197112CE0713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc53c4fa5b18b0e75c95fe8399022c819bcd116","datavalue":{"value":{"entity-type":"item","numeric-id":4508292,"id":"Q4508292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$55658DED-8D1D-4FBE-BC9B-B2B294DBD398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$753AF34F-56CC-402F-8902-FADFD1E9AF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$E2940B9D-7073-4B64-8517-A16C3B28D957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$7496B37B-570A-4C94-AB8C-82FB69B253F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc18f0b46fdb1ba05a79fa616657addcb5f839f","datavalue":{"value":{"entity-type":"item","numeric-id":5178837,"id":"Q5178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$FAC02CD9-2379-4BD4-8183-9841A8357368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$8A79E7F5-D6B3-456B-A4B9-FC8FC0F09A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3919e933660c460c9208c5f64b86e5e606a738a4","datavalue":{"value":{"entity-type":"item","numeric-id":4452051,"id":"Q4452051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$5EE2827E-F908-4B03-BE58-87C22083B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec33e7fc6aa7161d8b6e2983e083d9fce28e4164","datavalue":{"value":{"entity-type":"item","numeric-id":2771057,"id":"Q2771057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$071F6BF1-8662-4E07-9BC5-BFF97BE7BF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409d78877640b9cd2dced52f0c8a2bf6bfceb5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4938637,"id":"Q4938637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$38DFA694-3281-49F1-B82B-D443CBFCD4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d3c4432411299f2b9218070bd4c62e887864c1","datavalue":{"value":{"entity-type":"item","numeric-id":5941202,"id":"Q5941202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$7A59F812-93C3-49E6-B8B1-4F6E6006350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$8A5D6A66-02F0-49EB-B66B-3A464F67DB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d152cc874bfacae81c9db8366bcbe470413dcc88","datavalue":{"value":{"entity-type":"item","numeric-id":6044125,"id":"Q6044125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$5DA65450-23BD-456B-A605-33374E3DAF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404ee30401048f2480e766baf7282c0866f935d9","datavalue":{"value":{"entity-type":"item","numeric-id":3150206,"id":"Q3150206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$0A056187-0C5D-4C66-B023-D678E4C4D9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b863bad8c35c8d3656f5da8a6612b96a58d9a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5958465,"id":"Q5958465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$D550B84D-A2E8-41DD-9699-50CDCF297368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197325a205427a189f4291cecc8c861869c46f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4610333,"id":"Q4610333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$7C9FD8C5-220C-4960-A265-EEF041D1FD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$ABCD98EC-273D-4914-8BE1-9F3D32E1DEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ed09b0c0ca1a96c7e00714b2bd4f9551134bb","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$25500CF1-9A87-43F0-B672-3606C267EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81452ebacb69746e62e88b17073ea7efb591c06","datavalue":{"value":{"entity-type":"item","numeric-id":5277702,"id":"Q5277702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$5957416F-1A21-4AD3-9A5D-1A51E48A18E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$F85EEA5E-AD1E-469E-9F13-8C1CE8FE92BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$ADC456C8-5460-4C6D-AB6B-D210916ADF1F","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":"Q2575856$3C282005-1362-45AA-A5F6-2F3909EA56EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2516ad210a993d3e81c6457d0655812c5640528a","datavalue":{"value":{"entity-type":"item","numeric-id":1325851,"id":"Q1325851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$0261E6F1-5FF8-4580-B502-38039107087E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575856$2FCD367A-D91D-477C-9CC2-88ED40AA6ECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c1768b96665e75de20637aafbbc3d277ed6c177","datavalue":{"value":"10.1016/J.IC.2005.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575856$DE56E977-5C99-4893-9D60-4545821BAE9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798174fe63c42137909f6029302fb872ec8e4c36","datavalue":{"value":{"entity-type":"item","numeric-id":2754156,"id":"Q2754156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f89807550d6d87538689192da54ce476ce62e1","datavalue":{"value":{"amount":"+0.9932523369789124","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":"Q2575856$F752D4D0-294C-4BAC-8507-0968A4D9A63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aedb57f5fb97a87506c49dd7bf5955cba817340","datavalue":{"value":{"entity-type":"item","numeric-id":6044127,"id":"Q6044127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35db95c81c389727040faffb1593c3ff8cffe05a","datavalue":{"value":{"amount":"+0.8116822242736816","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":"Q2575856$A4E7C127-5883-4DC4-99F2-9A75D9AC7CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d158df9f9a97064fc0190fbef8f1a200b29f35b6","datavalue":{"value":{"entity-type":"item","numeric-id":5958465,"id":"Q5958465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823fb67062642fce832038a1df8ab0043283b8d0","datavalue":{"value":{"amount":"+0.7747605443000793","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":"Q2575856$4A68473C-D571-4232-ACD8-C3EFA96622DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03694b9002b7a071c189e9711830b285f2f00cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4251913,"id":"Q4251913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692c60be4d3563ffbcfde5bb2b5e04e9882372fc","datavalue":{"value":{"amount":"+0.767184853553772","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":"Q2575856$92289BC8-F876-4519-81A6-657FBCB9CBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692c60be4d3563ffbcfde5bb2b5e04e9882372fc","datavalue":{"value":{"amount":"+0.767184853553772","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":"Q2575856$141B1C59-6AFB-4565-867E-6DE33F5890EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable first-order transition logics for PA-processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_first-order_transition_logics_for_PA-processes"}}}}}