{"entities":{"Q4028147":{"pageid":6057901,"ns":120,"title":"Item:Q4028147","lastrevid":55212820,"modified":"2026-02-04T21:22:36Z","type":"item","id":"Q4028147","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139813"}},"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":"Q4028147$64772CDB-1334-4C00-9F61-CCE21914CBAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"410f0e17c28e7ff808a1712accd12698c2804f87","datavalue":{"value":"0794.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028147$2918A52E-D30C-4756-A22A-7759EBC16636","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d2e1801e66ca34d701dae93e061ab297b42a451","datavalue":{"value":{"entity-type":"item","numeric-id":1329084,"id":"Q1329084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028147$726F2BC7-26D6-4F17-B931-A2DA3A9467A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd383aaca97b09703d1ce2ffb4cfd8528bacb7fb","datavalue":{"value":{"entity-type":"item","numeric-id":4028146,"id":"Q4028146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028147$636D443B-F0FD-4DAE-932F-AFDD81FBAF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43f869d4397158348ccabb4b4e5b76bad6a54dc","datavalue":{"value":{"entity-type":"item","numeric-id":1329085,"id":"Q1329085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028147$D3A77C75-B851-45FC-BC82-93AE11C43BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e6502b683064efb57f94419a52be7ae617592e8","datavalue":{"value":{"entity-type":"item","numeric-id":1955673,"id":"Q1955673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028147$0CEB48B0-CC49-44A5-A95B-26BF1BB71F9E","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":"Q4028147$A23EDAF1-4D3E-4D59-80BC-9F2688EBAD67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028147$D34A9E4B-CE8A-47FB-8E10-5DD040A08BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028147$C295B3C0-6049-4098-A9A4-BDF9E8A6F76C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c0e236a4103140ea90106879b8c331cb6ba02f8","datavalue":{"value":"139813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028147$36701AD5-187D-458D-B59C-D5FCBC431AE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55c05d90c59db02b185ba7f64de6ac241927b103","datavalue":{"value":"circal-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028147$E8B794D3-C5B9-4E7A-BF0A-282DA0FB1EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be713f08ff8e2132993dc070de28e76b96104559","datavalue":{"value":"circal process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028147$A6998E08-D1B6-4082-AEE6-6361C36F00CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56979eb49917d19ab3b22ed7ec1a58bc9898a766","datavalue":{"value":"automatic verification of digital circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028147$AF70FBB6-F99B-42EA-8887-3B2F355193A1","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":"Q4028147$EB9A01DD-2262-4269-9089-B02E064BCA55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd8c0698470c46bd1ae97fcd495baa6356b030e","datavalue":{"value":{"entity-type":"item","numeric-id":1329086,"id":"Q1329086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59eefded0687c4b5a8a4aafb7a2e00170eb78d63","datavalue":{"value":{"amount":"+0.7903385162353516","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":"Q4028147$31FAECB1-CA67-429B-BB42-372CD95D0F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efb449a1592e378ff6262e61ff43244b399efd3","datavalue":{"value":{"amount":"+0.764910876750946","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":"Q4028147$C86ADB55-FF2F-4A2F-A07F-4D081BB1F7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6882b79013d56774d5b62d9efa037be9974b73d","datavalue":{"value":{"entity-type":"item","numeric-id":5754519,"id":"Q5754519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e8ddb7b022bb36c86881fe430cfa2777ac15e9","datavalue":{"value":{"amount":"+0.7571555972099304","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":"Q4028147$61BD1A62-205A-42F7-AE06-2C02A74F7634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5157753aecd5a49ef54996c672d432a03fdd9b40","datavalue":{"value":{"entity-type":"item","numeric-id":4037399,"id":"Q4037399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5e1eb1aab5ec022e209cce766282f60314129b","datavalue":{"value":{"amount":"+0.7476062178611755","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":"Q4028147$CBD24FC8-0A3C-4462-BE88-2B130365638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b047452839a8f5a216d8c1ed5f42082946c987f0","datavalue":{"value":{"entity-type":"item","numeric-id":4037096,"id":"Q4037096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b05a192b33c4f09944f5691205d52ad4e3c0f3","datavalue":{"value":{"amount":"+0.7437565326690674","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":"Q4028147$3540C6DE-2D60-443B-9DCF-0D460768331A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028147"}}}}}