{"entities":{"Q3305562":{"pageid":3316270,"ns":120,"title":"Item:Q3305562","lastrevid":53787884,"modified":"2026-01-25T17:36:16Z","type":"item","id":"Q3305562","labels":{"en":{"language":"en","value":"How to reason coinductively informally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229517"}},"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":"Q3305562$15859F3D-E202-4AE1-9A38-6064464300BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2350ba2de40a0a584f6bfd2464e71268f494e572","datavalue":{"value":{"text":"How to Reason Coinductively Informally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305562$EE36527A-86A3-46C6-BF2A-DF12423C27F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a25cc71bfaa46c8b02cc80f748825dd5a89e0a2","datavalue":{"value":"1439.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$78BE0F75-2023-4E41-8AE5-061A16724AAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d28afd1f189a7a91981ac5cfe27cf53e2e4cef7","datavalue":{"value":"10.1007/978-3-319-29198-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$0DF76F6F-13C6-4CEF-9A42-CB34733C9B14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$73E9AD06-1026-4492-8FE8-0E4340C106EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e498f87878cc10d1e14c067484ebfeb4fbbf3580","datavalue":{"value":{"entity-type":"item","numeric-id":3305549,"id":"Q3305549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$70E586A4-7544-4529-8298-670B25D2EB29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5455c1d81d4a01ed39f1551e0dc8701e3aa1c562","datavalue":{"value":{"time":"+2020-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305562$6D762E27-BEFB-4D0A-A4FE-927C5651DC2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8d8beca46511117eed6541fa2ed4533d4a0e2fe","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa24566","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305562$8ED64DB3-49A7-4394-9A5B-A33E33546FA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$D5776DDB-E279-4F4E-91FE-E743408CCC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$6DED6596-270A-4232-B28F-6529330A1C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$292760C8-2BF4-4105-A25B-AA77963A0B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$323DC0AD-7944-4D4C-B777-5C9BF3F387D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7c3c6eee252b540e09a11181611af08b6e2d28c","datavalue":{"value":"7229517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$249E5DFF-2CA0-40B1-82EE-6ABDC6666BCB","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":"Q3305562$09A7C91D-A2BE-4489-948C-6929D6FAE925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a4c2e932e7c4897409b7155747c31951c6e6424","datavalue":{"value":"W2470575749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305562$16068C6C-94F7-478F-B629-9177259FD65B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02420b55b611e11c71fb1baf0d07be65f4765be8","datavalue":{"value":{"entity-type":"item","numeric-id":5244799,"id":"Q5244799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$63878456-1914-43CD-A3B9-43183533194E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$570DDF54-DD22-4516-B572-7094DFD86484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$5C573941-60BB-475B-8055-28CEEC6451DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05929f031ef3d5d03411764299a26527c67ed12","datavalue":{"value":{"entity-type":"item","numeric-id":4738111,"id":"Q4738111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$98974C28-818E-465C-8F3A-E8BD68FB71FE","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":"Q3305562$3E31CA74-6CC5-427F-8D27-A68CE14AE8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$6F7665B0-0F6B-459D-A2C4-04CEB048A4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$280715C2-15DC-4DB4-8C6D-6E16E234C265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$5D2A8710-1043-466B-A3C7-8C62AE40ACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$9EA7EF87-70C9-4EF8-8E05-5EECFE0F4F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9b23edb892289c99e8d75e027b4261a7065357","datavalue":{"value":{"entity-type":"item","numeric-id":4436029,"id":"Q4436029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$8C0BC00C-F6F6-4571-A8AA-2B7DE44262B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6e84dc7d2442795960d241851cf13bc84741e4","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$DEBFAB0A-315D-40E3-A499-4599DD9CBB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220e7bd07cfc86bd56365fb168aa15481d8c02d7","datavalue":{"value":{"entity-type":"item","numeric-id":2577476,"id":"Q2577476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$57325470-16A3-4336-850A-4C5160764D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883e8a301f9d9a1270f265bcc8f905803e1f963","datavalue":{"value":{"entity-type":"item","numeric-id":5300900,"id":"Q5300900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$3A270529-0BB2-4DED-9720-FC69149FC31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c43b86216fe1c5702aab5ae75ac68f23c82c002","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$B65827AF-86EE-46F1-912C-D785F23F4239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8b466f18c85e6594f51bf6d97a170f5f732eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5718566,"id":"Q5718566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$5DEE9977-E61C-4C2C-8E62-1A20FCAED7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$369D5534-2161-43F1-8E8E-F7E57C99303E","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":"Q3305562$AFC139DC-FB62-4BD8-B155-389B6054ABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db243e20cf694a8491ba7b48de16806e33c4d296","datavalue":{"value":{"entity-type":"item","numeric-id":5096257,"id":"Q5096257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$5EBFE320-AFD8-4E01-8AF3-B340A44C3441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$80C4D37A-A1CD-43C9-927A-EF2CE83C16D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$700C9EFF-5BDB-4062-8020-EE80A8CF61A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298c345c5fd5e9751c3c32a918b118916c5b64f5","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$1C1D1E97-5CBD-46FA-97E6-483544E3CBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b4df449f3718c004904dcbba46b4a2ccdabb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5253935,"id":"Q5253935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305562$B27E0476-FC49-4F72-B292-E5E035CDE02A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523f04cb2e34b987f8f0638ca56920c6298ac76b","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb35f5b96d6b724f1ef8ea99d7ea0b23e794330","datavalue":{"value":{"amount":"+0.7913376688957214","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":"Q3305562$3C9EC963-3A01-448A-A33B-46A0A31B5AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669e4f6b7c6a17581b7f49225e9acbe285fd3583","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d0172a9a9f03254c39a8c812cda0da4d8508e4","datavalue":{"value":{"amount":"+0.7768864631652832","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":"Q3305562$EF309E9A-CB66-4500-87A5-3D48B714F3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e0d6cf4bff08d33396572e4725247c943d3a14","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b86a83a2d987f05ce862ef8ac1c173d91d60a5","datavalue":{"value":{"amount":"+0.7689731121063232","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":"Q3305562$AE89BCAC-20C9-404E-AFCF-5E79D941B91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2331ec4df3b5429b5494c641126472a7edd5ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca59e27cf91b22981530d6b5f68e7497b19625c6","datavalue":{"value":{"amount":"+0.764151394367218","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":"Q3305562$81DC2391-A64A-4F67-ABEC-13A2DBBC4C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582ea6a6b2344d3c2be85eb09b8f7e6fdaf8365","datavalue":{"value":{"entity-type":"item","numeric-id":4917033,"id":"Q4917033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b8e6c8fc2a1a00035df27f8d6e69d469427a1c","datavalue":{"value":{"amount":"+0.7600618600845337","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":"Q3305562$00ADCE5D-71DF-43BF-9817-963FCEB6B702","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305562"}}}}}