{"entities":{"Q4028158":{"pageid":6057912,"ns":120,"title":"Item:Q4028158","lastrevid":55216447,"modified":"2026-02-04T22:27:09Z","type":"item","id":"Q4028158","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139822"}},"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":"Q4028158$04239A93-A267-4A42-A621-BD2CD4B6B744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a43bd6c48563b47a1cf2574550c2e79b95deb077","datavalue":{"value":"0794.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028158$11A355F7-A81C-40FE-B0F1-A5DE2365037A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aa17981f276c0b5a86490e2ba3cdfcad204bd93","datavalue":{"value":{"entity-type":"item","numeric-id":685097,"id":"Q685097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028158$6109FB5F-4BA3-4B86-A389-C375C9E5CD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8b1b61b0b437d6da9db1d684027c432553bc6aa","datavalue":{"value":{"entity-type":"item","numeric-id":241204,"id":"Q241204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028158$3497C0A1-FC62-4319-9F68-E23DEA3F5B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ee2e7c7ea9e080a6f85f3336868923bca842c5","datavalue":{"value":{"entity-type":"item","numeric-id":1334897,"id":"Q1334897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028158$E51A532A-6B3D-444D-93CD-A26DB5ADA9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7fbdac99fd62220c64faf875a8ba0c9136eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":836397,"id":"Q836397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028158$060EE9C4-41CF-455B-A517-FFD26E85FB6C","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":"Q4028158$8ADDF6AD-7069-4094-8072-C5257F12B2A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028158$A2451390-511A-4EF0-A014-3D4F595E4A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028158$962FD953-436E-47BE-8BE5-7DCD0411693C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cde9339ecded45763c0be8bf881c042479b8d192","datavalue":{"value":"139822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028158$FC55373F-E2D7-465E-910A-854A5AF91E85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"708de59db0f6f98978ed0d571a918fd01e294bef","datavalue":{"value":"CATHEDRAL silicon compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028158$60C3904B-B56F-484C-B209-4EA1A1CE9724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80cd37693f0ba90721bd4c845a57a1661a7bb15","datavalue":{"value":"reliable complex circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028158$BA711437-4104-45EE-9B5D-86A4CD15FC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028158$99BFE2C7-D9AE-4FA4-9E31-A3A515FC340C","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":"Q4028158$49DB29CA-8E5D-4E49-8931-CE54A45B7560","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe1a39d1cf757713a218f0e2aca1d8d05e81ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece2099676339b1585077dcf9f71892edb7d70ac","datavalue":{"value":{"amount":"+0.7904976010322571","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":"Q4028158$8FE6AEB2-1E5B-4433-A114-8C2B10F96CCC","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":"b90a65d61c0bd0b493350d5b2ca4da569e5014a4","datavalue":{"value":{"amount":"+0.7881910800933838","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":"Q4028158$1966D486-C7B7-42B1-90B6-2344DA762939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71537978e6eba52208eaf0885350004f62bf6048","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c17c2ca4ac4b3a66f0f039855777cda4c58d5fb","datavalue":{"value":{"amount":"+0.7855919003486633","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":"Q4028158$27A2F2C2-34BF-4B66-AE4D-C77FE5EE5DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95534a651efba3d65a2767b50c89b962d50b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3021914,"id":"Q3021914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c009dde1bf90f9265347c01545302903d6d28d","datavalue":{"value":{"amount":"+0.7792612910270691","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":"Q4028158$442E63A5-865D-4C54-AE19-E34F3862436D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8162a59b8a13ef31c7b2c2cfc782b60b654f3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4503919,"id":"Q4503919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dc50c5f79f45814fb965ff533b5fbfd732fe48","datavalue":{"value":{"amount":"+0.7744947075843811","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":"Q4028158$F5D336B1-B677-484A-B0C5-3F6022003A7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028158"}}}}}