{"entities":{"Q6168438":{"pageid":13303323,"ns":120,"title":"Item:Q6168438","lastrevid":39739790,"modified":"2024-12-30T18:04:44Z","type":"item","id":"Q6168438","labels":{"en":{"language":"en","value":"Finite Convergence of \u03bc-Calculus Fixpoints on Genuinely Infinite Structures."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724197"}},"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":"Q6168438$B2C5EDB8-9E3E-40A2-B24C-5B505DDF5CFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dffe16bbe34c7938fa56f95e8b4147c5880800","datavalue":{"value":{"entity-type":"item","numeric-id":1685774,"id":"Q1685774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168438$698EC404-79A9-4B98-83B4-2F635EFD9945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5b4d45632682bae7fb6a46711cb4142f3fea250","datavalue":{"value":{"entity-type":"item","numeric-id":2105476,"id":"Q2105476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168438$859769F7-62FB-4F0C-9BF1-D929A7B209A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168438$2F693F35-30A3-4ACA-9A3E-E98E8A1C0B6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168438$8D443803-03DF-484C-AAB4-7AE06F8FBFEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168438$710C98EE-2AE7-44B1-9AAC-12FD3F689F8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50bd285f23fe58e4dea834d18ce9dbd44ddbfaad","datavalue":{"value":"7724197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168438$010D81CB-58A2-4BB1-9211-41AFDCBF8C96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168438$115B5DD3-DA40-45DF-815E-E843C5FF50DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08640d84e103b2215619c6ac681f8cff09d78cef","datavalue":{"value":"fixpoint iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168438$C666A0B6-3F39-4694-B444-3AF3644DBBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168438$B6D2A805-51B6-4741-BD19-EEE28DD33A43","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":"Q6168438$E26C14FB-90AB-4B86-AD3C-C1E97EA98717","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135a07bfbc7c1458c31bf3154e99709d86c11e7b","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/14464/pdf/LIPIcs-MFCS-2021-24.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168438$C00D3D97-B64F-4554-9DD9-A44FD635D110","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b992655c5135e46d934c5e5cdaf0f89db2d5ffc","datavalue":{"value":"W3193490193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168438$B3C4D706-DA1E-45A4-9457-ED8977B3E640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdfbbcc60203f313241e71bcf9c11b5d5f35718b","datavalue":{"value":{"text":"Finite Convergence of \u03bc-Calculus Fixpoints on Genuinely Infinite Structures.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168438$F40E0C62-4083-400F-BDF6-E5E84A61DB7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20f82936667b2ddf873b37618f9250fa59f6f70a","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168438$CFF16ED4-6F76-4965-9E30-9A10EDF5A310","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168438"}}}}}