{"entities":{"Q3090823":{"pageid":3101538,"ns":120,"title":"Item:Q3090823","lastrevid":45421852,"modified":"2025-12-07T18:05:12Z","type":"item","id":"Q3090823","labels":{"en":{"language":"en","value":"Timed Automata Can Always Be Made Implementable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945184"}},"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":"Q3090823$09F6B190-C7CA-4B25-9EEB-86BF71F285B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132d8a8a47937cf44631599d0c285f18bfc6a596","datavalue":{"value":{"text":"Timed Automata Can Always Be Made Implementable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090823$53CE83ED-D63C-4534-AC58-DF4612BFBA30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e25a64f79b2c6528ea0d771b9a6f0544bfec600","datavalue":{"value":"1343.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090823$AE3840DF-3E66-4890-8B57-54DDAC133DC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4371a3f1b268d017799d39b7b57e7f19fe6b0b8","datavalue":{"value":"10.1007/978-3-642-23217-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090823$A9452053-5266-4D62-AFDB-712DB0420AFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$19B04BFB-43E7-4C24-9532-6321DECE9A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$C03BFF05-295A-4FDE-8EA7-3821C01366E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$63D1DB0C-4D3B-4792-9EF9-8054BDC440BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d593a3f17da7d326f296f22b84d634c66abdfa50","datavalue":{"value":{"entity-type":"item","numeric-id":549201,"id":"Q549201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$3479BCB5-83F5-490D-91EA-778F9626F820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$73BEC7D0-8576-4696-96DB-14B33DE4DBF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$C41098CE-DD2D-4413-85F4-9F938D87A82F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-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":"Q3090823$C74E1F83-8F8A-4FF7-9843-8270C44FF3D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090823$FB699F94-A17C-49CD-88CE-998071FD4C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090823$5473D121-FB74-4040-9488-EC3C5D0174B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"620946295afe683f1629e4a337a1fc853999dd96","datavalue":{"value":"5945184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090823$E0E2C397-C0F3-49DC-9CCC-4315FDF7241F","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":"Q3090823$12E85CD5-B545-4766-835A-620F7EA735D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ead8356a3fb2aa2ad98270834d1db52085a4a97","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090823$F79FEB0C-3D54-43CA-A4D8-CA4F0F535FF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a99ae51536e17831e43123a82cc42544a0a3c436","datavalue":{"value":"W2196692106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090823$0BD43154-A5AD-4855-A7C1-A13A9B5E6225","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a228337c6d5f3c8d342caa22d14eec5183493de2","datavalue":{"value":{"entity-type":"item","numeric-id":2786131,"id":"Q2786131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$DDA3A13B-A647-47E4-8B88-A247D80DB496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6587e784d496e2ee419584782e6996985cf45aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897968,"id":"Q5897968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$C75B95BD-26CE-4BFE-BD7E-1B16BCF86B77","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":"Q3090823$45F30D09-A927-4442-B846-1FF86B3AF457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$A4D37382-AE8B-42FE-B25E-7397CA869745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d270039c25734bb5e63b269353caeaa3594399","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$294F9EE1-E4E4-44BF-8D4D-E2638F30D615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e3145509425d2ebb1056e6c97df76c260a5631","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$5C1698F5-0B8B-48A9-A821-87F922421155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa63ad3beef568a35223bb58a8c4174b44fbf81f","datavalue":{"value":{"entity-type":"item","numeric-id":5458357,"id":"Q5458357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$F3DCBE9C-C616-4698-AAFA-FF2D178B57C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7411117297f7bebcc3af0a6f0da10ebdf204a915","datavalue":{"value":{"entity-type":"item","numeric-id":4736580,"id":"Q4736580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$ED82776E-BDB9-4BA4-8D9A-DC24FD508D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$A5F671A1-3409-41A0-9C09-AE56F2A25933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4272f5488c3bda1ae9ece666bec011d1e592b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1028728,"id":"Q1028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$79C1B16D-B3EC-4A0D-B442-D4CB8B537BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fdffb5dd1223f571882d363432c9fff29a083f","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$8D2EFAEA-5692-41F8-9C45-D6CAEECCB986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7ce139f0a66352d43c1745632611b09377b14c","datavalue":{"value":{"entity-type":"item","numeric-id":2970258,"id":"Q2970258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$F3C4E06B-2142-4E4A-9242-CF21A9A2461A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$C4525BF3-2025-47C4-8007-24791CE33CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15744995f7cdcb1b651d1683f9112676384ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5897779,"id":"Q5897779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$7BF5EC71-6D9A-4490-BDF7-358617782B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$A33A83DB-BC52-4AA5-9C17-BFDC742FCD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$4E3C631D-D7C3-4FED-9FD6-9C9CA0A203C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39485e068db83ea87e9e8e4f1bcd905244f225d2","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090823$05919002-700B-4DD7-82B7-B609AE836209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a348212b9a6fc53451b959df9d34966911a438a","datavalue":{"value":{"entity-type":"item","numeric-id":5041274,"id":"Q5041274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ca086a6b02c5cea6ba261ff15f479c5dcf1352","datavalue":{"value":{"amount":"+0.9085043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$6ED2ECE3-BC74-4142-8BD1-3226DE591DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b3de4c8f25fb5fa76a90e63f05e78ab8d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867bd26def6e6d91a5c932e08e81d8875a45fb44","datavalue":{"value":{"amount":"+0.85726076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$323E125C-9EF7-4578-B396-AD1CBA9460DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0523fb08324cb104a70eec6ba43ea626235b61","datavalue":{"value":{"amount":"+0.8549085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$C1B07D2B-26B3-4F6B-9ADF-537C1B53FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0523fb08324cb104a70eec6ba43ea626235b61","datavalue":{"value":{"amount":"+0.8549085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$8AEE418C-4D7C-4519-ABDD-DE8B0F7C06E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683e2d18d36ecf93f4588c1e5b6a135b47cdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5418249,"id":"Q5418249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0523fb08324cb104a70eec6ba43ea626235b61","datavalue":{"value":{"amount":"+0.8549085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$E727E44A-F5DD-429B-A305-1517C394190F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc62161c677dfce3a0f9ff5548fef375db3e194c","datavalue":{"value":{"entity-type":"item","numeric-id":2244829,"id":"Q2244829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0523fb08324cb104a70eec6ba43ea626235b61","datavalue":{"value":{"amount":"+0.8549085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$6AF97ECD-5A72-463E-BC25-4219FC8DF184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfd046a92a4ddabb1864ef0107d9abff346ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4472451,"id":"Q4472451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c9906ba0f26615c6f0ea5b03642ac030e96f0b","datavalue":{"value":{"amount":"+0.8504672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$E48269B4-1F47-4CE7-876F-A7830ED62734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e718dd3d049ca9d8bcba2e00741e4957d2fa5f","datavalue":{"value":{"amount":"+0.8489094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$E1D54BD3-4394-4C5B-90D1-C8B8DE7AD428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bfd24e4cd1f0f7058ff3814d62c0ac66c5e666","datavalue":{"value":{"entity-type":"item","numeric-id":4063063,"id":"Q4063063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b151aea66fdb9ee6aea705ba16fe4f3d86997ba","datavalue":{"value":{"amount":"+0.84769297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3090823$63B7E454-E7AA-4C4E-8470-A184A6420F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090823","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090823"}}}}}