{"entities":{"Q360650":{"pageid":362417,"ns":120,"title":"Item:Q360650","lastrevid":61338318,"modified":"2026-04-10T22:43:19Z","type":"item","id":"Q360650","labels":{"en":{"language":"en","value":"Complete abstractions of dynamical systems by timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6202138"}},"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":"Q360650$248EB9FE-ACDB-4A13-9C87-60F038AC3CC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"747517f08129dc1683ea1098da9b5fa6e462cef3","datavalue":{"value":{"text":"Complete abstractions of dynamical systems by timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q360650$9371C174-F966-4FF5-BD72-408E4D5FD11B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f527705d7fe842d429a425ce1a59e79e63adcae","datavalue":{"value":"1271.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360650$D44FE7C0-A5E3-4115-9FF1-D9A7142425D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91adaddf910c4daa4989816802f1fbfa45704385","datavalue":{"value":{"entity-type":"item","numeric-id":360649,"id":"Q360649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360650$14B1E07C-0B8A-4AF8-937C-D00B1763E810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5948c28bf532afa2376a508acea87a18459815d","datavalue":{"value":{"entity-type":"item","numeric-id":340657,"id":"Q340657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360650$0A7E3509-F3DE-4A73-9206-86282D9AF488","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360650$C0B039C9-F097-4520-8C4C-17D320846C3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-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":"Q360650$5D3B041B-9020-456A-A9B5-F046DA95EC60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2997d818b5deec5f7bae7c4699913a21ea0aa6d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1751570X12000180","type":"string"},"datatype":"url"},"type":"statement","id":"Q360650$2806C461-3BAB-4026-A114-7FB69AF770F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360650$453B5C13-3B51-45E5-A211-353AB3EEB617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360650$AC84DF7E-FD4A-44D9-9558-9E3E387576A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe2e96c746b05b9ab4b8892c41fb6577ed48bd73","datavalue":{"value":"6202138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360650$F0AD4363-01A4-4AD0-B178-39FB509C916C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q360650$2EB8F178-78FA-4DA9-A31C-635CACCB49E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q360650$7306B606-5F9D-41A6-8C11-4E2B659BFD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q360650$2DAB5CEC-0962-4372-BAFE-59DC819D5536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q360650$FD33D9C5-9099-41EC-8D53-C9BC64267F85","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e979e2def7bf6c6c84a35127c1a1ec94fc6ad80","datavalue":{"value":{"entity-type":"item","numeric-id":22910,"id":"Q22910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360650$A9474861-249E-4E4B-8A18-815E58FFF1DB","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":"Q360650$E1861222-AAF6-4EBA-AEB2-EA65551C54CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9feeb06ac5f45b9e3e054bd5f464ef562b1ad4ed","datavalue":{"value":"W2031364117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360650$B52C0C59-9195-4664-BB7D-2AA82E86917C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcf3dee4add33c943666f8205378dfd559f4c7b","datavalue":{"value":"10.1016/J.NAHS.2012.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360650$7129487D-8459-41A1-8788-6EF417F3B81A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310e121da59e1833516c63390a2478e486a4073f","datavalue":{"value":{"entity-type":"item","numeric-id":763240,"id":"Q763240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23dc9c05540787401de9ba0a51bec07d468e38b6","datavalue":{"value":{"amount":"+0.7882199883460999","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":"Q360650$9377A03D-B4ED-40B8-AEBA-BE457C742ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60657b20b22812b44b4c584e5f556a3cc0b4eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3506869,"id":"Q3506869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6091bfd22a16df5c66e8ffcef352c46896c4c91b","datavalue":{"value":{"amount":"+0.7648652195930481","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":"Q360650$9207A126-F8BB-485B-9643-1F631A84B765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d6cc352ac3310cefa8a98d6f0fe29981b5730a9","datavalue":{"value":{"entity-type":"item","numeric-id":832202,"id":"Q832202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23642f2ad3c95a73cc2e196a1dd3adbb288cca34","datavalue":{"value":{"amount":"+0.7499421238899231","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":"Q360650$BABFCC02-AF05-4DA5-8AE1-99D8CD1D535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb39479d1421ac44e8e428c692206f0d24b38e0","datavalue":{"value":{"entity-type":"item","numeric-id":4561454,"id":"Q4561454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f1549c10229b34f6717520c005a1c47c11a8ed","datavalue":{"value":{"amount":"+0.7465543746948242","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":"Q360650$73E97D08-6149-4FCB-A40D-1966D2D43417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abab7423534f608674a2733f521772cbad8bc755","datavalue":{"value":{"entity-type":"item","numeric-id":2945582,"id":"Q2945582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533a21d473e7e1be92103de8a33b78a477e611fb","datavalue":{"value":{"amount":"+0.7381884455680847","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":"Q360650$74406CA4-62C8-4097-A711-9EAE742EF9C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete abstractions of dynamical systems by timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_abstractions_of_dynamical_systems_by_timed_automata"}}}}}