{"entities":{"Q4028373":{"pageid":6058127,"ns":120,"title":"Item:Q4028373","lastrevid":55215487,"modified":"2026-02-04T22:10:02Z","type":"item","id":"Q4028373","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 140008"}},"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":"Q4028373$FD3C93BE-A14F-4F6A-84F8-E16ED1AFB51B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e05c3cf6e39bdaeaaf097755110e9f52e0a30826","datavalue":{"value":"0766.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028373$1AB55214-8963-43BD-ACF2-06313B495440","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f07fff8d424e2666b3152457e585af83b05bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1409694,"id":"Q1409694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028373$55B49DF0-8665-4FB9-A855-132733E8BF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028373$A9868D18-85A2-4DFE-8DA2-4714883727E9","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":"Q4028373$C391A261-B9B8-47A5-ADB0-B17BB4C353A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028373$342D3FEE-A419-49D1-83BF-6AFEB9ADA98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028373$8A490C92-793B-4979-9729-AA0A210AFFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028373$D8C06BAD-6641-49BF-AD6B-532946F65424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70bc6bf020df37daddcb5dfedacec0ccd46bb87d","datavalue":{"value":"140008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028373$90BCEA83-8470-47AA-A03A-2927ACD64532","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb59950fe35ad3f3faff9266cf42f38121deea95","datavalue":{"value":"reasoning about specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028373$AA303572-7064-4B84-A640-EA465ECCF71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028373$BCCB788D-3B8D-4C4A-9B08-3D11254C8D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028373$19E31CCC-4840-4D19-8812-83389ED51F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028373$E5FC867C-6683-449D-B43B-E9488CD6AC07","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":"Q4028373$4CF784E7-8F15-4523-BF7D-7C088483A3C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1783853632f9745006cbf567077c11a2f58c3648","datavalue":{"value":{"entity-type":"item","numeric-id":1097045,"id":"Q1097045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fe7c1662dd23bb036d82b577a161edb2ccf39b","datavalue":{"value":{"amount":"+0.7825108170509338","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":"Q4028373$FA230C52-DD24-43F1-934D-A032F9E96F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7782e860e576fbbeaca590a3e6bfd8aff3c354","datavalue":{"value":{"amount":"+0.7754272222518921","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":"Q4028373$71D2CE37-1D23-42EC-B7A5-226C1312CA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cb5cd464b164ea1acb873ebe4a85f44b92d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":912589,"id":"Q912589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716119a761c4f96283ba1a89c79675ce21a86937","datavalue":{"value":{"amount":"+0.7731301784515381","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":"Q4028373$C362D27E-D38D-4066-8D4C-07748B2E0A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803440e0a5d49c8240e6d385608a9346914ef6ca","datavalue":{"value":{"entity-type":"item","numeric-id":3512649,"id":"Q3512649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a23f87997e8c939821ed78d06b92c593afd147","datavalue":{"value":{"amount":"+0.7654722332954407","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":"Q4028373$08983065-8562-405A-8E06-45C55BA94DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafebfd5e58bb74a87b62c1042cc11c64f5d7479","datavalue":{"value":{"entity-type":"item","numeric-id":5096234,"id":"Q5096234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9842e6830936a60532ab9b5bcb506b693a1fd14","datavalue":{"value":{"amount":"+0.7651562094688416","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":"Q4028373$94D0D8CF-A9F6-4F60-BF50-BACA181698BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028373"}}}}}