{"entities":{"Q4943544":{"pageid":6973126,"ns":120,"title":"Item:Q4943544","lastrevid":39495792,"modified":"2024-12-30T14:24:53Z","type":"item","id":"Q4943544","labels":{"en":{"language":"en","value":"Monotone (co)inductive types and positive fixed-point types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416500"}},"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":"Q4943544$892BAF8B-0576-4498-AA68-E465B8EC1CF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f67dd365900e8a5403a0dbba5551bcf55562ba8f","datavalue":{"value":{"text":"Monotone (co)inductive types and positive fixed-point types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943544$8DC0C3C3-B744-488D-A3E5-7B23178E6E82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ef91738bc47408ae36c002f925d57b079f16055","datavalue":{"value":"0943.00044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943544$5537CE4D-C0C2-492E-AF46-7BD683CFE99C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943544$08EE5CB1-B6D7-4298-9FFB-87C74AF4A237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7f344e8a0edfe37c5519b7d6fac6978ba742004","datavalue":{"value":{"time":"+2000-08-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":"Q4943544$810EE174-AECD-4C97-ADEE-5A81628AA823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943544$39173065-06B7-43D4-A09A-6468E10CE756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943544$E064E437-119B-4A4D-A691-4CB3EBCADAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943544$D594D67A-0B03-43C4-9DA1-572CB3FB04E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7252e71bacd44379d2b1e7cc4939e4de89281a4","datavalue":{"value":"1416500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943544$9AEC2ECA-0D66-4A3C-92B5-AB3618770481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0c1d90cb689b0b32e7c5e57edf0482ef843ff2","datavalue":{"value":"Fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943544$26B60AC6-EB75-45DE-B410-0F95D9F39E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943544$97E3B409-B05A-42AE-90C8-D44C64881BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943544$E5DAD2A6-031C-4D52-9437-7B7EABD41F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943544$8CC89152-77B0-48E6-AC29-B7669442ADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedd5f8eea7268cf542e8a6dfda61795949a09c6","datavalue":{"value":"Brno (Czech Republic)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943544$238E4B42-A4E9-468C-B049-6D56FC81D7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f0bf7ce3c4a153b32a0254437a6fbe77d85f373","datavalue":{"value":"FICS'98","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943544$93E8DA5E-57D4-4D7F-A2DD-F6F228CEAE01","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":"Q4943544$F42FAC34-CB71-4CB8-B50F-F56E96CF21EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d13dfd0cf461ceb79efe3562fe9fd4f3db1c6bd","datavalue":{"value":"https://doi.org/10.1051/ita:1999120","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943544$C1DDCD81-E817-483A-B8B7-B4E2AE53B081","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63a7cbd0f475feae1a3eeddb565a78052cac9927","datavalue":{"value":"W2059906894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943544$AC65A6D3-2D2C-4DE4-A9EB-03D8805E4F13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50df35258470814f6a43475424ea79b31f17e51e","datavalue":{"value":"10.1051/ITA:1999120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943544$D5114B40-23FA-4AEA-955B-CD7F42AE24DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943544"}}}}}