{"entities":{"Q5030204":{"pageid":7059781,"ns":120,"title":"Item:Q5030204","lastrevid":54225584,"modified":"2026-01-26T12:16:15Z","type":"item","id":"Q5030204","labels":{"en":{"language":"en","value":"Subtyping constrained types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474242"}},"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":"Q5030204$6A26B7B5-BA98-4234-98A5-9B425FCAC7E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbbfd40ad0e34177ab67fa89a8f197a529c617fa","datavalue":{"value":{"text":"Subtyping constrained types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030204$20CC0CD0-D047-4AFD-9C22-09E7AEE65D80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5643796199e0a3ae57cb50e4a97cf71fb83d17b","datavalue":{"value":"1482.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030204$22ADBFD9-2C89-4B3F-A735-EB06D435CCC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db0f0791b241582a2a97bf913f94394afa5e3800","datavalue":{"value":"10.1007/3-540-61739-6_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030204$E9473F1A-773D-43C3-9DC0-CA08C21A758B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$4D63811E-702A-44A9-8059-BFAB93870758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030204$87D3D4FA-7764-48D3-9965-12D7C057EC53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030204$F668DB89-A23C-43C0-B02A-A3803D7D9B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030204$534E0D47-3B2E-4248-86F1-A5EDF3747AD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00bb47a37230d7f943217709a37fa1160f074ebc","datavalue":{"value":"7474242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030204$D3FA57D6-9192-4AE5-8231-0D66B4602D39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08fd499dd919749b8102dc7d2e15e95573a5beed","datavalue":{"value":"type variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030204$BB2D69CE-6681-40C6-BAFF-D4463E406ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09292d37dff5fe61584ddcbccf5bc86c84ddd077","datavalue":{"value":"type scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030204$1E5AA1FF-F0C7-455B-A121-661BD0B6DB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b178020f65bc5a652126f6782b6f9b1e11e6a013","datavalue":{"value":"regular tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030204$E5EEA5B5-DD39-451E-8CC6-ACB7C0BA0B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdbbb3335efa9ecfc3156c7962d1cc2567f782b","datavalue":{"value":"typing rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030204$4B14CD3D-BACF-4775-A704-30957ED30507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030204$2AFC36B2-47F6-4916-A077-22848EE6C257","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":"Q5030204$AF889F45-EB24-47D7-A3CA-1F22D21C396C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1997f64ba29334955d5b97e88562d105ef7e3690","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030204$4F2AD359-BCE5-4D02-BAF8-9D1E3EB40FDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"513f8e4e5a9ba71f606407180e71af2c3f0439fb","datavalue":{"value":"W1507723317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030204$53B61548-2F80-4FD8-805C-C2E7910CA8E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2f788602d8f9161fd1785948379c693a43c1ac","datavalue":{"value":{"entity-type":"item","numeric-id":1346684,"id":"Q1346684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$2D6307EE-DD5D-4979-8BE8-3EF698D8FCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa6134c7970e1b3c5a78c5580580268782fd98e","datavalue":{"value":{"entity-type":"item","numeric-id":2817691,"id":"Q2817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$225A2CCF-F214-43FE-8B10-5926065CA109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a9169f9863dd0cf907a7ea462945e74c6dee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4939703,"id":"Q4939703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$46D3E81A-C988-47D3-8BCD-FD5721744D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$6C7822E3-7EBC-40F6-82F8-FBB35F763DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f5839a8a0832570521f20d279b9902d1d22f5","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$60B441F2-96FB-41DC-8667-07635EDA7890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44800c5798875844175881ea0eb7030d0077512a","datavalue":{"value":{"entity-type":"item","numeric-id":4222755,"id":"Q4222755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$2B24814A-9983-4961-B055-9F42405DB36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$370E6F6A-EE7A-49B4-9AC0-29444D58D546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030204$0569FE90-CDA4-416F-B2D8-D80F32E11FA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e9861bca65210bc4ea5ce098b626c6a7166454","datavalue":{"value":{"entity-type":"item","numeric-id":1854464,"id":"Q1854464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec38b23a932344b812e29280c54288fa614c447","datavalue":{"value":{"amount":"+0.8298323154449463","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":"Q5030204$5A44EA5A-0CD6-410B-B288-24CFBD327546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe03a50b28996a747ae7d9a7403f566bb6986ea","datavalue":{"value":{"entity-type":"item","numeric-id":2817691,"id":"Q2817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa8402bad7dc2679c1316b1cd1272db59eb25a2","datavalue":{"value":{"amount":"+0.8113885521888733","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":"Q5030204$AC894E8B-1A78-4AD4-B05B-DBA209CAD670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4ed5da66b9b8d0c38fc30aadf7bbe8801ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bff488d3dc32066cc70f0baf20a77c795a20c4","datavalue":{"value":{"amount":"+0.7956599593162537","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":"Q5030204$CACFB693-F076-4A08-BA48-D50006DBD95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bec8eb9c72a133e62b4ca9464ec935dd19de4c","datavalue":{"value":{"entity-type":"item","numeric-id":5234269,"id":"Q5234269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2323169b99eb6325b1cb0eab7d98aba42e8d8966","datavalue":{"value":{"amount":"+0.7903876900672913","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":"Q5030204$024211D8-0E22-49F8-807D-EEFCCB9710A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3819559a6f492af72eefa247e6543fb555414db3","datavalue":{"value":{"entity-type":"item","numeric-id":5348898,"id":"Q5348898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d60e1ce1cb2f320065d0b8731d1f83d1072429","datavalue":{"value":{"amount":"+0.7872693538665771","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":"Q5030204$5DE57F3E-EA52-4EC1-A6A6-F65FCA5325A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030204","badges":[]}}}}}