{"entities":{"Q5312910":{"pageid":7342484,"ns":120,"title":"Item:Q5312910","lastrevid":41196446,"modified":"2025-04-18T23:22:44Z","type":"item","id":"Q5312910","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199300"}},"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":"Q5312910$EA8DA41D-7ED8-41FE-9F57-721F5C3400E5","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":"Q5312910$A81C6106-A3EE-4B1D-A663-DD4CEC2E85D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"731ef42e7164fbbe114798819195b04e75441af3","datavalue":{"value":"1103.68606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312910$45F970BA-0544-4133-B794-86892DA8DB44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aa8fd9d95c405c3a22805eb4497c524afe8a64d","datavalue":{"value":{"entity-type":"item","numeric-id":3552048,"id":"Q3552048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312910$0BD1636C-B2F3-4AF2-AA0D-9F1665193E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312910$EEFED2A0-8BE6-4C6D-842C-5F3A5380E735","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":"Q5312910$8F5B03D6-3E7E-4190-B925-67950D90997B","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":"Q5312910$CA8A37C6-ACE6-480D-8526-C4A8C494BED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312910$77C81770-C473-4150-B0B8-F2A45552D32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312910$10F0CD1F-10FD-4F05-8969-FF1B3FC94300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92e31ed6628ec7b436ab571c6af38dfabc2fb356","datavalue":{"value":"2199300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312910$580C3820-E21A-4F23-9250-CF1C10FDF8A0","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":"Q5312910$42B3DAB1-1467-4817-9916-2B76A3C47B69","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":"Q5312910$C12D4077-92B9-420E-AF6B-1D3525C2AD2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312910$CE42239A-20F3-4D9C-B230-5F874B3A555E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312910$A3394DA6-5941-49FC-986C-887E33FFFBDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3025c025499adae7888220431c6750df6393a448","datavalue":{"value":{"entity-type":"item","numeric-id":5207047,"id":"Q5207047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968f91cbd88bdb11932700ffb145ee22bb971c21","datavalue":{"value":{"amount":"+0.86373675","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":"Q5312910$EC504C2D-2B10-4084-BDF3-2A96731A47A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc05c4cbe53dd28c645efe8354a04489f8e4ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1382882,"id":"Q1382882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8de553edfb2b89d904b9b2d86b784f24fd22727","datavalue":{"value":{"amount":"+0.861307","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":"Q5312910$DFA0BBF9-ECD5-4CBB-9CC6-D0C5F3E461C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82150998bb96a1c10c1758eecb012e2d3e7ff31","datavalue":{"value":{"entity-type":"item","numeric-id":4219027,"id":"Q4219027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cd74bd2a736396aecb48b289ac2ce4aa0fe0a6","datavalue":{"value":{"amount":"+0.8533534","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":"Q5312910$2AAC352E-8F2E-43C6-B6A0-40DF47EA618E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99aa7d1a0f8fcb57a67d127e6625007e547be851","datavalue":{"value":{"entity-type":"item","numeric-id":3304146,"id":"Q3304146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7410ca0bd6604253f8f857f330890db397fd4aa","datavalue":{"value":{"amount":"+0.8522548","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":"Q5312910$CB073EBC-933E-4487-A099-0920EF839628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3acd8d4775aeac7a48a3cc92647fc2cf1b4da32","datavalue":{"value":{"entity-type":"item","numeric-id":4365017,"id":"Q4365017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d90cbd564d93a93e9a53f5302c51e2f3d768d1","datavalue":{"value":{"amount":"+0.8513169","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":"Q5312910$FD7831DA-FD03-4440-9B13-8D4A9E664E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0375720777c06e9a87a53498186510deeb2d5abf","datavalue":{"value":{"entity-type":"item","numeric-id":782555,"id":"Q782555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12553e09e7c9fef051032b4926f6288a2a440637","datavalue":{"value":{"amount":"+0.8481119","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":"Q5312910$BB03AF98-B72B-4A69-9B3B-AD8619F02170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9148aa57cd6268abae53070ee84cd6aa2b5201","datavalue":{"value":{"entity-type":"item","numeric-id":5309677,"id":"Q5309677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf64181d62beaa2fea00ccbc7f386192af1f4b1","datavalue":{"value":{"amount":"+0.8480551","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":"Q5312910$AFCBBD39-CA1A-4CF3-BB5D-52D5A617F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5899c60553304bd15734365d61320ed34f78511e","datavalue":{"value":{"entity-type":"item","numeric-id":2244820,"id":"Q2244820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc91604fd3075771006fc4f4730fce85991ce4f","datavalue":{"value":{"amount":"+0.8460243","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":"Q5312910$1F618A65-EE57-4FD5-9E29-5F08E5CD8248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0485ac5bf294df1988b8c15412e14847f35605e1","datavalue":{"value":{"entity-type":"item","numeric-id":2074204,"id":"Q2074204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6d38ee9dd8faf0f29d84170534879089269130","datavalue":{"value":{"amount":"+0.8452879","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":"Q5312910$CFD3ADF6-D4E2-48A9-A798-73CE15315F90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312910"}}}}}