{"entities":{"Q3787442":{"pageid":5817348,"ns":120,"title":"Item:Q3787442","lastrevid":52711736,"modified":"2026-01-23T08:19:30Z","type":"item","id":"Q3787442","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4050950"}},"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":"Q3787442$39040CA5-4E11-4836-BEFB-CAC46A60323D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07753c91923fc242479e4056f017bd0035b07570","datavalue":{"value":"0644.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787442$EB7FE81A-8E00-4231-8920-312C3C5BC070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d87ce873ba2341914828752cceeeb2409a11afd","datavalue":{"value":{"entity-type":"item","numeric-id":1215180,"id":"Q1215180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787442$BBE6A24B-03D9-4312-A994-938AC871A6E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787442$25EB4892-D598-4887-A64A-BC4B80308C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787442$7329752E-7F74-46BE-AB3F-3DB05CBC66B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787442$471E221C-BB80-46F4-BCA8-DC85AEDE3371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787442$C9CFE8B4-1ECC-4DA7-977C-62105185EFC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b35e20644ee40e713059a291bf3d0f9ac26333ce","datavalue":{"value":"4050950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787442$B5FB055D-7B97-43F8-8D5B-0DAF1AD3CD75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"919923afdb09c754782c65308418b3bfdc1e8ade","datavalue":{"value":"mathematical specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787442$C2FA6886-38B0-409B-86D9-E8F63E522029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687b98256ffa9cee9c9994d331dfa42054db23bf","datavalue":{"value":"typed set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787442$8234E8D7-C55D-4D06-9CC8-F9468D7A44E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787442$20544ADF-52E3-4C96-A437-415D1E086956","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":"Q3787442$25AFEB60-F3FC-4BA0-AC29-82BECFC06ECD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542fb59625f20e688f2cb943bbe285e078d67149","datavalue":{"value":{"entity-type":"item","numeric-id":4943506,"id":"Q4943506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ecc8374c2f6006d9e2ddadcbd3cc37d773e8dc","datavalue":{"value":{"amount":"+0.7522678375244141","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":"Q3787442$DD5866C3-15C7-4DF1-9B9E-98677BDBBC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5fc9ae7c3385b007e01a98e44ebd6206621dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4472185,"id":"Q4472185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3a4cbd098c64a562b9c0a02a01669562581a74","datavalue":{"value":{"amount":"+0.7404414415359497","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":"Q3787442$6269D7D0-B2CB-4D8F-BA52-A95F6E7177E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250323e3697f8848a68d9655838719e0d8f3c118","datavalue":{"value":{"entity-type":"item","numeric-id":4039769,"id":"Q4039769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14b100770cfb71e0e547af1ac81b98f4231065e","datavalue":{"value":{"amount":"+0.7401574850082397","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":"Q3787442$39E9F015-CFFA-4D4C-A35A-825C36756767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418b8c621196baaa95516b7f0298e13c688041b2","datavalue":{"value":{"entity-type":"item","numeric-id":5287528,"id":"Q5287528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ea2dadfc530eb77034a49f5b2158875649967a","datavalue":{"value":{"amount":"+0.739959716796875","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":"Q3787442$1224888D-531F-4C59-8D52-9F553F14BCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8249330a13ae101895ef367eaa1d9987501e8733","datavalue":{"value":{"entity-type":"item","numeric-id":4321773,"id":"Q4321773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac892c117e5648c87bc91fe0d152d5ff188a9bb0","datavalue":{"value":{"amount":"+0.7386299967765808","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":"Q3787442$EBACCFF8-BC32-45A2-BEF2-306629C6D51D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787442"}}}}}