{"entities":{"Q3696487":{"pageid":5726393,"ns":120,"title":"Item:Q3696487","lastrevid":50346395,"modified":"2026-01-13T21:02:01Z","type":"item","id":"Q3696487","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3921948"}},"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":"Q3696487$A2557478-2170-47A0-B98B-0FD9FC61C1F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05238cbe9f6aeba730ee8ed9e672d24a8b09e0dc","datavalue":{"value":"0576.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696487$6A790BDA-5748-4DFD-9441-56D374DE3CF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a93c57283e0ed2f2843fc1528f403f7d02271f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1093358,"id":"Q1093358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3696487$EA827053-259F-4BFE-8580-2282A2013228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3696487$8EDF1CDA-FEDA-471A-846D-0BF5E13E93E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696487$97AACE25-9BF2-4405-AA90-B66704ECB021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696487$63EBD7D4-6D85-423D-B8CF-D255AA49FFAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28c1eb498803a124575c170e66594310627fc58e","datavalue":{"value":"3921948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696487$FCCCC824-C400-44F1-96D6-A471D3E72851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fdd4e3fad291011377bfd2c26b3f38054d6fca","datavalue":{"value":"syntactic properties of record-like type structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$119FE3D5-98E2-400A-9707-0F97F24BCDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23a40908b851f5a5f8ad988310e7d8d9fbdfc3a","datavalue":{"value":"labelled infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$B4A23F77-17FC-410E-8141-8914F87675E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8545cfed4057bb1fd6b2dd92eb1fea5cc470c16b","datavalue":{"value":"partially-ordered record structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$6E4FC2F4-A78C-46FD-90F5-EC50A4B16C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8779bc2ceeab42ee3bdeaa75153dfcd8938c03c8","datavalue":{"value":"recursive type equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$C6C2CBA3-2C5E-45B9-B7E7-5E53FA4ED36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$EFC1A92A-14DD-4C44-BB10-D131965963F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af1b741a1ed333a178c8c574052bef2b53f79b5d","datavalue":{"value":"type structure rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$B97A6AC7-ABB6-4A8E-AD64-4A7C01487BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$5E131BCF-E023-4CB1-A2B5-6ECE084D6F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696487$B3482A25-2928-4D56-9F19-C86FB52A4628","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":"Q3696487$14B03C99-0580-4369-ACC4-AAF56F04F447","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075a0c7ffbb8dab5f37a6f3fc5f690ea6bb47d8e","datavalue":{"value":{"entity-type":"item","numeric-id":1093359,"id":"Q1093359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7635eb9e88aabebccdfde0658ecccb62fd47a963","datavalue":{"value":{"amount":"+0.7915089726448059","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":"Q3696487$09F60CD5-3CB7-4860-AE7B-DB0C530A502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65deae7389494fb1af4dcab345e44c355a9bcf2f","datavalue":{"value":{"entity-type":"item","numeric-id":5881298,"id":"Q5881298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f46ed1bd7eefd8b3e140dd6ea83b0e7736db84","datavalue":{"value":{"amount":"+0.7206182479858398","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":"Q3696487$FA3144A1-58FA-457E-BB63-ED63FE06B9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17bc13c9d109a8dd9b6efca7c6bc87021f885de0","datavalue":{"value":{"entity-type":"item","numeric-id":4645801,"id":"Q4645801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553a689cb68e9b1b172a77b4176bd07cc89eaec4","datavalue":{"value":{"amount":"+0.716193437576294","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":"Q3696487$E61F030B-4388-4C55-9DFA-3F0B1D6D5FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94d5b466552ce871dc5b4a5872cfdce7a2952d0","datavalue":{"value":{"entity-type":"item","numeric-id":5881175,"id":"Q5881175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235c79f4201a34ce35e85d353633e4a3d6849691","datavalue":{"value":{"amount":"+0.7135583162307739","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":"Q3696487$66CF3E16-2BD3-4280-B9CF-E2629E88276B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b785b583dffdd5c33a3a7861b378b7dac00087db","datavalue":{"value":{"entity-type":"item","numeric-id":2867904,"id":"Q2867904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a96d29b39b9654dedd80e2b494d6ca12c12a2bd","datavalue":{"value":{"amount":"+0.7097082138061523","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":"Q3696487$BB28D829-B211-4FCD-991C-97F488153C0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3696487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3696487"}}}}}