{"entities":{"Q3384894":{"pageid":3395597,"ns":120,"title":"Item:Q3384894","lastrevid":55395607,"modified":"2026-02-17T15:29:20Z","type":"item","id":"Q3384894","labels":{"en":{"language":"en","value":"Timed context-free temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447746"}},"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":"Q3384894$85315F94-1C2E-4EBB-B271-0E3DF582F442","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"745319e33dd536a01142ebfb84ab2b0f56f08c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3384893,"id":"Q3384893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$3D124EC4-7DFE-4F32-9973-16B16866DF13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384894$EEE18D5D-5A4D-4456-9D0E-CE8ABE698038","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ed31945af6d310220627443212faaea1a307914","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384894$1770697E-F717-46E2-8818-7C4E2A07555F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384894$DEADDD0A-4797-496A-A541-2ECAF3B1A97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384894$EA987C65-8E64-4872-9D52-2852E024ABE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384894$990D88CD-E8A1-436B-8A94-44BDB44634D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d76c68fdcc5e91798e59a7351d8e7b49322eb528","datavalue":{"value":"7447746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384894$ED0F581F-296D-4098-9D09-108CAFE4C17F","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":"Q3384894$860E530B-1536-440A-A935-0F33F1094732","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b21124277bda9d7b03777705e1af69eb38d28","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$A43E75B3-B08C-4D75-A57C-44B28852E4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$17C8024B-F359-4384-8A3C-5FDCC7818177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$33BB2488-851B-49B8-A560-3BCA378EA5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$595A59EC-E810-4DA8-B45E-E7B59BFF6748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$A4D912CB-F1C2-4CDE-AF7F-02705FEA7E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$8C3954E4-41E7-42DF-886B-73B772CA39E7","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":"Q3384894$9D5F2B76-1698-436F-AE6B-64ED34724C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$CD35B6AA-6E43-4843-8D69-B889455B2CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b164e816764ae6fb16407670fd6a4612ea220a3c","datavalue":{"value":{"entity-type":"item","numeric-id":264999,"id":"Q264999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$AB796033-7002-45E7-870B-9B285C818EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280b5c53f272ab38434c08fc10f88f7f090db29","datavalue":{"value":{"entity-type":"item","numeric-id":2798712,"id":"Q2798712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$FDE9B853-F049-4017-BE9A-0789BB548B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6eb349a791ef34219aa97210664902e99ca1cb","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$BF44BC31-3BB4-43ED-97C9-472B77164DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41369a340c5c5a932e7a4df2891f54625948d038","datavalue":{"value":{"entity-type":"item","numeric-id":1647682,"id":"Q1647682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$DFF6FD8C-4DBF-49E9-9751-45BC3DC5744F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82295c70de2e5049f6f3ab637d898cd0ab3fb1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3384894,"id":"Q3384894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$4A40CA9B-A9C4-4261-A1DD-6DF44ABD7334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18ea4b7d046ccd37e1cf34505fbb9d2f8440573","datavalue":{"value":{"entity-type":"item","numeric-id":4813395,"id":"Q4813395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$085783FA-B58F-4744-863E-E8A3474D6CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936271c4725ed0b10005cea1032d70bd3874fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$DA9CEFC9-DF84-4906-9CB4-AA87362D8996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f2a0e2d35e536265d05b63b1e06b51dfd1edc5","datavalue":{"value":{"entity-type":"item","numeric-id":5898979,"id":"Q5898979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$96A3984A-1694-4DF2-B99F-9D7887F43B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$D04D0A4F-EC64-4805-8EA7-7F3182FE225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$E1DA4541-3E95-4301-AA7E-5D8F6C9BBBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$231295E2-D5DF-4E0F-804B-A9A19138127B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f4ed5d5ce346447c826b0419093db4275081c2","datavalue":{"value":{"entity-type":"item","numeric-id":4939602,"id":"Q4939602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$1E2E1A28-0035-4AEE-B44A-805A6F7F3194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6312a31e60e5b8a5cf54a7fb6c3c2f59207ced8","datavalue":{"value":{"entity-type":"item","numeric-id":3599103,"id":"Q3599103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$1D32FEA2-7E29-4839-96F4-82390DEF94EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e303630227b78e0a9e7fe31b8945cb769e5026","datavalue":{"value":{"entity-type":"item","numeric-id":4931300,"id":"Q4931300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384894$AC60A56E-8B61-4646-92B3-86980CEB87D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2eb7af18670707e36ea86cfa616e1d6021ea23c","datavalue":{"value":{"entity-type":"item","numeric-id":2113377,"id":"Q2113377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3595aeb4195c81d4e0df6bf7bdbeb36466bb0e5c","datavalue":{"value":{"amount":"+0.914040744304657","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":"Q3384894$C5BBB122-72A2-40B1-8C07-B621D85CD26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf5fa4d77cb35ff64470b60422b167033918931","datavalue":{"value":{"entity-type":"item","numeric-id":3194716,"id":"Q3194716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9798e58d498538571d8f131b9f099fe0c8b7990","datavalue":{"value":{"amount":"+0.7946439981460571","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":"Q3384894$0AD53268-A255-4651-9953-1714568BB8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfad1942c2e978c9a5e20a81d9d4e9b4a4fa4da","datavalue":{"value":{"entity-type":"item","numeric-id":3192209,"id":"Q3192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d517ef838f481c72dd4e29575b350c4408166e5","datavalue":{"value":{"amount":"+0.7917767763137817","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":"Q3384894$0934D8C8-BCB9-45F6-AB95-4C360C00C0BC","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":"608b7a407ea307094f08c565d71236d005d14de6","datavalue":{"value":{"amount":"+0.7899361848831177","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":"Q3384894$50A162D9-1EC7-423A-A341-99CC12A0CC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920dfe5647a330a321f142f20067234eaca049e2","datavalue":{"value":{"amount":"+0.7836241722106934","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":"Q3384894$8ACC15BB-95A6-4ABB-9E55-111123316B9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384894"}}}}}