{"entities":{"Q5300892":{"pageid":7330466,"ns":120,"title":"Item:Q5300892","lastrevid":51761525,"modified":"2026-01-19T21:40:57Z","type":"item","id":"Q5300892","labels":{"en":{"language":"en","value":"Non-determinism, non-termination and the strong normalization of System T"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182511"}},"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":"Q5300892$562A3B77-CE9B-4BD0-AA69-2D9890E4C61B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eb9370d6ccac346232f879daa8ed8138e9c4485","datavalue":{"value":{"text":"Non-determinism, Non-termination and the Strong Normalization of System T","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300892$942B47EA-4973-45C2-AF9A-13A7138C74AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54da138e888966c045d491fc9b3cd834d31c882d","datavalue":{"value":"1381.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300892$E6B62A44-5A68-4E41-B7E4-D196C11D8873","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02d6748f5fff906dd2f35a476a597ecf780a4875","datavalue":{"value":"10.1007/978-3-642-38946-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300892$AA3E5F6E-C459-42AC-A445-106421DD91ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300892$ABC08419-7AD7-4A5E-B2E7-4934D6CEB303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55d8636ba2cedfe85f5f46b2ba4af59bec25927","datavalue":{"value":{"entity-type":"item","numeric-id":265001,"id":"Q265001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300892$2E6353F9-B3DB-4C3A-9A82-2975829A8264","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300892$7D033748-D19D-4440-9719-76F622A24FDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300892$FAD53476-A4B0-4B7B-AACF-51ECD454377A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300892$5B825718-0849-4E0D-9A26-4C4D5E8587AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300892$1679F9BC-7E1C-43BB-9C4D-4B2D59B0E9EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0987d945421cacaf2c0a69bec658a037573b3136","datavalue":{"value":"6182511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300892$E25C0351-2B11-405C-BEE6-A4B42E191EB7","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":"Q5300892$F5EB3AF9-39AB-41F5-AEDC-E7F63C007973","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bc4613f79f98c07781e578d9e9cefbeb89e04dd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38946-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300892$B6F4D296-F956-4BDC-9391-88DD92C5C6B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"129c50989f4b142df29d40f899210f78b22ee4f6","datavalue":{"value":"W48265284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300892$B45FE2F3-11CA-43AA-96D0-C4CFF9102AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e323f49e32b90a9be7a12cd7458b79ecf79bf1b","datavalue":{"value":{"amount":"+0.831089973449707","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":"Q5300892$F0CE6F76-2E7F-4AEE-B825-7763CBFF2FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadfa86451afae3efec984c4829a469ac4dca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e323f49e32b90a9be7a12cd7458b79ecf79bf1b","datavalue":{"value":{"amount":"+0.831089973449707","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":"Q5300892$75E43406-8EA6-4FC7-973A-AA49F185A670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757fd3bb07ccf1dc03f172ec888ea6695563e45a","datavalue":{"value":{"amount":"+0.8056803941726685","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":"Q5300892$1BBE93D1-8177-4DD6-8FB1-05768692D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19095695d51e2717ea9a5b5b5543a588beae2a57","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e48559c50a3ae3abf71240222f7ce5f4755383","datavalue":{"value":{"amount":"+0.8018267154693604","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":"Q5300892$8A8C0E84-3F45-4D97-BBDF-330009ADFEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9dabfd933ff635a7a9e4e8a9890f93ed5414a3","datavalue":{"value":{"entity-type":"item","numeric-id":2958535,"id":"Q2958535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c09d6dd5cd67e9e014d253a839f015a1b735aa","datavalue":{"value":{"amount":"+0.799357533454895","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":"Q5300892$94E7E0F6-4609-45E1-8F51-3135DA6FE6ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300892"}}}}}