{"entities":{"Q5312929":{"pageid":7342503,"ns":120,"title":"Item:Q5312929","lastrevid":48537835,"modified":"2026-01-05T03:44:34Z","type":"item","id":"Q5312929","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199314"}},"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":"Q5312929$45D3ED1F-45C0-42CD-9E08-612659F19A7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5312929$031DE8BA-AB7E-4E37-873A-611722F245E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff75dec038fafbf99bdc0b413773f784426c95e0","datavalue":{"value":"1103.68632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312929$9B85E920-4A97-4A31-B86C-7670BC08BBEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2db252597968cc1e927063ec0ffd755fc06e442","datavalue":{"value":{"entity-type":"item","numeric-id":5312928,"id":"Q5312928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312929$5706FF4B-A9E9-4331-8230-DF86B4DFDBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e074a04d9e364347fa4097bd22bfc89ab77a56","datavalue":{"value":{"entity-type":"item","numeric-id":4520892,"id":"Q4520892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312929$E3A199FF-A9BD-4D00-8366-730CF51E38F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312929$640C8B25-436D-4C7F-982D-8E8ED5797840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5312929$69C6D569-D919-4DC2-B575-3B9F601E37C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312929$3D51C3A4-04FF-482E-B982-8028A91D981E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"358268599801f35b0cb4d1c75a70999d1ba80187","datavalue":{"value":"2199314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312929$1E7C9049-5864-424F-A01A-04E091748499","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a7eb1a4d4c038a38e219b5109e744ab008e21","datavalue":{"value":"state-charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312929$88A3DF08-B1DA-478E-AECF-42E0AC8402C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312929$23D06F6D-9D82-48A5-B36D-F27459910FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312929$48B86FF0-C521-4940-8854-E968D923CA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"086bc2f71118df78eed709ca38944ceea2735675","datavalue":{"value":"Stateflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312929$AE86255F-5DF4-4F39-98B1-714DA2FC8F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb8e4454b897e5d2626bab3ddf5c7ece558c11d","datavalue":{"value":"Spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312929$32F0AB6D-066B-4146-818F-EAAF0E748FFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312929$3C1B30A8-AD39-414E-9C43-4C48B3CA29AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312929$0BCC9A75-1E90-4499-B0C6-127A99193976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f65aac0b6bc71a8a98982bfadba0838015f6eb2","datavalue":{"value":{"entity-type":"item","numeric-id":14482,"id":"Q14482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312929$9BB7FA5A-4281-43E7-B7A0-04A7651AB460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312929$B14AA06A-2D3C-484E-BE65-538CB9E9F091","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":"Q5312929$C3FAF606-2343-4C50-BEA1-7DDFDDD266AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc85b80a186ab9851fed94472e07b18c0eda8535","datavalue":{"value":"https://doi.org/10.1007/b98490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5312929$B275EA71-9E7E-453B-85C6-A555D91F9CB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312929$FD1C9D66-911B-42BA-8C82-92873932158F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312929$8893DD71-9D7F-4BFC-9831-9402DDB53CB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a420ae87f276c52590d6dcae2e7787d9cd4fddf","datavalue":{"value":{"amount":"+0.714793860912323","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":"Q5312929$A81465F2-35B9-40DE-B605-C949CAA182CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5833252cb44bf547b05711ad6d2ed51de789a07","datavalue":{"value":{"entity-type":"item","numeric-id":5452713,"id":"Q5452713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2811682e78da314cc2cfa53c9ba47ef02bcbfaa4","datavalue":{"value":{"amount":"+0.7147934436798096","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":"Q5312929$2775135E-AD97-4118-8562-7CD7AE2C8F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdd270a57376ae9ef096e288c5d674fe1fd9620","datavalue":{"value":{"entity-type":"item","numeric-id":457250,"id":"Q457250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d323b35d6a178d4b40202ca0cb64c074e2ac7e","datavalue":{"value":{"amount":"+0.7045366168022156","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":"Q5312929$4159C15F-A1F7-4F14-BDCF-1590C8DFBF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7222831c4571623d446b4714075acdbe28a730d9","datavalue":{"value":{"entity-type":"item","numeric-id":4520893,"id":"Q4520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5de9104dd3955f5c77970771df41aec5e15989","datavalue":{"value":{"amount":"+0.6918339729309082","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":"Q5312929$AE28AD30-40CC-49FA-9472-40CB8C71CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6224010e4277d90a50d38be7e4387a9f0c9c37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1865858,"id":"Q1865858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5de9104dd3955f5c77970771df41aec5e15989","datavalue":{"value":{"amount":"+0.6918339729309082","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":"Q5312929$1972E69D-B4A7-415D-A205-49367C9FF1F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312929"}}}}}