{"entities":{"Q5170811":{"pageid":7200383,"ns":120,"title":"Item:Q5170811","lastrevid":52047716,"modified":"2026-01-20T20:10:00Z","type":"item","id":"Q5170811","labels":{"en":{"language":"en","value":"A model of countable nondeterminism in guarded type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320438"}},"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":"Q5170811$1ADB0B2A-FA11-42D6-BF90-56BBFFBD5EF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4cfd688b8ba82ebd0f415ba425b65a150c2c4aa","datavalue":{"value":{"text":"A Model of Countable Nondeterminism in Guarded Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170811$B302A209-3180-4652-8075-9CAD9469AEE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"580838e5fe516abfc4d4e55cf7bf284c66f2fdfa","datavalue":{"value":"1416.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170811$37953612-8FA9-475C-A960-81A6D262291F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a13df6b6bbc2187ba432947e73095c693324228","datavalue":{"value":"10.1007/978-3-319-08918-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170811$84F925D8-4069-494C-803E-3AE8B4FE1AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2574135da41ce8fb8efa05f8438741fa998b3","datavalue":{"value":{"entity-type":"item","numeric-id":1704598,"id":"Q1704598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170811$8C91840F-CF76-4B3A-8E34-27D740203459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170811$E13A1F2D-5889-4B86-9ECF-567144730A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170811$09B2973E-D9D3-41F1-8E5A-1C451F72456C","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":"Q5170811$0B58BAB0-092C-4B9A-9332-FA611FB99BAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170811$9054C458-A956-4DD5-AE38-3DE4B0E605D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170811$F8753EAF-5CE6-4DC2-809B-E9F306E80B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170811$4DFE2C37-E801-4F2D-9339-8F63C5BBA044","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7231acab38e63423cfe6205de0509ffe5528b26f","datavalue":{"value":"6320438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170811$41446C4A-AEDB-44FA-A9FC-60EE78205779","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":"Q5170811$8ADA064B-209E-4432-9746-36CB42AF7433","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49b48e3854dca9d283efdaa6a84486ec740671ad","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08918-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170811$FCC2DC3B-4EB6-446F-BD7A-A87FD6F179CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66b5637dcd289b6973d94ff75c438302c400946","datavalue":{"value":"W2245432137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170811$21AE8AA5-7895-4BDF-BBFF-5260F95E6150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ec0f8316e7270dca7a53530250c01e6fb8d59e","datavalue":{"value":{"entity-type":"item","numeric-id":2851672,"id":"Q2851672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca503a63d0add69830976313e4b4ae20a2bd7c8","datavalue":{"value":{"amount":"+0.7759033441543579","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":"Q5170811$F535158C-58DC-41A1-9E38-2FFA5201E9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2479d05552d9b1e285b08fd1d127a1c16e451529","datavalue":{"value":{"entity-type":"item","numeric-id":2915708,"id":"Q2915708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a75451846728e0fb6064d4dd10936a24ed0b055","datavalue":{"value":{"amount":"+0.774871826171875","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":"Q5170811$7EA69EEF-FB79-4B61-B429-E643A2555AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce8a5944d8fe554e965f94074853d87f8027808","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f55aa4fb225e4e7a519e18927219dc6dcec750b","datavalue":{"value":{"amount":"+0.7521491646766663","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":"Q5170811$5ACE8EFE-2495-4BF9-AF5C-1E60C6DB7283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707abc09905da1147c1a800f214238ce1eb70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1704599,"id":"Q1704599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f66390739f86d2f6bb9fb91342491ccba72cb7","datavalue":{"value":{"amount":"+0.7207348346710205","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":"Q5170811$F72F533A-D0D1-4325-8E11-4CA38833D935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032e944735cb8eced73fb24ecb5a2f6a764363de","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918967d8731e039cda6b1e3ce21ea8cbb8f92774","datavalue":{"value":{"amount":"+0.7098204493522644","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":"Q5170811$DB196DC5-817E-4DF0-8D67-6C2DFA34040A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170811"}}}}}