{"entities":{"Q5192941":{"pageid":7222513,"ns":120,"title":"Item:Q5192941","lastrevid":94416872,"modified":"2026-06-05T06:45:45Z","type":"item","id":"Q5192941","labels":{"en":{"language":"en","value":"A translator of Java programs to TADDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5593279"}},"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":"Q5192941$57324132-E888-4F02-BF33-E6D32AF6F683","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d92534bfb37b2c9112f53dd403758d5e77dd8e8","datavalue":{"value":"1187.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192941$0A1A3EE4-8B32-4AA9-8243-4D7A1F69912B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d5700353670776a34d56f917a168c0e7911f39","datavalue":{"value":{"entity-type":"item","numeric-id":4637908,"id":"Q4637908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192941$881E0C22-1418-4CC6-B89B-145FC7092CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192941$BF2656A4-C54E-43ED-A12E-5A4E42275A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192941$466E9322-405F-4E7F-BF97-87BC6EE4D682","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506c1325d3a4f4147f4f3add6b73065b15a733fa","datavalue":{"value":{"time":"+2009-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5192941$10C79E9C-0E10-485B-BBE0-96F1ABD4A952","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192941$26813C7B-EC7C-4DD6-8FE3-8A3EF6431C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192941$CB529B42-5F10-4DC2-BEB5-280BD689DFB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d568ee99ce0c750bc2d3e0ac0d84a5c67f27c5ed","datavalue":{"value":"5593279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192941$D8F2C74B-37EB-4C9C-A2E5-91F0CE5134A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db72287898d2ae9d5504b583f3a92d415216a1ca","datavalue":{"value":"model checking tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192941$BE352CA4-E9CC-41FC-9EE2-6051CA1FA4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89a59ce462a02e38f25d2327d9cd63ed8941cfb","datavalue":{"value":"\\texttt{Uppaal}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192941$8C4BE896-3256-49C0-A892-DF85AAABEF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe3d2fca35e52802e8feb8793316ca19632263f","datavalue":{"value":"\\texttt{VerICS}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192941$16F4A61D-830B-4A66-A478-4A25A9E12C78","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192941$9C606BF6-626D-44E6-9F06-E3E200BDA6C4","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":"Q5192941$CA66C96A-2F82-4946-ABBA-8A0776292C5D","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":"Q5192941$09F44EA8-13A7-4809-A5D7-5B3C4675E65A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef10785ba3147b129147c393779f9863b9a70a","datavalue":{"value":{"entity-type":"item","numeric-id":5506391,"id":"Q5506391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195d1a22791b8e7dcc7a701e2242e13d9edbb27c","datavalue":{"value":{"amount":"+0.7540998458862305","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":"Q5192941$6BEE7CDB-71C9-4314-B8FF-B5F09EE33926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf02a4dcf690b243985cb73a298e6383e00fcbe4","datavalue":{"value":{"entity-type":"item","numeric-id":3460876,"id":"Q3460876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a080261aa7c3d27219636b16205f255922c6c5ff","datavalue":{"value":{"amount":"+0.7453066110610962","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":"Q5192941$C0B8C5EA-C63A-4A71-9F80-8A4D4E455351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddab87631d4a081dbd128c7a792d799b2a6c7e03","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f316727990b451ab13a7614cdd7b5a1cce4edbe","datavalue":{"value":{"amount":"+0.7358243465423584","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":"Q5192941$90386046-D239-4027-BEF2-3F786D0ACBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e609e8a6ab1c806eee0364d4510f0fea8f0e7f71","datavalue":{"value":{"entity-type":"item","numeric-id":816196,"id":"Q816196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68daa2c66b50652844b514040d233cea7cc9630","datavalue":{"value":{"amount":"+0.722065806388855","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":"Q5192941$00D43CB9-C45B-4332-A48D-4E544DC3B372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3806d2c70859df0aa6094e006ad2859475bb4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4791830,"id":"Q4791830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865cfa7c491c1e2973bf73b01492500de1d04a3c","datavalue":{"value":{"amount":"+0.7161450982093811","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":"Q5192941$276D2FA6-4353-43FC-A55A-032B33B233A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A translator of Java programs to TADDs","badges":[]}}}}}