{"entities":{"Q739623":{"pageid":741472,"ns":120,"title":"Item:Q739623","lastrevid":63976680,"modified":"2026-04-11T16:48:53Z","type":"item","id":"Q739623","labels":{"en":{"language":"en","value":"Automated verification of programs and Web systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618148"}},"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":"Q739623$3887A41B-1B1B-41BF-85B5-8B8DB2C6A4D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1448ba71631aa910b4fbf4d2c64b7c93518ea136","datavalue":{"value":{"text":"Automated verification of programs and Web systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q739623$A7C525DE-82DD-444E-B0BB-8CD21C4BC3BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd1a7efa56df05832293861c51aae0e6d9c64a29","datavalue":{"value":"1349.00289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739623$490BF3F7-693A-40ED-8EA3-1C5086F6268B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739623$C9033015-26EC-4C55-B988-37385A826C1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"706da6f12e9daca9da0b5659a31fd3aa9be7fde4","datavalue":{"value":{"time":"+2016-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q739623$8EFA56FE-5672-42C0-A965-5CFEADD9A3D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739623$61AE7CB1-E807-413A-BE9B-879CD4EB6227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739623$B7C9B235-50C5-40E4-905F-580EAB5CB2D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89ee5a6844525d92d12e9731f7b1c2df6798948d","datavalue":{"value":"6618148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739623$106B4C92-B974-4B08-93D6-09F15A43C955","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":"Q739623$C1C9FFE6-9EF5-4DC8-A605-AB15150FF718","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a10b3eb80b9250510b907d0f10f4c0a1181d71dd","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q739623$D2728110-0F4B-45CE-951F-095596AB7518","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d717fe1473dd02c7af8d6acdbe1afe3007837cc","datavalue":{"value":"W2471478603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739623$7C265E2A-26B3-4152-87BB-3615819AC91F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a7f6b757c96c3bb6845e2a93bcc1ae6ad07f9c3","datavalue":{"value":"10.1016/J.JLAMP.2016.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739623$FE79F4CF-5187-40BD-89F5-4499ED44B39A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1364ee812c45aab46c9f1683ca593bae1e35bf","datavalue":{"value":{"entity-type":"item","numeric-id":511928,"id":"Q511928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7581102ccaaa9e24e9e25ab1a0c19235bdffb01","datavalue":{"value":{"amount":"+0.9091647863388062","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":"Q739623$3AE5BE04-94B6-4157-A76B-3FF5136D38F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56828a3c1a9f6904716434dffabd32743f682716","datavalue":{"value":{"entity-type":"item","numeric-id":2436506,"id":"Q2436506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339a4591fb2ba60341d8cfbb880e92def3a3ed3e","datavalue":{"value":{"amount":"+0.861724317073822","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":"Q739623$91E64894-D723-4C44-88D7-88F30B1B6141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf32bd9ac4d3aa70dd0d422e8fab9e993ebd3f4c","datavalue":{"value":{"entity-type":"item","numeric-id":2348795,"id":"Q2348795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d15d39d82e7e3034fb5f0e3282b8d5fb98d48ac","datavalue":{"value":{"amount":"+0.8604092001914978","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":"Q739623$E42ACB02-9F48-4607-8A39-7B241D39FF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43902adb401182aca723e6526864a577b90e011a","datavalue":{"value":{"entity-type":"item","numeric-id":5082012,"id":"Q5082012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c45a86fb918cc54c588f1a4009014b74a3e6051","datavalue":{"value":{"amount":"+0.7348689436912537","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":"Q739623$CF77ED1B-94D1-4F68-8DA2-A84366D60C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcbcda730900a8e54233398cc7adc457478d011","datavalue":{"value":{"entity-type":"item","numeric-id":5965538,"id":"Q5965538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade4ed897f73f9f036b82a612c5e2d63de57d2bb","datavalue":{"value":{"amount":"+0.7273314595222473","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":"Q739623$DDFEC7F5-0A8E-4437-9002-1AE95FD6918C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of programs and Web systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_programs_and_Web_systems"}}}}}