{"entities":{"Q4376961":{"pageid":6406560,"ns":120,"title":"Item:Q4376961","lastrevid":46544094,"modified":"2025-12-25T00:17:58Z","type":"item","id":"Q4376961","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1118872"}},"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":"Q4376961$335D29B5-6C85-499A-98ED-F87CB8254AA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54cfc129f21bebe9203b9038414c247b62bbb79c","datavalue":{"value":"0903.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376961$C368716C-A0B2-4525-A126-C86023170090","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd5d75b70bfae91f9c4b0946356c1a94d0224486","datavalue":{"value":{"entity-type":"item","numeric-id":4376960,"id":"Q4376960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376961$17193ACE-AC3C-4793-B31D-E32A375C450E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f5d120add23d257eabf00a9921160534bdd26e","datavalue":{"value":{"time":"+1998-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376961$E0D95626-4AFF-4EF3-8BF7-2C56B8B29283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376961$51ECF9D5-1632-4F1F-9429-C232A29B036D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376961$FE1A43B9-48CD-4C46-8110-22EE02A8BB09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd39229129fe83e1c99c40e7d5241bcd1dce9757","datavalue":{"value":"1118872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376961$C1219807-A052-402D-B5CB-E1C395F1206E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b91ec9201f6236751e2488d9410b5a64f0f802b","datavalue":{"value":"opdate avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376961$8FEEFD84-F479-4C05-B82A-305F37A8BA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9a94055be449130fdfd8493c4c716a1aa90acb","datavalue":{"value":"lazy functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376961$4CE31BE2-440C-46AC-B869-E43C39777BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9eb4bcd4c1ded248a5540a5cc68875794de35ce","datavalue":{"value":"abstract program interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376961$E65745C7-0C28-462D-A1D1-8ADDA6D282AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376961$1E85675C-C2B3-42F5-847D-863C799EB449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376961$3354C709-F816-44B6-B040-245633A82AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc1802ecf5bfed41e79e7c784b5aac1452aa27e","datavalue":{"value":"sourcecode transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376961$8D6A120F-31B3-4D4E-9599-84E841144F73","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":"Q4376961$32749061-6934-4F13-A699-52BC4F28D85A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c31b0be66ff1a5086ff221f395c5f8e127ea2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5348886,"id":"Q5348886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862a5bc1c15abe5b2b6d8948aeb11e82bf780ffe","datavalue":{"value":{"amount":"+0.7609478235244751","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":"Q4376961$0F1F6695-E95F-4B3C-806E-DBA374224C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8218e074bf9eb84564677f4f0427e569c074469","datavalue":{"value":{"entity-type":"item","numeric-id":5234257,"id":"Q5234257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4091e61cdf70dea2d6a2c7340ae1bdb241f47cb5","datavalue":{"value":{"amount":"+0.7609472870826721","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":"Q4376961$7CC13B3C-1EC0-450A-8E36-D050ABB25833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e6b63dedb3af9e19d0ce2c21b577ec9222db1a","datavalue":{"value":{"entity-type":"item","numeric-id":4311530,"id":"Q4311530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07242366a6b1bc31e0f37f4ee0d4394063cd2ca","datavalue":{"value":{"amount":"+0.7504550814628601","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":"Q4376961$E2E47DA2-C141-422E-B163-63A943457A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e96805cfd1ab5c12a7d878a28206322b12e43ad","datavalue":{"value":{"entity-type":"item","numeric-id":685390,"id":"Q685390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3899b4eb68105450b56fb10397d89d10e073706f","datavalue":{"value":{"amount":"+0.7451624870300293","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":"Q4376961$6053A7C0-2C6A-4349-A59C-206CB5997938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36162d910f6ce96ba4d95429b0b1c490db99c476","datavalue":{"value":{"entity-type":"item","numeric-id":4832299,"id":"Q4832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d4b5f6466a458dd1307ce31da10d21424f9cc6","datavalue":{"value":{"amount":"+0.7432513236999512","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":"Q4376961$C6A3C119-4686-47D8-B1C2-35DDA358E534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376961"}}}}}