{"entities":{"Q5890042":{"pageid":7919592,"ns":120,"title":"Item:Q5890042","lastrevid":47845312,"modified":"2026-01-02T20:54:53Z","type":"item","id":"Q5890042","labels":{"en":{"language":"en","value":"A structural co-induction theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680635"}},"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":"Q5890042$C9B9E674-8BCE-48F2-AD46-F8EBBE46FA3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b8f8426bf58d29eea6d8fee758fce7e7ddb95bf","datavalue":{"value":{"text":"A structural co-induction theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890042$B85732CE-2D56-45C3-B26E-71437B508B93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fa13ad34b10ba600ab22d002e9e96d417525e7d","datavalue":{"value":"10.1007/3-540-58027-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890042$997C8A7B-FDCA-41EC-AE30-91A469FC103A","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":"Q5890042$47C3C09A-CA5E-4A1C-9007-BA0B9A9B5761","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-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":"Q5890042$6CC94841-6E19-4878-9945-AC05FFF82AA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890042$98CE6FD8-48BD-4FBD-BB10-69E643FCD07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890042$0553F151-0757-48CE-8A28-9B752B177162","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29c1a86f74b83f601047f9ca883f4e776ac70da","datavalue":{"value":"7680635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890042$69FA9C27-2254-4BAE-9AE0-C4CF4933D0C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890042$213B11A0-E56C-4DD2-A4D8-C4C873DB4B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a45139f47b3d308156671fc73d6ce136cff3d1","datavalue":{"value":"label transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890042$8AD9F0E4-8DAE-4788-BB8C-76628D7827B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890042$5560D727-6692-4054-9129-FB5CE57B7EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d48f1c34864a9dbcf88cdea9a50b4761136c0c5","datavalue":{"value":"continuous functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890042$36CB23B8-D800-4EAC-B0B1-9137871317C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecaeeab4e4e28087c0875bb73cc6106bd3ccc0a5","datavalue":{"value":"domain equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890042$ED1940FD-8570-467E-B455-A7387D6F4CD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$DD9028DC-0DF8-4067-AA09-A3A566719E42","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":"Q5890042$3EC3C8A1-E34F-4002-9E1C-71A2B4A81A6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b88ad7e4d2d0f8d149441f43411bd97f8ad7150","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890042$3E9A2AE5-5370-4491-8382-E9F8C64C7372","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aa412fea403a0a63f4cb22d4c6a4ef4394c7dfa","datavalue":{"value":"W1763165619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890042$775CA70B-9316-4BE9-B4B6-C4A698FDC242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$882E3409-F580-449D-AAFB-85D84A6EFA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$9CECF9ED-1E51-43AC-9A1C-F646A14864F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$4380E52E-9CA3-4213-8CAC-B9EC88DA610A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$A0932BC8-D46C-4572-97F9-C230754C75E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76477425fa779ef9d92f72720735da571551d798","datavalue":{"value":{"entity-type":"item","numeric-id":3328538,"id":"Q3328538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$3670EED9-D189-4AEE-A8E4-837F32512FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$FED1220C-8437-4A06-A602-52E137ED58B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18326da2a5b6e5f1cb82ee1d8b48bf8ccae5f3b","datavalue":{"value":{"entity-type":"item","numeric-id":1170271,"id":"Q1170271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$40FB388C-BD00-4C65-9186-AAD93CADB804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$32CDCADD-4947-4505-AC8F-2C36886C7E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$A757A5DA-2BBB-4B79-9E0A-D739A971373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cab406db865ccb110f02c5ada09dbc53bd3af","datavalue":{"value":{"entity-type":"item","numeric-id":3204456,"id":"Q3204456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$BBEE2918-1CAC-4CCF-B4C7-E15AFE09D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$17616B21-0016-4845-B069-A063F8233CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$836C6B64-260A-4DA3-83AD-E5C350F36080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f39f4669244c573b1d31fb375d7a5ec71b7ed47","datavalue":{"value":{"entity-type":"item","numeric-id":3138548,"id":"Q3138548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$4D04EC92-E90C-42A9-9C9D-228E0A758AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890042$571B01D6-9C56-48B9-82DF-525FBD3D4DF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6407c958a82faf73b9aed2f68f6fd049909dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4499300,"id":"Q4499300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f4dbbfaa055b0054cf1ea766584ff76a1ce688","datavalue":{"value":{"amount":"+0.8255860209465027","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":"Q5890042$229B9B21-9481-4303-AAD6-B4A89355101C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8856a28cd46a211981a640a9dcf4285ed30dfa11","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f2f69e8d07b51d84ffbc6b3e97ad0177bf7e9e","datavalue":{"value":{"amount":"+0.7905718684196472","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":"Q5890042$2BB1DD9F-F2FD-40E5-9C22-F4EE55F8B027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43e6abb7322519c47645f624de60e94c9ce4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0162f8a943b8e569248589acf52abf99a46ad5","datavalue":{"value":{"amount":"+0.7866051197052002","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":"Q5890042$89D70255-8024-4B02-989B-A98F3D7AB63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0afe3fbd1ba0215f6ccab0878712a4e965588d","datavalue":{"value":{"entity-type":"item","numeric-id":5462661,"id":"Q5462661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0162f8a943b8e569248589acf52abf99a46ad5","datavalue":{"value":{"amount":"+0.7866051197052002","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":"Q5890042$5B4C3FDF-8700-4422-A617-915AEC8021EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815c0f1d12b8efb5b03bc3727d4a24af832e4223","datavalue":{"value":{"entity-type":"item","numeric-id":2842818,"id":"Q2842818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6c0f6a9598b0c84ace669cdf3935a00243b1ed","datavalue":{"value":{"amount":"+0.7803696990013123","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":"Q5890042$586D960E-857A-4A87-AB88-944563AECCFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890042"}}}}}