{"entities":{"Q4028347":{"pageid":6058101,"ns":120,"title":"Item:Q4028347","lastrevid":55215427,"modified":"2026-02-04T22:09:11Z","type":"item","id":"Q4028347","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139988"}},"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":"Q4028347$19119AE1-BA97-46D7-AD1B-888071E3E960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eac9eb82109911ba2d258c043261e5f2261677c","datavalue":{"value":"0760.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028347$13CF04E4-34FF-4816-9D77-D25D8B5B3AA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47542fa9a0e1b438bf09df337630852f2401c5c6","datavalue":{"value":{"entity-type":"item","numeric-id":674400,"id":"Q674400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028347$AF595226-BBC2-4CE8-A499-1226F151655B","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":"Q4028347$E2E45640-E863-4576-841E-1213A31924DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028347$D085D184-0B14-424F-8DF5-6BEC6659520F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028347$C7963FC6-AF16-4623-B61F-B8E526073D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028347$3D1A57BA-5C28-4A41-BD65-E48606251103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fecff3d38defd6ac4e1051cf9f1d52d675c616d","datavalue":{"value":"139988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028347$1DAAD9FB-0036-4B6C-BFF8-421DA7275980","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0baa50180e31718a1005085a80dc51d921ff8f2","datavalue":{"value":"partially automated program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028347$1CF3642D-E0E1-4589-86D4-13B904D52526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8ac41546d4494b699433a76b22fb90d94c7bc4a","datavalue":{"value":"incomplete equational software specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028347$7CE34ADE-DFC5-44C4-9D1D-E11D5B65060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028347$8E5C3322-ED5C-4C82-BC4E-A7B742A9FB91","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":"Q4028347$5466AE1E-226D-4B52-B968-02A17AA8D6FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65404eaee0e903301394ffbb4a653ffc212c27a","datavalue":{"value":{"amount":"+0.7874420881271362","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":"Q4028347$A3A54DFE-E129-494D-AEC0-4D4ACAE0257A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b0e67ce4347848d9fa0e93ac0a7857508eb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4845025,"id":"Q4845025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb49862a57d7d178c2c743966a6c690b030d506","datavalue":{"value":{"amount":"+0.7616373896598816","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":"Q4028347$58D9FC46-83FD-43E6-A389-DF451895D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa6a367ae6ced10746d48637309934dd510b392","datavalue":{"value":{"entity-type":"item","numeric-id":3675552,"id":"Q3675552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7fe557ac200dc576892c908b3dcf8ec866f8f6","datavalue":{"value":{"amount":"+0.7600678205490112","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":"Q4028347$38D7D2AD-A053-40E4-BCAF-4024A5C645BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e285e30b4c09659636e601b8aaee581ccf333","datavalue":{"value":{"entity-type":"item","numeric-id":4939536,"id":"Q4939536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915d89839f1a52f4d5de224def5b10a7b77b6571","datavalue":{"value":{"amount":"+0.7505051493644714","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":"Q4028347$45A47315-FB6D-46BC-ABEF-A9345E4B336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b829ecb070ee4cf99f8703eb4a50a7c1cd07547","datavalue":{"value":{"entity-type":"item","numeric-id":5055734,"id":"Q5055734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b2d0250c969d928d145167cc727fa714c1fb12","datavalue":{"value":{"amount":"+0.7371755242347717","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":"Q4028347$863E15CF-8EC3-4BB6-9AEA-E123CECEB6A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028347"}}}}}