{"entities":{"Q6060093":{"pageid":13194248,"ns":120,"title":"Item:Q6060093","lastrevid":55507174,"modified":"2026-02-17T17:53:55Z","type":"item","id":"Q6060093","labels":{"en":{"language":"en","value":"Temporal Logic with Recursion."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7760476"}},"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":"Q6060093$624C0184-8A52-46E1-9555-FCDAB232B2F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5c6774c29270f9dbd268c18f16f39c27f804126","datavalue":{"value":"1530.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$5FDDAE52-A69A-43F7-B466-1AF27BF9FD11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dffe16bbe34c7938fa56f95e8b4147c5880800","datavalue":{"value":{"entity-type":"item","numeric-id":1685774,"id":"Q1685774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$7AFB3B19-C2F3-4701-9F9F-08F915A55787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$4BA96586-AB01-4968-BC54-BB0948628C9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7998a4700485ee1c911c6376847a8ba8998b55e1","datavalue":{"value":{"time":"+2023-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6060093$37F835F9-BBCD-42C2-BF20-EB03F8111B5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$E2F7DDED-6236-4DFD-BA51-0D23FBEE1D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$C14AD957-5625-4606-95C9-44D40792B8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$754A65D4-AD22-4F34-B650-42A2BD23FCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$B3DC1BB4-CBDC-4C00-809B-65F37D1E4A48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"847bef2b6ab32eb530b75e75988987d5cb75c59e","datavalue":{"value":"7760476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$67BBB85D-83C0-47FE-ADBE-AB8B3AA7D40D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060093$604F1A59-7D68-41E3-A8E2-56046436F9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060093$5392359D-CAA5-4793-A8BB-A109B1E2CF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060093$74E4B933-959F-4EBE-B94B-D9ABA9B4D2B0","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":"Q6060093$C08B4F93-4CDF-40B3-BC65-13AEF83493C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e97900a78bf859010a64a9d08c63c8f88c577b4a","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2020/12974/pdf/LIPIcs-TIME-2020-6.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6060093$2D728712-02BC-432B-9D1B-90FEEBE0ADD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53cd50336eee47b559e5508549c0d7b6290cf2dc","datavalue":{"value":"W3088706144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$44CB0932-D919-47D4-988B-FF6184BA94CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56a4743f1bb96b5d3382b4fefd3013738afb9d0d","datavalue":{"value":{"text":"Temporal Logic with Recursion.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6060093$6AFC9F82-88AF-45E2-8F1B-33BD2BA71D7C","rank":"normal"}],"P223":[{"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":"Q6060093$8241B400-1FDA-4369-86F1-9353C567B656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$BFC2E084-C07F-4D25-A1BD-57DC80208A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$21D5ADE8-8836-4C02-9185-1991AEFE8D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30652f58409f96f54ee0b1ee5b53a280406418","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$D84005EB-1EB0-4E31-AEE1-5B9EEBE94DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$08DD89FF-43B8-4133-8E21-20E1D7E89FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$10EF2BED-B1ED-46B6-ADA7-6D096BFF8D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ddac6537cfc04be5c83001958b51268538766","datavalue":{"value":{"entity-type":"item","numeric-id":1108048,"id":"Q1108048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$3A0921EE-E1BE-4492-964E-BFA4DAACC983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$7D5E7FA3-448A-4479-9A19-87642F2A8F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$1827B66F-D394-451B-AF70-C071C905DE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$3816CC3B-F95D-4835-A5BF-9E59AF7D9500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$8A8219C4-DBDE-4145-B8BB-DF2630A1E849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$83BA1C1D-24F2-4702-959B-C72FC1819D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$4D1C911D-0785-4BC0-9838-54AFEC889062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$AC32BFE8-55E5-472A-B554-BADE20E93DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$F777A25A-12C3-4F6E-8AC4-E5E0A121FC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$46B00910-0CCF-46EA-B829-4A35F632DB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$31151C92-1C30-448C-A6DB-32A1326D3C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$BEACEA02-0483-4C42-9EB3-FF7CEC4F2466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c17549b080d9ae50b971f57e96f7c1475e686b","datavalue":{"value":{"entity-type":"item","numeric-id":4484491,"id":"Q4484491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$A43BE0D9-D754-4CDF-A5DE-418799B7A5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42e239a4191201e22e9900a9d3c9fcc6bdb180d","datavalue":{"value":{"entity-type":"item","numeric-id":5441546,"id":"Q5441546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$9BF2ED92-D1BF-461D-88E5-4FAF4E8D8A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913f295271d585bf15103c858643c419f483bd7d","datavalue":{"value":{"entity-type":"item","numeric-id":845832,"id":"Q845832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$D053D3CA-B3EE-4841-A6BB-EE38BAF190F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efea0cb6fd0b89c60672609cf98a61fcdf693a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$D0F9301D-D309-4C8C-A5C0-F5D5E0BE2784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200cd015b3ab9482ec0c8403f564d8f278b4166a","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$3CED33E3-B46A-4E6F-9C36-EB37B9964657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d131b8b926dc8bc91ca681921f797807bee02e9","datavalue":{"value":{"entity-type":"item","numeric-id":4251067,"id":"Q4251067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$871BF3DC-9403-4992-A324-491D82FBF0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$89795654-41AB-43C7-BD6B-9676D46E3013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$730E7FF4-DB38-44F2-AFE4-C5B741E8F7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060093$6E770753-6A9C-49E0-BD9E-8C2E4A9F54F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c982ca47e3a3e4fb718d54cd5b582e34119299e2","datavalue":{"value":"10.4230/LIPICS.TIME.2020.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060093$ED8E31B3-BB24-45F2-B722-B9160877588B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddcb5e461a2fe0d496c7ac52d248878f7c1b764","datavalue":{"value":{"entity-type":"item","numeric-id":2051830,"id":"Q2051830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1ebfdca42240917423c3eacde021cf106cca70","datavalue":{"value":{"amount":"+0.9951367974281312","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":"Q6060093$63B2F667-7EB5-4E0D-9F0F-D21642B801A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f03ba18052806ef29b397f5c3308f6e6daf42f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748896,"id":"Q5748896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ffdad6c7410a6b85a219d2019f14a791ba05a8","datavalue":{"value":{"amount":"+0.842015266418457","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":"Q6060093$25CC8DA3-1509-4A69-8C0A-9D0A71466578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd72afed57cb8c2859838d6ba9bf53934639a9e","datavalue":{"value":{"amount":"+0.809097945690155","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":"Q6060093$5F7BBC1E-346C-4768-A25E-42661929398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c85443e5cb8050800c5f296cc7af16801acb79","datavalue":{"value":{"amount":"+0.7972414493560791","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":"Q6060093$7B9D222E-BC2E-4603-AD9D-DB8176994A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e131c2fbebbb292aa23cc4ad528fa65713be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd3b9cf30904cf943fd5bf05b7b2c97d1bfa69f","datavalue":{"value":{"amount":"+0.7962903380393982","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":"Q6060093$E5553ADC-5D30-4637-B7DB-CCFAE36BF144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6060093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6060093"}}}}}