{"entities":{"Q1127537":{"pageid":1138286,"ns":120,"title":"Item:Q1127537","lastrevid":69843249,"modified":"2026-04-13T10:43:15Z","type":"item","id":"Q1127537","labels":{"en":{"language":"en","value":"On translations of temporal logic of actions into monadic second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189768"}},"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":"Q1127537$EC694244-D0A4-48F6-A1BC-2F37AFC2C4EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"213cbfecea049a0064695f9cb4c21a66bfbfb47a","datavalue":{"value":{"text":"On translations of temporal logic of actions into monadic second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127537$A1C7505B-8728-4A12-AD86-15312D498470","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8a5d012e879ef6aff772cea28f039e19c66e2d7","datavalue":{"value":"0896.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$AC39E6EB-A7E6-4DC2-8149-A704823DCA7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b41586f9cba0c5c8217a4899f8258d8157bb643","datavalue":{"value":"10.1016/S0304-3975(97)00075-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$CA1E42FC-6F67-4BD3-902E-E4D23BC24337","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$61DEF8AE-7AC1-4550-9021-6CD69A2E93B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127537$1D0422A2-F2A8-4F44-9D3E-CF2D62852E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$91692BE6-990B-4AE9-BDED-6E57738B4629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$BB9A5458-FDB3-4425-83CD-AC1B30E0D19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$6E7D28D5-18C8-4197-8D9D-1666B1C62327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$84339213-37B5-4097-88E2-E49B619A628B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f83fd794dae5567c4b1ac9e1d3a9d3d8b118bd3","datavalue":{"value":"1189768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$2ED29A6A-FD90-4CB2-97BC-B725B3EE9DD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06724a773904c4661c141536901a259bd363379d","datavalue":{"value":"temporal logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127537$454A42A2-B5E9-44B1-ADF4-09778CEE8F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127537$32CA24C1-E121-4BE6-8F60-A9E8FBCCC08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2fe9a8b5dadca96554617a2d16001c7f61783e","datavalue":{"value":"continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127537$E8B48814-C5B5-4D8B-BD6A-C7E316B22A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127537$505D2BDA-8218-4F3D-8889-70C1F813B190","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$46DDB1D4-88EF-4C33-A21E-50A2BBDC84BF","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":"Q1127537$3D41272B-3BEE-416C-A5DE-DD141E642D2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$7E245B73-9F45-4BB1-896C-928F702AB031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$14EC2AE2-C256-4A22-95DF-539A83913014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$3D478442-7A26-4839-B171-714D227CB84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f2e773da213b5da763280865c804cc39900ad","datavalue":{"value":{"entity-type":"item","numeric-id":5638297,"id":"Q5638297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$6E054318-A340-4655-B0A0-78B6128815E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3aadf9279df5aa09f62b4a0d854fe71fc79b3d","datavalue":{"value":{"entity-type":"item","numeric-id":4218103,"id":"Q4218103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$298F72C6-C7A6-4324-A538-7DE4782E2C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22fbcfa2d6e1af372e7c17de51dab01cf08e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":3848968,"id":"Q3848968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$10C7C45D-E2A7-4A9B-94BF-70E488511A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$C99C0FF5-2D0A-436F-9A21-DADE15448FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$0F002697-E942-44CF-A5C1-D05F6F385BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127537$5EEA7D46-DCC2-4901-91CE-CF6A728A4BFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7faaf805a2ef3549059beaa8f9e2a6f2c90494e5","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00075-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127537$5AE547A7-C8BD-4BD5-9E23-F207D02CEE92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f410c09983f874d257ebbbe2ea1aaf349407912e","datavalue":{"value":"W2000555599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127537$2827E1BA-0279-44C1-B877-95C9A6A79170","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b380f5b0b0e32143848d3f6570088394e2d53fdb","datavalue":{"value":{"entity-type":"item","numeric-id":4853320,"id":"Q4853320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3daa69f55b0df08f69df37d976c9edae72e389c","datavalue":{"value":{"amount":"+0.8413591980934143","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":"Q1127537$2FCB1AB6-463C-402B-AD15-41D7A1605BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d259acea64d090319e49c759d6e2c8bc879b15","datavalue":{"value":{"entity-type":"item","numeric-id":4270065,"id":"Q4270065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b07e4d4e6cd6f04086bf1f9eef89bba4e90689b","datavalue":{"value":{"amount":"+0.823986291885376","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":"Q1127537$58B837A3-3987-44A8-9FE4-1E356E11A118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074fc49899c2af0bbba15842ddb799ce0c6efe54","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53293cba4fe55cbba3e55491ed5fa6e8e11d5aa7","datavalue":{"value":{"amount":"+0.819157600402832","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":"Q1127537$26294D43-A5D6-460E-BE96-EB80F99C431F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae43f359d587f7750196002de06e121a5c3a907","datavalue":{"value":{"entity-type":"item","numeric-id":4493899,"id":"Q4493899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650b5903089524e9e488179152f946b88608b9d8","datavalue":{"value":{"amount":"+0.8042067885398865","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":"Q1127537$62A3E6C3-992D-4E16-BE85-9412B0628BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On translations of temporal logic of actions into monadic second-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_translations_of_temporal_logic_of_actions_into_monadic_second-order_logic"}}}}}