{"entities":{"Q2065535":{"pageid":2076277,"ns":120,"title":"Item:Q2065535","lastrevid":43499011,"modified":"2025-07-29T13:57:26Z","type":"item","id":"Q2065535","labels":{"en":{"language":"en","value":"Analysing an autonomous tramway positioning system with the \\textsc{Uppaal} statistical model checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7455775"}},"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":"Q2065535$B54C960B-1890-491E-A751-491E35CAC8B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1e604df38d1aa6bc7a8997bdef885263ae80b7c","datavalue":{"value":{"text":"Analysing an autonomous tramway positioning system with the \\textsc{Uppaal} statistical model checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2065535$38481359-A491-4B6E-8942-71F6D43914B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"809d786bb7370d71893eb651874e034149832780","datavalue":{"value":{"entity-type":"item","numeric-id":2065532,"id":"Q2065532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$DEC4F8AA-A003-42AE-B677-F83CC7756F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"558370a88e7c439ba7e3c3eadd7c0f5c89653110","datavalue":{"value":{"entity-type":"item","numeric-id":246444,"id":"Q246444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$6D3F381E-8864-42C4-9D6D-565D6DB1AEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b134f4c5b25a2f3dc2effea39662724a3075efc8","datavalue":{"value":{"entity-type":"item","numeric-id":2065533,"id":"Q2065533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$A2563050-2432-488F-8AE2-64F78ECC0EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde182fd657d1199ae3ff4b3fa684031fa3130f0","datavalue":{"value":{"entity-type":"item","numeric-id":2065534,"id":"Q2065534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$DD887475-7FD0-49F5-B9B5-A0C207BB1578","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$02B0A172-9E32-4548-8AB2-37F312661BF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c55eb3ecc64f07fd602e06c6a37a740c982d0cb7","datavalue":{"value":{"time":"+2022-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2065535$BAF3D045-EE59-41E3-9307-19BEE0158750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065535$7005FA45-C74B-4807-A59F-918533A23982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc16697751fddb2b9ac691990b9e241cc13e9ea1","datavalue":{"value":"7455775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065535$55A0A153-F9B0-42F1-B82A-04FDD02ED1B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"624490f6110b6c2a3e1e523958f83725f497826c","datavalue":{"value":"railway","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065535$221C9544-389D-481B-9E70-AFDD280209C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb8ea2cd95cde1c7b6221335a36f3c888a39e06","datavalue":{"value":"signalling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065535$426C392B-992B-4CC9-AB6A-F84DB8E4419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065535$715BF4AE-6294-4963-9968-7F131E798A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ed48111d574f54b8d2bf5f207bca7987bb3929","datavalue":{"value":"Uppaal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065535$5F64587D-89E5-4045-AB59-8B0191E374C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fba17e5edb824cc4c5a5f21a16d949f08a596d4c","datavalue":{"value":"autonomous positioning system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065535$9F0F38C7-DD3F-4799-A2CD-6CCA2869C5B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$B3ECE299-9ED4-4E51-BB53-6F9FD618D5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$15D1BE71-ADDC-41D8-9F97-A4AB9B8DE327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b307341a99e0ca7d41f2283d241aeef4d404c433","datavalue":{"value":{"entity-type":"item","numeric-id":39146,"id":"Q39146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$CBC9283A-9173-4942-A6D3-946D98D0E382","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":"Q2065535$F948DBAD-3575-452E-B069-0692E047527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065535$7804D764-C1C4-43CF-970F-B28C5189A322","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":"Q2065535$3F0EF2A3-04EE-4877-AB4C-503F6927592A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6826517918f613dc24328839839e9f5c92e9e28","datavalue":{"value":"https://doi.org/10.1007/s00165-021-00556-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2065535$497A7DFF-F66C-4882-A286-24E2E0E1991C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"064759ca8786afc50553f275a1f62fdbb6b56ddb","datavalue":{"value":"W3192789951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065535$5FC207C6-E089-4436-83D5-FDA41AEE1BBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19b4993e5f7571031ca0c5eb1a158f375dd422cd","datavalue":{"value":"10.1007/S00165-021-00556-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065535$1AC48B0D-05E4-4A88-BAD9-7CA0FD971C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2065535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2065535"}}}}}