{"entities":{"Q2176704":{"pageid":2187447,"ns":120,"title":"Item:Q2176704","lastrevid":71478024,"modified":"2026-04-13T22:31:48Z","type":"item","id":"Q2176704","labels":{"en":{"language":"en","value":"The timestamp of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196604"}},"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":"Q2176704$9BDEDC28-63D1-4C6C-9A7C-55FE0C261288","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a214e13e3c8e01f6a4d23c0b885500209771a1d9","datavalue":{"value":{"text":"The timestamp of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176704$AD660168-C815-4ACD-8BC0-E2E1828E56B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aa8fc9b39c454d80e813d2efc24994ac477dcfa","datavalue":{"value":"1434.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176704$08FC4BCA-8D90-477E-A851-6C43DDBF52B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cb602d20e92cbcfc8757c1c97b42e7928ce1ed7","datavalue":{"value":"10.1007/978-3-030-29662-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176704$490011EE-AD2B-41DD-BC68-480663B58228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f118bee8514fe95ca1e5b026656ae6adc8a6dedf","datavalue":{"value":{"entity-type":"item","numeric-id":266874,"id":"Q266874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176704$01AAEF69-B7BA-4C29-A7EC-613B193101C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2176704$6E4608C0-8AAA-4223-88B7-96F90BB55254","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd030ce7f62d5eae99db0be246c9151534e046ac","datavalue":{"value":"https://arxiv.org/abs/1412.5669","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176704$B7406BF9-F0D2-4AE3-A9F7-CB2591036F77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176704$C8F20FB0-2BB8-4889-93D5-60AD14EA77D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db00c6f2b851634871691175eb38f89eec7a9569","datavalue":{"value":"7196604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176704$18D464BD-C2AC-4BCE-81E2-648C31D5A50F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176704$43779A66-81A7-45BB-ABF9-C3E7D10F045B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e14354e0567556129ff24d788b1acbdbd8d1991","datavalue":{"value":"timestamp","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176704$ABB1808C-B543-49D7-9E6F-1510CC9D72FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176704$E99F1E89-5132-4AE9-97CF-89A79342B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0ef2eb18ae52c04453b5fc69c151b22b7f881","datavalue":{"value":"language inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176704$B27A5C03-2BFA-4C4C-BC9F-01A6CBDEECA6","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":"Q2176704$D2214D94-271B-47DA-B9C4-AFEA20AD2F00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98802cbd15d06697a0329c60b3e5a2abea13ea5c","datavalue":{"value":"W2970614654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176704$843EF68F-18F6-4A12-A670-261C4C26514A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60ed81f9c6fc7742726b821cd7636ec9c52a30d","datavalue":{"value":{"entity-type":"item","numeric-id":2176705,"id":"Q2176705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ce8ac2f1417d570593cb7ad7f4473cec15403c","datavalue":{"value":{"amount":"+0.7689341306686401","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":"Q2176704$4A0DAF60-8508-41A7-957E-672802BA88C1","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":"356ac1c222c7bfebc8d591cddf3fedff0b4311b7","datavalue":{"value":{"amount":"+0.7681930065155029","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":"Q2176704$7514189A-D64F-4203-B16C-03F2F7E971CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36082bbb0f2ca4c6b52d2bd9425278d688f1f6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4514735,"id":"Q4514735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7942d0d63df8d536fde79f52a2eef0d9db173d","datavalue":{"value":{"amount":"+0.7643342614173889","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":"Q2176704$D897DC77-ABF0-45F1-9454-60860EECD71B","rank":"normal"},{"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":"7a130a898139dee707606b4b1a1d190cc57679fd","datavalue":{"value":{"amount":"+0.7637954950332642","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":"Q2176704$367758CA-3293-43CE-B133-E46A9D37D7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fcc1e1c01f52a4968541b3c468b2c173f12958","datavalue":{"value":{"entity-type":"item","numeric-id":3635988,"id":"Q3635988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b560a65560f660d803edda5e3699766772a82160","datavalue":{"value":{"amount":"+0.755570113658905","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":"Q2176704$3F3CA07E-8155-4C05-A0ED-860ABC0857B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The timestamp of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_timestamp_of_timed_automata"}}}}}