{"entities":{"Q4221299":{"pageid":6250900,"ns":120,"title":"Item:Q4221299","lastrevid":46610109,"modified":"2025-12-25T05:07:24Z","type":"item","id":"Q4221299","labels":{"en":{"language":"en","value":"On the decidability of continuous time specification formalisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1234516"}},"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":"Q4221299$B2617926-12F2-4431-BB46-845EEA18B442","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe0e20cb230f2c471591b34b1dfb2b0d7afe6f6b","datavalue":{"value":{"text":"On the decidability of continuous time specification formalisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4221299$3AE2F87C-388A-4513-9303-FBA22E3D0280","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fe215ac2e50813730fa5c79992449ffaddfdd60","datavalue":{"value":"0913.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$7FA589E2-2D91-4B0E-8C65-2C0E1FFB6273","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":"Q4221299$6A926026-6AD9-4D3A-B1D3-BD49A0C88CEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bf0a1a1429924599cfd386dc9b5aa0ec5aaa8a5","datavalue":{"value":{"time":"+1999-06-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":"Q4221299$74E013EA-3AED-4DCB-B3DC-C6AC16FAAFF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcc3115526d7872b1014e3265f809cd2a56d8c70","datavalue":{"value":"https://semanticscholar.org/paper/90de47e81e2e971c6ae94ba82153d2bac0b7b50e","type":"string"},"datatype":"url"},"type":"statement","id":"Q4221299$6F758B3E-5EAC-40E6-9184-613247BB3CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$C59337E1-954C-4437-9721-9E1CAE979006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$A0DBD916-8A5E-4A28-944E-6035C12A227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$FB1B8F27-AD52-497A-8848-B695E1420A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$7C2D11F6-6C8E-4E92-B33D-EC415F2122F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48881015baa40dc1053029acae7319ba98538d96","datavalue":{"value":"1234516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$DD26E914-F7BB-4DBC-AE21-AE7EF4DD47CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221299$00BC756A-0A02-449D-9E83-16C739DFB77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2fe9a8b5dadca96554617a2d16001c7f61783e","datavalue":{"value":"continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221299$0DCE3E61-5BFD-4921-B943-94F5A9FCE5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221299$CB2DD256-1203-47EA-8129-2BC55D792373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515c601b168fa9bf8d1e56f230d6ab8d27a43a5a","datavalue":{"value":"temporal logic of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221299$368408D9-E6EE-4D12-8831-ECECFEFD39AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221299$4D414599-483B-4F88-8FD8-48B54CD0074F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd602a3c607fed104a34400d845c31377a7c3a4c","datavalue":{"value":"propositional fragment of mean-value calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221299$AA282DEE-49FE-4935-B221-4686261C37DC","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":"Q4221299$CF317F8C-3C62-4C44-BBD6-5B80E69D0005","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"672f5c2f1ebe87e4d3e3ccf915aa9ad9b7934771","datavalue":{"value":"W2088312079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$86292EEF-FBCA-43CC-B8F7-279DF1153AD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d3f9fd225a4514bf00dc0baa9703b54a23d1fd0","datavalue":{"value":"10.1093/LOGCOM/8.5.669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221299$29117273-9FED-447A-92B0-B92C94AB088D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221299$DF3FC367-D638-4FD1-B059-88A22B2B19CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472e2390860ce0843a5faf10aa4ef23ded5b0577","datavalue":{"value":{"entity-type":"item","numeric-id":999264,"id":"Q999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b492ad18f01e393f0bb76449e8120b9df1cb9503","datavalue":{"value":{"amount":"+0.8312651515007019","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":"Q4221299$99DD3545-74E3-4B96-B9CD-B82516923B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76b7025ef1035e31c81776da78d90271a5a8f04","datavalue":{"value":{"entity-type":"item","numeric-id":1606122,"id":"Q1606122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f5c790bf51dd95dc36fae0d685eb24535c5a42","datavalue":{"value":{"amount":"+0.8054274916648865","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":"Q4221299$7624EB7D-8C5B-4C95-9006-907C3A13B913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c32eaa50c13863f7dcee28e8f2f8b44fc578258","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3a4a60795946f0ccd5465d9443cd0fbad3f303","datavalue":{"value":{"amount":"+0.7945601344108582","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":"Q4221299$2CE6BB8D-9E50-42CC-BE14-8B6102C5C022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67887c1b9ac2b04b34ba532254b4dda83cea7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1127537,"id":"Q1127537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b11ac113385e3d393ddec4ff06d4c64acfcfaf","datavalue":{"value":{"amount":"+0.7863072156906128","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":"Q4221299$EFB507A3-8452-4763-A2CF-90C20AF9216D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4221299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4221299"}}}}}