{"entities":{"Q6483271":{"pageid":14061929,"ns":120,"title":"Item:Q6483271","lastrevid":41854331,"modified":"2025-05-09T02:15:55Z","type":"item","id":"Q6483271","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780863"}},"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":"Q6483271$5E72DCF0-B59C-425E-A776-E0554942A7C4","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":"Q6483271$CCCDDD58-4A42-47AF-B495-60213E7EBF68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"478d0017811baa095e982bf03ac9679570bbb04e","datavalue":{"value":"1518.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483271$F10A09C7-3B01-4ABF-B1C3-F670D384C28C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7ba849c1fb4b39ce9a5e7c3d1180639a718a5b2","datavalue":{"value":"10.1007/3-540-60045-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483271$67B24476-A377-46A1-8408-D0253AF0206D","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":"Q6483271$6AA83501-9DE2-446E-BDF5-19FAC07FE18C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"993fc9c82f14e8095667589a94f8558bb2df341f","datavalue":{"value":{"time":"+0001-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6483271$2DB6775B-8238-4D70-BEDE-07E405CD1105","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483271$9080411E-03BD-459D-87DE-C4EA5307DD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483271$D079D9BE-A2E6-4229-A777-63EF0A14311B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483271$85D4002F-9755-4F6A-B7F9-A6ACEE46DCC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"425b636f4bf1c548697d3c631ab4f8c4820ee42b","datavalue":{"value":"780863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483271$A7ED568B-14FD-4FAD-BDF2-B6C6684627A5","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":"Q6483271$E851942C-3970-46C5-96A4-BB25A107EA22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"293b5016265e6e5d0319e79c1551230e215594cc","datavalue":{"value":"Q57392146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6483271$B2DD90CA-80FE-4004-969F-2C7D2216DC59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae6642945b855d11d1670e5fb9c7c13db63285e","datavalue":{"value":{"entity-type":"item","numeric-id":2382030,"id":"Q2382030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f6a16185f40a1074356841904abcda03b409cb","datavalue":{"value":{"amount":"+0.92038053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$BA9DD68F-0F76-45A0-9482-44ED8A82852A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139fe175cc7ca7466e5a3b0ad12a4827fbfd465c","datavalue":{"value":{"entity-type":"item","numeric-id":1414908,"id":"Q1414908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db32848b59c8c1cc28c0c39f730f81cae684d2e9","datavalue":{"value":{"amount":"+0.91414744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$C5110AD2-BE8B-4A90-A70F-242F4AA1E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4835b88654529020da6ca108ec4f52c41a11034c","datavalue":{"value":{"entity-type":"item","numeric-id":6070478,"id":"Q6070478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042fe15849c8e89e326d2020669eadbb688146b6","datavalue":{"value":{"amount":"+0.9126544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$7E396CB1-5FAC-4204-A495-F7A553EC742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcefcf4e60eb8a13c6179f332d10bbe67ce444a","datavalue":{"value":{"entity-type":"item","numeric-id":1309679,"id":"Q1309679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccbfe62b0d3691910013a76e692c6bbfcfced03","datavalue":{"value":{"amount":"+0.9109458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$D4A403BD-4E44-4EA4-9CEC-679F838E1419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8c5f21efaf52ba3879b2b5d671a65167f7c4bf","datavalue":{"value":{"entity-type":"item","numeric-id":2577437,"id":"Q2577437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df592c1dba47a0c40d40db592a6f0fc6546cb942","datavalue":{"value":{"amount":"+0.9105053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$236DC5FD-C892-4AF9-A9D4-3605B73677DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2e7e95a3854a9d8c4f3e3a5588cc27239d447a","datavalue":{"value":{"entity-type":"item","numeric-id":1613688,"id":"Q1613688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7453f5af750984dba409fdce9bbc23fbf785f852","datavalue":{"value":{"amount":"+0.9078013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$26241C6A-1748-4E9D-930B-CD55091143A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41e366d3ad886d4173c1bb1234cdab4a1bfa74b","datavalue":{"value":{"entity-type":"item","numeric-id":1295980,"id":"Q1295980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6226025f464c44efa6d58c6e8bf47c7a71e0ffa","datavalue":{"value":{"amount":"+0.90199053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$3A153974-3FF5-4D1C-B823-C2D16D3BCFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3768598953daf6cc87786263adc6e2059db326","datavalue":{"value":{"entity-type":"item","numeric-id":5943776,"id":"Q5943776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d99824052e71264f2592183271fe8e14c8cce19","datavalue":{"value":{"amount":"+0.900495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$79EE872D-F11D-4A9A-A98A-9557E2784D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ff9eaa72b39fac585af6205bd23b5f9b30a312","datavalue":{"value":{"entity-type":"item","numeric-id":6111180,"id":"Q6111180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd27d9ac623657d4bb42acd077e9f76ac47dd16e","datavalue":{"value":{"amount":"+0.8985765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$019660FB-7CED-4CAB-AA54-D77CD1BB3258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24d3f257dedd7fbed957d7cda3adde78bc7ba05","datavalue":{"value":{"entity-type":"item","numeric-id":2364105,"id":"Q2364105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0eeae8f1cc444614fc77f9b32c5a9a471c3aa10","datavalue":{"value":{"amount":"+0.8979918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6483271$1C9F399D-FBD6-427B-A09C-E7967A5AA2DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6483271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6483271"}}}}}