{"entities":{"Q4737561":{"pageid":6767141,"ns":120,"title":"Item:Q4737561","lastrevid":41156211,"modified":"2025-04-18T13:28:39Z","type":"item","id":"Q4737561","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2086953"}},"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":"Q4737561$2366E0AA-266F-443E-92ED-5050106FDF7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58bc4ac8e81150975ccda6a2c0257818cdfd0703","datavalue":{"value":"1057.68637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4737561$A7AED3C0-ADCB-4CAA-BEBE-AA509CE7404F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9de0d28a864c754ecb9e938c434f97c28905da9","datavalue":{"value":{"entity-type":"item","numeric-id":878107,"id":"Q878107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737561$5A68EF2D-DFBD-42AA-9540-1052492F741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce792b25e15f1bce917858cdd415f611cd1a183","datavalue":{"value":{"entity-type":"item","numeric-id":878108,"id":"Q878108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737561$0034863D-3BA0-4895-B6B2-51D9C4C954D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737561$B3B45A1C-DF12-47BB-AE02-EBF52F2FF05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47d156a606d9e3811c5a47e986541bf343b6f457","datavalue":{"value":{"entity-type":"item","numeric-id":878109,"id":"Q878109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737561$407AA550-0495-49BA-92DA-EADFE8FF6599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0009aa4dc58ebbe2a53a27211dabb82b46fea01","datavalue":{"value":{"time":"+2004-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4737561$6AF2FF64-1036-4EAC-AA7F-1165947F4022","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"480f1a9db2e7f589ec1602cddff7655b6a01840d","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2335/23350205.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4737561$8F413D29-DF93-47F1-BAC7-A925ABB8605E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4737561$FADCC51A-807B-4BF3-A3EF-CA66E95E63C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4737561$CC3258FF-D613-4C99-B4C1-C14DBA490152","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0050409db6cdaafce9e8144a8a8981576b0dbcb","datavalue":{"value":"2086953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4737561$67247074-AAD6-410D-96E7-C071F84B874D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737561$BB425BD2-F5CF-4FC2-819D-1D633532A275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"339205a1f650e8950d6abdae34ee1e1475bcdf30","datavalue":{"value":"hybrid verification systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737561$F3E9B3A2-7221-4403-AD78-2D1FE9134078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28f0613ac069d717c563bb2b7bb74d41aed6844","datavalue":{"value":"deductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737561$3AECFDF0-E718-400D-B9DA-07E2D0184D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14483b1831905dddc96954298ecaf009afb93bb","datavalue":{"value":"symbolic state enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737561$16116432-851A-4C41-A0F2-35F2D3FEAEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73aae977e4116bd16e9419129138e88bcb08f25d","datavalue":{"value":"usability verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4737561$03A6BCA7-D01C-4D33-BA99-9E2A6DA8F351","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76802187a7905926b2a38ec174758f899e34b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":22347,"id":"Q22347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737561$87E04E8D-0678-4E7E-ACE0-72FB938C3B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4737561$3794F55E-635A-4870-B2DF-F6BE12E3D40E","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":"Q4737561$566BD2D1-2A6C-4549-8CA5-6062D40F8441","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa4b589224a32084bf323fd2c2de3b31d0edd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5394196,"id":"Q5394196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294f14e3c14a71aaf54a5663b70c503018f4bd89","datavalue":{"value":{"amount":"+0.88511515","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":"Q4737561$8DBE57B2-5C1F-44B9-80FF-A43510A536E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320e0547a7166f4c65aa0b6d27f89f2e62a27a87","datavalue":{"value":{"entity-type":"item","numeric-id":4787234,"id":"Q4787234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f302adb144fc24ebb30e774fd04475a961e8c8ce","datavalue":{"value":{"amount":"+0.87796557","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":"Q4737561$0A9D59BA-E11A-433B-96BB-140A2C2EFF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070010e4b7fdaf71499ef128c78bf20cc7c7c2ce","datavalue":{"value":{"entity-type":"item","numeric-id":878110,"id":"Q878110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62bda9cadbd71fff1a3ab6ce9199fbf8167687f","datavalue":{"value":{"amount":"+0.83976805","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":"Q4737561$9CD8A4B6-6D23-4476-BAD9-68906BFC4B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065838285f7852fa1010916b457890c2f6443519","datavalue":{"value":{"entity-type":"item","numeric-id":4948730,"id":"Q4948730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099c0a79c4def1ffe69fe0860ea5c893f8baf1f4","datavalue":{"value":{"amount":"+0.80478007","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":"Q4737561$55F28E8C-1D99-4B8A-82C0-092B20BDF6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d119d47395c0fbef674268e48534c4d80fa4cbed","datavalue":{"value":{"entity-type":"item","numeric-id":2219384,"id":"Q2219384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a080bd2187e5aade476e7d69cf8a40d6c7349fbe","datavalue":{"value":{"amount":"+0.80464876","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":"Q4737561$8F05A5D6-F8D5-497D-9E6C-8B989057FCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b8379fc859456c2c47ec47e963bfac8611a03f","datavalue":{"value":{"entity-type":"item","numeric-id":6113896,"id":"Q6113896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd4f5fe64f4a1de8565d73ecd0b0b87d925ac6a","datavalue":{"value":{"amount":"+0.800648","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":"Q4737561$D008A889-FA51-44A5-BB30-81AA94448E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb26958f5c0e10405af351819310bc700704afb","datavalue":{"value":{"entity-type":"item","numeric-id":2128793,"id":"Q2128793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3790b77ac2bc557ff602f64472623633071dd12e","datavalue":{"value":{"amount":"+0.7986809","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":"Q4737561$71C9A87F-96B8-4329-9E3F-F8EC3D28979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80224f212f3ddc22497a90769871494a9e8b7e81","datavalue":{"value":{"entity-type":"item","numeric-id":315303,"id":"Q315303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d7c77440edf9772d6c46711445f9aa36ed594c","datavalue":{"value":{"amount":"+0.7977286","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":"Q4737561$7A4A416F-0CD9-4296-B7DB-2369F7F789E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12da32bab8d8202a78d05cd7c494c9aee312a8d3","datavalue":{"value":{"entity-type":"item","numeric-id":5394212,"id":"Q5394212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425b7c09e5d2468397d998ddb57680f52272b563","datavalue":{"value":{"amount":"+0.79708815","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":"Q4737561$93D819DA-4818-4DE8-95F9-A8712795E995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4737561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4737561"}}}}}