{"entities":{"Q6635511":{"pageid":14246663,"ns":120,"title":"Item:Q6635511","lastrevid":56084910,"modified":"2026-03-12T13:41:09Z","type":"item","id":"Q6635511","labels":{"en":{"language":"en","value":"History-deterministic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7941272"}},"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":"Q6635511$C4A6E28C-5D56-45CB-9697-541E75B8CE67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b455fd860a3c410b04b3773c4f9227caef379034","datavalue":{"value":{"text":"History-deterministic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6635511$CA6BD320-5AC3-4240-BC70-98F508ED33D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"100527121f60a52319ac11fab242684fbd5effb7","datavalue":{"value":{"entity-type":"item","numeric-id":2233398,"id":"Q2233398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$289ABC52-7B1C-456D-9890-92ECD9CFEEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$8C8FBF24-884E-48C3-984E-7303583CB5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a6dfb5d891e79479fbb9027d2a465e4007f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2011664,"id":"Q2011664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$F5345B69-5E0E-427F-8E4F-615F6DFAB8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$E5622AB0-4693-4031-8FF3-E069BD6E5162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$887138D2-063F-40E9-AA7F-196FB67F2088","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$D0EE37B9-1292-416A-96D6-67156E079C97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6635511$CDD8704B-1B20-4A27-92B3-442AA2D34AA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635511$4EC08BA5-0015-43A6-8282-2CE37B2AB2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635511$A08B6EEE-B89B-4E21-B7A9-2553C426A0CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84620457ba2963d40496e5da79a293a27af687a6","datavalue":{"value":"7941272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635511$F3A8B60C-ED98-4655-82A5-270E7704E7DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635511$A97C3A89-3585-4784-8FA8-FD4BA75477B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f722a3cfa217c78c9fd8a4eba588c49fc42bbe36","datavalue":{"value":"history determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635511$7EE29AB5-0DCB-44B8-8DCF-EA5FA9846C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd34f04db95bbaa790e23b59a9e85354f214747e","datavalue":{"value":"good-for-games automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635511$2FB9C9FC-8C19-477F-B0DC-E33AFF6BD101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8166bd2962de9f6984c336053bc99e3c7944bda1","datavalue":{"value":"fair simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635511$6F0F2932-18F1-4799-B8AD-16FC7099CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635511$554C3DF2-98EB-469D-B201-04195E8FEC9B","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":"Q6635511$84BA1E9D-49F0-4231-B2D0-37F50B6B4454","rank":"normal"}],"P223":[{"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":"Q6635511$44D978AB-F972-4981-8E32-0C30263D74C1","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":"Q6635511$7D017986-D26C-4F22-9497-92092DF93505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b053757dfd493b160f0bd386b81fa8778d445","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$4B9DFB65-0E19-4E56-9985-9FECD9E18413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9f134885eacd57c371c7d9398ea17172c0c430","datavalue":{"value":{"entity-type":"item","numeric-id":2226757,"id":"Q2226757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$B287CA1C-577E-4A35-9533-B73EF75C4259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fe5487a30f4b15594fc8d1ac7743532141f160","datavalue":{"value":{"entity-type":"item","numeric-id":5091262,"id":"Q5091262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$9BB9389B-C0CB-447E-9293-B04818FBA179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24514621c95becb6d01c900676bcd1db9f83315c","datavalue":{"value":{"entity-type":"item","numeric-id":6173103,"id":"Q6173103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$FC203C87-9B7A-4DF5-BA73-760B6226C295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a203aa1c7b785fea2117512950962acf7e43802","datavalue":{"value":{"entity-type":"item","numeric-id":5090951,"id":"Q5090951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$D021E69E-A266-4047-8E7F-897C44EFBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b110ad259b155f150d298b0c7b07dff05d89fcea","datavalue":{"value":{"entity-type":"item","numeric-id":5875380,"id":"Q5875380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$ED07D616-962D-400E-BCE0-218F7C6AA368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da3b9947ca8aade61c556b6b49b0c8bd3756b683","datavalue":{"value":{"entity-type":"item","numeric-id":6187054,"id":"Q6187054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$21B82661-BE4D-4F1D-BE3A-F1EAF130E84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12517eeaeb6245dc67a8b1045b39dda94410077","datavalue":{"value":{"entity-type":"item","numeric-id":5900485,"id":"Q5900485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$BF35B49A-584A-46F8-AD24-580A2FEC19D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5b1411647a7bdff34c844b7c43ae796cc1b1ee","datavalue":{"value":{"entity-type":"item","numeric-id":6635511,"id":"Q6635511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$007A96EC-4B38-4A43-836F-6D43200C49FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$01702D79-38F5-4524-ADCC-5395BDDD3083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a882ddb213a4d6ed482eb68dc25e4cee7f55653f","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$7372967C-4DDC-4AD9-92D7-CB5C3AB33444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159f4b003483b30c5a9d5f669321d8083f5570bd","datavalue":{"value":{"entity-type":"item","numeric-id":6044123,"id":"Q6044123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$3360BE67-42A6-4FB0-8192-0991B363502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2406a3464477fc09f4f68f3666c747d2a5279d","datavalue":{"value":{"entity-type":"item","numeric-id":4645197,"id":"Q4645197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$3CC8FE81-B33C-4966-97E1-533E6B5E68BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7249a8b572e714ea260e19760b53d95fba6f44","datavalue":{"value":{"entity-type":"item","numeric-id":6587120,"id":"Q6587120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$915206BA-F200-44E3-8166-80205CA6AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$29C113FF-9A47-4FCA-9E01-59A7DA901BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$A50E4CE7-9600-494C-8EC1-F064E6149BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8091299405c35479baafae89af1a807594a1d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$0D97C64F-3903-4DD0-8B41-4400888B3776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad2bd33f7364db6e5c028f09f5805d0fafbd28c","datavalue":{"value":{"entity-type":"item","numeric-id":2576943,"id":"Q2576943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$04317948-29F1-4DDD-AC00-2C7C6D1146BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$996E6A7E-2025-4D16-810A-08B97C262BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbaaeafaec726b9880b2867e9d8a2d4208ea24a","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$5AF362D7-F7AA-48C5-A544-5EF2D609D8F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cd2c2fd0614fe6bd200adeda2cdcb58634088b3","datavalue":{"value":"10.46298/LMCS-20(4:1)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635511$7E20CCB1-A417-4EF7-902E-65D5A32C6ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03379044b5eae50f2888ec692ad1236b3ad5d19","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3354313c2da61ab7112e502383ac82a6a48d16","datavalue":{"value":{"amount":"+0.7861135005950928","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":"Q6635511$C20BEB98-F616-46B0-9F17-C6351CDF3C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0ea491282ad27e1f4e81812357eb2cb3b8e2e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842589,"id":"Q2842589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00d1ac1ded76654527b643bdd4cef2ef78e626d","datavalue":{"value":{"amount":"+0.7672097682952881","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":"Q6635511$BB240B55-96C2-4BAC-841B-BF2144AA0EC4","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":"65629824f98daf3ddb574f9213f3c0c3bc4840c7","datavalue":{"value":{"amount":"+0.7601071000099182","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":"Q6635511$8A77ED78-45C2-4C60-90FA-5605A72B21DF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635511$802569C8-6C43-4BC8-861B-A5EDE3927D21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6635511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6635511"}}}}}