{"entities":{"Q5096392":{"pageid":7125968,"ns":120,"title":"Item:Q5096392","lastrevid":36842250,"modified":"2024-07-29T20:20:10Z","type":"item","id":"Q5096392","labels":{"en":{"language":"en","value":"Verification in continuous time by discrete reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572217"}},"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":"Q5096392$F17ED4AC-4630-4394-8A7C-A72E090FC5EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cd8fa3b3fbafaefe7206eb4222ee21063cc3cde","datavalue":{"value":{"text":"Verification in continuous time by discrete reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096392$ADE8E989-D0C4-4656-A601-975F66D87789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"441a9a709536e13c1ed637d176abb464440baf37","datavalue":{"value":"1496.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096392$5FE152E5-2C70-4D4B-86CF-F1E8610BA327","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5c39aea96f907057be3c86c41fb95653162aaf1","datavalue":{"value":"10.1007/3-540-60043-4_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096392$CC040A61-2F52-45EF-ABCA-E7FBFAE3FA25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70be23dc5fb433f8d91892189cdd2f4aa499b284","datavalue":{"value":{"entity-type":"item","numeric-id":355504,"id":"Q355504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$06A8933C-9CEE-473B-AD08-44C83E6261E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$D168C8D8-863A-470B-A837-6AE330CED8A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$A1B75103-E7B1-4604-A2DB-35625C8F9430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096392$08D0FDD4-FA95-4004-B040-441CF7D15D2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096392$91DBDB31-7F8B-489D-9F88-14A86E433A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096392$B0F7290A-3C9C-41D2-844B-C44E2FB9E731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096392$21E6AC8F-68D5-4773-A49D-2A120533B45E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d6e661aae198e81ce4a0ab0aeb319867dcfcaac","datavalue":{"value":"7572217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096392$128C1788-F9B2-412D-BDAD-C35A7EEC5495","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":"Q5096392$16FA7D03-A493-4063-89ED-A313FB9FB9BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b20486a2b93983a1fbc9f8b34c4259b28ddc951","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096392$20C321D0-B74F-44E6-90B8-82D7408E8E6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4160f17597296c946cddecbea008a0e29b70d0e7","datavalue":{"value":"W1544022704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096392$CF911F6F-7DC3-494C-9763-10CC3EF9A58C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c01797238679efe6e5fb4fb6f8074de29bf54dd","datavalue":{"value":{"entity-type":"item","numeric-id":5255815,"id":"Q5255815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$8447374B-5515-4EE9-8F65-6245D4D00C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea1d8a229c54b15541be0fbaacfaaec5d75bf76","datavalue":{"value":{"entity-type":"item","numeric-id":1148308,"id":"Q1148308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$925A8F39-2A33-459E-90A9-62D5EE3A9846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$0C942475-9B84-4CFB-9463-C6EA458D9FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$48584C26-4D3E-48EF-993A-7A29FB7F212A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062de6d59242e677221752cacb7611c297bffc82","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$F3DA56FC-85EF-4006-B242-034243C9839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$A6CF2F0C-AEDB-458D-86B0-2E2E92A3C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$2ECC1CBB-81C2-411E-80E8-44283AD9DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$A5F1BD91-F865-4316-AE53-6D16A78E2EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096392$E1E798BB-D766-4867-B09A-D11F6816CFA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096392"}}}}}