{"entities":{"Q2829277":{"pageid":2840015,"ns":120,"title":"Item:Q2829277","lastrevid":83754290,"modified":"2026-05-07T10:50:31Z","type":"item","id":"Q2829277","labels":{"en":{"language":"en","value":"Formalized timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644758"}},"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":"Q2829277$8E7487BC-0B94-422B-B56F-F8622E1AEC40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05ebb092c6bc9c72aeb15c5226e2327a39b76fad","datavalue":{"value":{"text":"Formalized Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829277$6E14605F-4566-46E2-B91C-2B1AB1D1F5E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c279f552f85a5fdff2dc1be5ee9fcb627eb3956","datavalue":{"value":"1478.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$1A83BCBE-B948-4C43-A6D4-022C028F52FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6167b9ac8d8abe4dd2963ec958e103ffe70b51b0","datavalue":{"value":"10.1007/978-3-319-43144-4_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$7114AFA3-B41D-4DFA-8BC8-E1F3E0FC11B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6890c325a64399811d448bcc2cf29db1ceaf261c","datavalue":{"value":{"entity-type":"item","numeric-id":1791203,"id":"Q1791203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$D9EB51B1-D268-40BD-AAE5-12C4022545E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$0EF00974-048C-491A-8650-0B14CE09883D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829277$113BE5CB-8D99-4999-9C74-6BE296112AE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$2ACBE14D-423A-45DA-B03E-E43315752698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$0C6973EE-AE79-4F62-A1DD-07F021837AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$ED281466-CC5B-4ADB-8D66-C6A6606FD6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$36135FF0-CA25-4EE9-B845-F9E846F29E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$D8D27424-4890-4E83-BCA5-4DB99C366BC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2066282167122ccc06d0fcd296894a55e46b2602","datavalue":{"value":"6644758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$3803CE82-0BE2-4FDB-9CBB-0FEABB55C6B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$82080F3D-C078-4F49-9B35-CE0C0A753796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$F42B548C-C0B4-4DF7-98B1-F0C61C173167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$9E8FA97A-B992-4FB1-90F4-44DCF62ECFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$3992F397-4A1A-4C9F-8D36-201ADD0A96EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$A66E8E2A-C57C-4C91-AF0A-A65AC7829D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$1D727B64-B532-43CD-B3CA-D6F47FF4651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$A0C6E33D-49AA-4CA4-B64E-2D47E7039112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$9F0FED2C-0EB2-49E2-9206-4EE1C11DFC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9874f8d86cc3aa18b6bea0042882169e9d0da7e2","datavalue":{"value":{"entity-type":"item","numeric-id":40282,"id":"Q40282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$0C5D7AAD-5C33-467A-A678-253FCE2C58AC","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":"Q2829277$1AAB7588-BF52-4855-A888-B7F1386237D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14bb9f1fe434b1d3d3879bd8ca1daa8d6761290e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829277$B1843255-8026-4561-8F9E-AE7A3339D074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cb18d10e1a3401062264280a7b33231ce2316a1","datavalue":{"value":"W2499128759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829277$0481AE2A-4E74-4242-B37B-E42FFB697CF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$AAA2C6A5-3507-4882-94A7-134301B9022C","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":"Q2829277$0619F44F-B409-4078-8FF0-796C22156E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$55EA4736-F62C-4F7A-8F3E-7785D99B05EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$EA5DB7F4-16A3-4305-947C-6104CFECDEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$D182166B-168E-4563-BB70-3580FACE0B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a23edd4dfc60a6d47c2db1a08cb2d109ae1d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":2754107,"id":"Q2754107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$8078502D-EDAF-4FC1-ADB3-DBDFF8C344FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7706d66b127824818f0fd5a4653a76fbc0b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2842665,"id":"Q2842665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$568D5EBB-DBB8-4202-A682-4D83A4EE366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$64752D9E-6FEC-49AA-9B88-87938DAAB689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$3057698F-938C-4BCB-BAED-669B2E3CB5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def4fb15aeea8ff95549401959cb535e938075f","datavalue":{"value":{"entity-type":"item","numeric-id":5714446,"id":"Q5714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$8E43D7D7-D9BC-4188-97A3-6373578091C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829277$D1D08F23-91F5-4861-9524-2E143313F6AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97aa41a0d460a4e855abb7449fae0078463c41b9","datavalue":{"value":{"amount":"+0.8532062768936157","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":"Q2829277$9448F24E-CDCF-4193-A77A-213B531E9D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ffe3de271de091ec9a8b4e4095ca182c03a7ad","datavalue":{"value":{"amount":"+0.8451681137084961","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":"Q2829277$99162F9D-4081-420C-810E-EE8A083A142F","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":"985a2ce5898801af18138c2c8e82644e88b01fda","datavalue":{"value":{"amount":"+0.8397974371910095","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":"Q2829277$F495F597-76EE-4A6C-AA82-7E7311B2E0FF","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":"74f085f8486091720bf815fc5877d48decd4c430","datavalue":{"value":{"amount":"+0.8384752869606018","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":"Q2829277$F72DB96E-287C-4626-9E24-A243CA640A1E","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":"00741f75680c9523f4d543c2ed2c3643bf8c748e","datavalue":{"value":{"amount":"+0.8146139979362488","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":"Q2829277$24328627-B815-4820-9747-CB0B3D07FAE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalized timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalized_timed_automata"}}}}}