{"entities":{"Q5716588":{"pageid":7746142,"ns":120,"title":"Item:Q5716588","lastrevid":48627751,"modified":"2026-01-05T10:44:05Z","type":"item","id":"Q5716588","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245535"}},"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":"Q5716588$C119481F-D9AE-43DD-A31E-9A9E5AFE3082","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":"Q5716588$B2B6F9F8-3125-4322-B527-9B0EAC030301","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"865edcf3609df71cafbf02e73f21982da1e98da2","datavalue":{"value":"1081.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716588$A8F52C8A-12C5-4EA0-AB7D-B2C45145ADBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"695f38489b2c9853ab30f7f1d4b376848dfbe8ff","datavalue":{"value":{"entity-type":"item","numeric-id":3522061,"id":"Q3522061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716588$9921A783-0FBC-4DA1-86D3-1C839AC86EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716588$3351B375-5221-47D3-AE6A-CDCE02B0FBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716588$95B484FA-6D70-4E1F-8909-793C61BB9B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"595e88d3f59e5b7f0c936da721a5fe50d971548a","datavalue":{"value":{"entity-type":"item","numeric-id":988179,"id":"Q988179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716588$BBCA3CD0-DDD6-4CDB-8A39-D08431B6B626","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":"Q5716588$01B4DAD2-C133-4130-9DA6-635639C9D3F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-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":"Q5716588$56DC1076-BFEC-4405-B908-BBAEDFE589A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716588$8BFD5AE6-DC5E-4376-BF11-4FD86BCA8B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716588$5DC06D7C-7019-46C8-960F-FA36EAA51633","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83639685afb2b9b6e68d2e4c774fd62ebda0194c","datavalue":{"value":"2245535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716588$628CE25F-0351-44B8-AD17-3D43CAD09938","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716588$77DE3623-4AF6-4340-BB89-2856B5080623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4a576df40a56f4caeac99704b4faac3f837354c","datavalue":{"value":{"entity-type":"item","numeric-id":22086,"id":"Q22086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716588$D847FE6E-313A-4F45-8569-27DE1174E1B0","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":"Q5716588$B46A1AB1-8522-4FD7-8072-C5C4E6A04D60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59192cc2deb09ff7c49a493186135c31d5f4ad9c","datavalue":{"value":"https://doi.org/10.1007/b138445","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716588$EF8A57D2-F168-4BFA-BDF3-EB4D4EB220BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716588$73FAC0AE-79A9-4485-A6AE-D63EE77264FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716588$2B14855B-3C25-4EC2-BABD-599C82D14DB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08816a471cebb41338e13307a9b4e832850c8524","datavalue":{"value":{"entity-type":"item","numeric-id":3297840,"id":"Q3297840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebcd70046b140e5da0ee118f625f1c34fcc7b0a","datavalue":{"value":{"amount":"+0.8047466278076172","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":"Q5716588$933E037E-F4D3-45FA-A482-5A8A6D042C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737af5fba131f53c1e13c5c1fa7b1f2a8e01758e","datavalue":{"value":{"entity-type":"item","numeric-id":5030198,"id":"Q5030198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117203a34fcec67f3cd206f60da3cdd055be4155","datavalue":{"value":{"amount":"+0.7743611335754395","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":"Q5716588$761A4712-B29A-4063-9BA4-657A983C0CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564e1489a415ea1a268d39b47824769ff0ad398f","datavalue":{"value":{"entity-type":"item","numeric-id":4957220,"id":"Q4957220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506768a3f7fa6e18adfd5a5302834b98f0d8c0f2","datavalue":{"value":{"amount":"+0.7617712616920471","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":"Q5716588$1C265C5F-BCC3-4E17-B783-5035A954EAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177b538a3a7659fa7512d41cc5932fc622e3bb2c","datavalue":{"value":{"entity-type":"item","numeric-id":2346994,"id":"Q2346994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07e24ab5365970eb5431acf6745155cebddc350","datavalue":{"value":{"amount":"+0.7540403008460999","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":"Q5716588$ADA39D4F-7786-4FF7-96CA-E4FBC898CBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3321e158806c8823c4772ce6eafa430d45ff824","datavalue":{"value":{"entity-type":"item","numeric-id":5930949,"id":"Q5930949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d43a173637cc7b2571b5da3dd95ffcbd68c7d5b","datavalue":{"value":{"amount":"+0.74847012758255","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":"Q5716588$6D5E0B0C-C1CD-48AE-BF48-EB5737C7BD21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716588"}}}}}