{"entities":{"Q3750994":{"pageid":5780900,"ns":120,"title":"Item:Q3750994","lastrevid":51026345,"modified":"2026-01-16T06:39:04Z","type":"item","id":"Q3750994","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3988695"}},"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":"Q3750994$397AD492-3892-4DB7-8D96-B4E9F0CFBC62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02967f943ac53aa40e862730b7323823eec354d2","datavalue":{"value":"0611.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750994$7EC29C48-0520-45F0-9B73-DAA03E4562D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750994$6A591ED4-CC1B-4B6F-971D-CBEC0A6BA7B3","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":"Q3750994$8A4EC6CB-9A7B-4772-9B0B-9C5A8ACA9718","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750994$031207D5-B988-4EB9-A188-335B2F298C83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5a395523dbbbccbe60edf04f654679ea207fd23","datavalue":{"value":"3988695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750994$8D1A25B0-DE16-485A-977E-A1D3AEFFE0B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad53bedc79f50cbcabcfc4a1b3aebdff40156fba","datavalue":{"value":"non-deterministic recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750994$C97B135B-7249-4FA5-A15E-1BE4A2581962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750994$A08C39D4-A921-4E5F-A458-726C2574BAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c6495921024283fe2d90d26f1d49fe71a8ac7ca","datavalue":{"value":"complete partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750994$F361AF37-9D33-4F18-8EB7-F424F1E50980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750994$A663A8F6-6C12-4FD7-B950-8E783CB692D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aa901308329a0e00b1109bb1a3df1221e554a05","datavalue":{"value":"terminating computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750994$44E99524-1B38-472F-9F59-812762771BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b72f1e545839fecbd29db95787e43ab055b7176","datavalue":{"value":"call-by- need computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750994$D589933B-DE70-4EA7-BA4A-FD562011BAB1","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":"Q3750994$D1CDA62F-A5EE-49F4-84F4-ECC1A6338B34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7678c7b70137e8ca67893ab5af55c697779b173","datavalue":{"value":{"entity-type":"item","numeric-id":5055729,"id":"Q5055729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06568c61e334c48e21b28439070c5419ce8c223e","datavalue":{"value":{"amount":"+0.8173173666000366","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":"Q3750994$4E4BC127-7025-4128-AB4A-A9981319B2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73edcb0a82005327c983df17a9bf74946991822","datavalue":{"value":{"entity-type":"item","numeric-id":5234682,"id":"Q5234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec69d392146a4d7885094ff6dace0a447932bf01","datavalue":{"value":{"amount":"+0.7573904395103455","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":"Q3750994$F4B177BE-AEA3-4C88-B13B-7D93DB552823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb9888aac49fca20e557ba55d9fe21cf06b3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2778880,"id":"Q2778880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446f6362cf18e619dda652151ef0fe4bd4f3b602","datavalue":{"value":{"amount":"+0.7560834884643555","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":"Q3750994$4997CDD2-93FA-4BCB-A588-669F8CDC13B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb4c115a27c54e7c463bd6207da05fe042a7640","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8867670aa759fcf08e08d5a3a8601a18db76a42d","datavalue":{"value":{"amount":"+0.7555057406425476","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":"Q3750994$9154C23B-A156-4F0A-A6BD-5C392765B74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef349e646289a428d5b170f1205f0af317edfac","datavalue":{"value":{"entity-type":"item","numeric-id":5055874,"id":"Q5055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef06d87ff55e33715362b9e3212b4c8aa640a97","datavalue":{"value":{"amount":"+0.7555055022239685","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":"Q3750994$B9BB51EA-11DE-4B18-AA5E-BCC0383CEE84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3750994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3750994"}}}}}