{"entities":{"Q4028134":{"pageid":6057888,"ns":120,"title":"Item:Q4028134","lastrevid":55212799,"modified":"2026-02-04T21:22:17Z","type":"item","id":"Q4028134","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139806"}},"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":"Q4028134$3B93EA1D-9A91-4151-A85B-BB570B9411C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f2c1038cbb27a64a86b149e67cc7a8273361b98","datavalue":{"value":"0794.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028134$4863B2C2-F1FB-4DAE-89BE-EF0EAE0DC168","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e694b4020f393aa39595b64389396e189680a1","datavalue":{"value":{"entity-type":"item","numeric-id":684391,"id":"Q684391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028134$5846685E-417D-42D4-989C-9D06FE911CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028134$01ACDBAF-95BD-4E8A-BF2F-14A0A021AC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44f67fd3fdac64a65441ea5444d09dcd9755685","datavalue":{"value":{"entity-type":"item","numeric-id":4028133,"id":"Q4028133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028134$E3E8E56A-CE87-4794-8418-F0C7146FD349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f9188adc2414dda32c32b68387b4571464b24a","datavalue":{"value":{"entity-type":"item","numeric-id":1969110,"id":"Q1969110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028134$01F001CB-1CFA-4C82-B145-20996ADE5E5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028134$86EC0404-B77C-4A30-8278-6A0E2B10A4F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028134$9CF6BCEB-65DA-4D7F-9BFB-2CD8EB79E37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028134$6F00C4C8-5513-4BF4-955F-162FFDF6489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028134$FB30A05D-A4E4-4D1B-9740-F78279AF5E40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d6a284f2bb6d8eb069e45e8e0629af106de2ba6","datavalue":{"value":"139806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028134$C5013953-DC94-431F-833F-F6D54D2EE1B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d2ba24feb7d44e1e7aafd5148ff7114bba8380","datavalue":{"value":"computer hardware description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028134$99D657DB-9664-4D55-BA95-C8E519987406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028134$C1540ACE-4271-4202-B738-6B5BEC5B414A","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":"Q4028134$EF3D99F0-C548-4E4F-9C37-BDFDFB9E617F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ceed6864b66cdb52ea36251fef41744f6dc732","datavalue":{"value":{"entity-type":"item","numeric-id":4028154,"id":"Q4028154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335554c1a32067fdcd7bb306976669ce4f9ee9c6","datavalue":{"value":{"amount":"+0.7392259240150452","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":"Q4028134$B66FBC11-14A7-4011-B9E2-63253C5A9EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f137b9d1cc9897b233b70f3cf7ebee3dd6baa73","datavalue":{"value":{"entity-type":"item","numeric-id":3021415,"id":"Q3021415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335554c1a32067fdcd7bb306976669ce4f9ee9c6","datavalue":{"value":{"amount":"+0.7392259240150452","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":"Q4028134$72AF22B7-795F-43C9-B074-FCB5331164E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ab27eed3ac6daaf882aa5761a264cdedcee66a","datavalue":{"value":{"entity-type":"item","numeric-id":4764183,"id":"Q4764183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12359527933444c32d92684ea2fad4953a11b15e","datavalue":{"value":{"amount":"+0.7271274924278259","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":"Q4028134$92255182-DD10-430F-AD89-E8E094D28905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891ae8751f711d6d8c39ee3a07afe57aad179800","datavalue":{"value":{"entity-type":"item","numeric-id":4231169,"id":"Q4231169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12359527933444c32d92684ea2fad4953a11b15e","datavalue":{"value":{"amount":"+0.7271274924278259","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":"Q4028134$1847EF99-C0E8-4176-8C08-CFA3201B904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d93c9b86f36b2a9cf874b5d0f807a960606f8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4002108,"id":"Q4002108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83daa118a9a9bd0cc2a2cd4ca86d8df1190b0ee","datavalue":{"value":{"amount":"+0.7205198407173157","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":"Q4028134$B3A1F636-A178-46CA-8D5C-8D8C17A5E3E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028134"}}}}}