{"entities":{"Q4873997":{"pageid":6903576,"ns":120,"title":"Item:Q4873997","lastrevid":41249182,"modified":"2025-04-24T10:48:22Z","type":"item","id":"Q4873997","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 868111"}},"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":"Q4873997$1460E24F-9D2B-441B-90D7-9D0BB4BDD8C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"123be08599720b821c49611ec3d140d6763ff3fa","datavalue":{"value":"0844.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873997$99D2B5DB-2EAE-4756-9292-85BF6E22268B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873997$44F884B8-EA9C-4F53-A2A2-232BDE663340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b6398977f19d3fbbadc0234cae6d8c44a315b","datavalue":{"value":{"entity-type":"item","numeric-id":1172383,"id":"Q1172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873997$3551CABC-0B12-478F-A18D-BB6EBAAE2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6000eba429646723f468af5ecafdda96223b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4873996,"id":"Q4873996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873997$A35B7355-8B1D-47A5-8761-BEEE418BAF9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89fdb20fc1a2b5ceeb9dcc49fa7f6c38658112a5","datavalue":{"value":{"time":"+1996-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4873997$BBD4E529-3B2A-4BFC-9902-1D0A5BE79F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873997$91D25D21-A5BC-48A0-9A0E-3DF4890E7C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873997$D1AE45D6-BE95-4AA1-BB20-41A395BB1A35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03ded15cb452472fba1f1bf6c0e93f60dfc97fa6","datavalue":{"value":"868111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873997$5DCDA6D5-9807-4AD6-9485-DA8CDBDFED18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9f554d6255522fb5c4ee1fe2f2ea91ca053540","datavalue":{"value":"formal verification environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873997$7BB53AFA-CB28-4A94-8CCF-509424FA0F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce8456807fee050c0285ed7f96877fcbf74da80","datavalue":{"value":"compositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873997$3E77D917-683E-4221-88B5-391C99FDE7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9777bed6740c24a0d1efe15f31bfac0be72d2d17","datavalue":{"value":"VHDL designs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873997$AECFED64-E0FB-403F-B2F0-DDD05D7714C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873997$987E558B-C958-4A16-B1F8-CF90F59443CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9d98cd6fe8b5d5dd6b234efad298fe3f54a4c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":14658,"id":"Q14658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873997$3D3A207D-C354-4AA3-9635-D11031115650","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":"Q4873997$C9C8A2A5-D92D-49F1-BEA3-75482B7856AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d798b6030985ecacc44214169e8a5323be12b120","datavalue":{"value":{"entity-type":"item","numeric-id":4023571,"id":"Q4023571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7838cc559cf0b2747aa959ac5589568542b9879d","datavalue":{"value":{"amount":"+0.89941007","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":"Q4873997$3DB1933C-1506-4A64-9922-B42F227E9729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b5fb1ac705bcbf43702dda4411e6bdab04ea2f","datavalue":{"value":{"entity-type":"item","numeric-id":4375384,"id":"Q4375384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1133ddbbb640360e1eb275dd9cbb9308cac93ac0","datavalue":{"value":{"amount":"+0.889451","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":"Q4873997$D6A6C72D-E09B-40DD-BAE0-18856AE5763C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bf956b8b56f9371aa645fcd4dcde9a6e27d197","datavalue":{"value":{"entity-type":"item","numeric-id":4873998,"id":"Q4873998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4302e71bfebfacda941f17b59a6be1e7a651be9e","datavalue":{"value":{"amount":"+0.88529587","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":"Q4873997$C51E7223-17C4-4BEE-BC0B-86F06A51F60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c8dedac3f874b6021a90fe102a579c93831ceb","datavalue":{"value":{"entity-type":"item","numeric-id":5491854,"id":"Q5491854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ece29397f5e9cff08aec295602edf5a093e3452","datavalue":{"value":{"amount":"+0.8763857","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":"Q4873997$F9A80787-1E15-4B53-8101-140F4792CD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6a3fd32f4d2ae4b5e4e990cf61326b035a9fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4003826,"id":"Q4003826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec25fe0d9ca5ee4c832a43a477786b6feda16d02","datavalue":{"value":{"amount":"+0.8755072","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":"Q4873997$9595D663-879B-4F66-AC4C-B58C0EEC1190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fade4abc577b834ce86cb5f3b59fab35fa2ff84d","datavalue":{"value":{"entity-type":"item","numeric-id":5493250,"id":"Q5493250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581d2788fdca9a6dc90e2eef349c5b6c443f10e0","datavalue":{"value":{"amount":"+0.87407136","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":"Q4873997$611808C6-33F4-4689-B0D7-368F4FBDA67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c4cfe323ccf2c59fdef066e748436dfe0e42e8","datavalue":{"value":{"entity-type":"item","numeric-id":6113900,"id":"Q6113900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e6feac579fdf8d1434d73889f66004a621b202","datavalue":{"value":{"amount":"+0.8740133","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":"Q4873997$CC5E3EED-6CCA-47ED-8BA9-814C20D17DDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4873997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4873997"}}}}}