{"entities":{"Q3511220":{"pageid":5541124,"ns":120,"title":"Item:Q3511220","lastrevid":80790101,"modified":"2026-05-06T17:00:19Z","type":"item","id":"Q3511220","labels":{"en":{"language":"en","value":"Decidability and Expressive Power of Real Time Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299120"}},"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":"Q3511220$DB29346C-FF66-47F6-B619-DE34712D9551","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98f334fb2aaadc7057cb7a10dc70265714e118cc","datavalue":{"value":{"text":"Decidability and Expressive Power of Real Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511220$B861E319-BD85-4CC8-A90D-945942C21E74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18fd9dc07cbdb8166e10c7857db19332d8a51492","datavalue":{"value":"1140.03304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$56D76E88-DC22-4F27-A5DE-7DA80B10A33F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0ac849aeab8616574666bd990f5dd789c0347a3","datavalue":{"value":"10.1007/11867340_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$9CE8F69A-4FDE-44F0-9A44-FFD2574492EF","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":"Q3511220$7C39AE2C-E09A-4315-9A51-9C50692DDACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511220$612CB461-590D-4120-9D97-74F4450BACC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511220$175F4A5C-3C3D-48EE-BD60-E11B02DA79B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$9F92E306-980A-4238-90AE-E925BA6D47B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$D91C43A1-9F09-4235-9AB5-B9C3B9F286AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$FCBA034D-0CD7-4A6F-9055-755984BAC84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$617B8217-C87C-4C9B-BC31-0607C806F9F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d08ae645f77c3a25dad692135cddd8e4f2c91f3","datavalue":{"value":"5299120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$274E1FBC-7E9E-4F47-82D5-F65105CAAC98","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":"Q3511220$7F56CE97-BBCF-489E-9B58-D1C003CF7158","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b9350f561858651b6534b3f19065905952fb723","datavalue":{"value":"https://doi.org/10.1007/11867340_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511220$32BA7735-4372-4443-83B6-E6C9AC207285","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541a7af28ec4efaabd8cbb1b0d650f3922d931f8","datavalue":{"value":"W1581699872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511220$982C4769-418B-4B9F-80BF-B442329BABC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b175a4a94fec2a0a69fa0ab1f871eea6822d0b","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1d9aa8e2dbe004c111d8b8c5dedc69fcf9264e","datavalue":{"value":{"amount":"+0.9659896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$9D0E61FE-4A80-430F-9E1E-D7A6FA47913F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026e5ad8e8532ce67ab8def3e78a83c75bb63d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16bc80399654a2858da8bff6d5570a539fd74ad","datavalue":{"value":{"amount":"+0.9658063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$81EA2705-0BF4-4C54-ACE4-3B3B910E6802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bd4a16e349e72fe99e8cd1c1218b0041a2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3648828,"id":"Q3648828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4784dddcfc20b9d6b6d18ee2bdaf2ff8ab41d1","datavalue":{"value":{"amount":"+0.95364475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$AF14E4A2-7D83-4ECE-99D6-557936BB014B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e20030e1e2604b48f6f0c042c9b004e04d7467","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5d7410ef0f936cd9d1ce5feeed110679d38a0f","datavalue":{"value":{"amount":"+0.92139745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$99A55E4A-EAA6-4E2F-9771-0698A9AFB4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf03d8284d33ea7ab99641e55c9ec5a3cb5eec","datavalue":{"value":{"entity-type":"item","numeric-id":2764146,"id":"Q2764146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c4afa3789133f1cf2ef8ef4f8a742ce4194e6a","datavalue":{"value":{"amount":"+0.92061365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$19C6A738-261C-4D0C-9E6B-D58AD895B7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790717f630dc6629e20790491820964669abb14","datavalue":{"value":{"entity-type":"item","numeric-id":5958467,"id":"Q5958467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db1abf2f95fc75ba8493ef489640724c9219463","datavalue":{"value":{"amount":"+0.9167385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$F5EB70DC-744B-4860-A0B7-AC30A01A4BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb7adb125ffa28fc8b510329f49d03380666ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db1abf2f95fc75ba8493ef489640724c9219463","datavalue":{"value":{"amount":"+0.9167385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$865A5FBB-06FC-4012-89A0-113D262B4FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e244c0177497a29fc0de320a03965e35c6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f0cc32a67209ad49e6cefea8407a9a6570b6f6","datavalue":{"value":{"amount":"+0.9127157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$5BD04396-8E01-41B6-9C3E-95D4B62B2D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27aaaad23cc2de4f1cc69d725e0d8950c922285","datavalue":{"value":{"entity-type":"item","numeric-id":4222863,"id":"Q4222863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2a0f0553310ca507ada52cfca079ab09443336","datavalue":{"value":{"amount":"+0.9116487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$13035EF6-F0C9-4308-9600-70B3AF1A9CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de9b11f3b0c63ca28a62194e7f5decab79484b9","datavalue":{"value":{"entity-type":"item","numeric-id":5096770,"id":"Q5096770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5404785e45c9229a22140ef1a8068ab9d8ae6df4","datavalue":{"value":{"amount":"+0.90184957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511220$6F8A0C33-C290-49F3-BDBE-8A9BBDCA467E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and Expressive Power of Real Time Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_and_Expressive_Power_of_Real_Time_Logics"}}}}}