{"entities":{"Q3778750":{"pageid":5808656,"ns":120,"title":"Item:Q3778750","lastrevid":81110894,"modified":"2026-05-06T17:44:47Z","type":"item","id":"Q3778750","labels":{"en":{"language":"en","value":"A While-rule in Martin-Lof's Theory of Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039895"}},"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":"Q3778750$9DB3A60C-68CC-494A-865C-FB18F80B641A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23550ea1a5c4f64b73a6d798bdbce064e151d43f","datavalue":{"value":{"text":"A While-rule in Martin-Lof's Theory of Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3778750$A7656E76-D570-41DC-B78B-EDB6E1898537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b339a94ec3ccd6070e4a26b2a6c139f5295a3a4","datavalue":{"value":"0638.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778750$F983B5D9-2B2D-496B-9E9D-373C95223E38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3b71d5a3e0224a73df802fdfd7ae7dea6a29dc","datavalue":{"value":{"entity-type":"item","numeric-id":2983988,"id":"Q2983988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778750$D331E029-102D-443C-8396-AF13F87A83E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fb904a820c73693b0d5559909fc9d5a5d7f002","datavalue":{"value":{"entity-type":"item","numeric-id":1330442,"id":"Q1330442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778750$FF68B6FE-864D-4BD6-B362-C65F578B59F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778750$566516FB-4DF2-4D0D-A4EE-265D2B526D50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3778750$9A71439A-CD69-4E34-8708-4B0D411A7AA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778750$D0CDD336-030C-4BAB-8955-3B2655A94B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778750$BCF3A460-F30B-4662-931D-8D79A40089AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3d005385f8e39663be3ec27fd4a27c837760768","datavalue":{"value":"4039895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778750$78660AED-777D-414B-A793-A5FB573EEFAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a4c7b7f631ad4020748b71d3315824713e31aa","datavalue":{"value":"invariant properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778750$DBF118ED-A9C4-4419-BB1E-08154200EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c10a46d4e1e2fb66a17c5a5f7d38e2c67bd8a2ae","datavalue":{"value":"bound functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778750$8D054D88-6E62-46FA-AFC0-8AE36FCAE1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0988db75374a2680e06f24254cd1d98709ea2102","datavalue":{"value":"loop structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778750$B2810E3D-2B9E-4250-BF85-735F4BD94675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37025c9dbc84e42f604ca41ff70802c4959d777f","datavalue":{"value":"intuitionistic theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778750$191B1F0C-F926-44B7-BF73-48EB8498D0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9aff3ae37a4199b99681a0ba857d4ce7af5d96e","datavalue":{"value":"while-statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778750$7B2D8B5C-92F6-4866-B025-D3C3D1EF398E","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":"Q3778750$24B67F48-E974-4DAF-B09E-C8C0FF470FC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b04f180b7642675eff663c68a5bbf53ed7c88ea","datavalue":{"value":"https://doi.org/10.1093/comjnl/30.1.27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3778750$851C77F1-A6C1-4FFF-87EA-6FFB84B5D7A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58c922d53e1e2f5452e5f9f0e8069e73a7d9a175","datavalue":{"value":"W2010552804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778750$5F66815A-C9F9-4775-BD5B-A7EC0C561536","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95e3ea0fdfa88a6c648b5cb73f5155e88ada6d28","datavalue":{"value":"10.1093/COMJNL/30.1.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778750$02BA9F1D-2F7D-4C59-ABC4-F24F96671F36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf131a8f7c0e0b44639ec0bfa98e74a2c266a78","datavalue":{"value":{"entity-type":"item","numeric-id":3823124,"id":"Q3823124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b4d08157729218d6b911c5e4c9f3ed845c2e26","datavalue":{"value":{"amount":"+0.7677255868911743","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":"Q3778750$FC0F36E9-7A2C-4AEB-B753-8E4DE8C91448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009ec6c7ac864c77ec6973dff8fc3edf78bf9941","datavalue":{"value":{"amount":"+0.7597416043281555","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":"Q3778750$B576B47E-C344-4715-B6CA-51AC5A29C744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2371d7e39e67f9e097929f3463bbc28fc00218d","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e9084dee67743f7fc0176d6d2e46ea1ad3676f","datavalue":{"value":{"amount":"+0.7496224045753479","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":"Q3778750$463A7EE4-9A97-4948-A7CD-0B14872ECFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fb5bf25816ea5a1305e5d8459aecc07056f2af","datavalue":{"value":{"amount":"+0.7475640177726746","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":"Q3778750$9ECAB1FD-88E4-43E0-A79D-EE35AB42E219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba919e1924eb6dbf4450f84a8ab75e84164ec51","datavalue":{"value":{"entity-type":"item","numeric-id":3823123,"id":"Q3823123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc5033855d874ded9845661d95658917257a207","datavalue":{"value":{"amount":"+0.7466558218002319","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":"Q3778750$241828D8-49DF-4504-8B74-A13E92390188","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A While-rule in Martin-Lof's Theory of Types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_While-rule_in_Martin-Lof%27s_Theory_of_Types"}}}}}