{"entities":{"Q4917033":{"pageid":6946614,"ns":120,"title":"Item:Q4917033","lastrevid":51704597,"modified":"2026-01-19T14:17:18Z","type":"item","id":"Q4917033","labels":{"en":{"language":"en","value":"Generalised coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158628"}},"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":"Q4917033$A6594CC4-B3C4-4D1C-8CBC-AF1550D2424D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba47107409337cb1387b7ee6216d9c9499b91406","datavalue":{"value":{"text":"Generalised Coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917033$07B131D4-3CCB-4AA8-9AF3-9C600664FF63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4af50075753d440b01368f5613d7be933944de13","datavalue":{"value":"1260.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917033$50255030-8C47-4E44-A672-7A130156DFC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbe88cea1462ed4e07277f3eacaabec9648e3446","datavalue":{"value":"10.1016/S1571-0661(04)80903-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917033$A5B9B646-6BCA-43CB-9AE7-E4E6F276B2A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$608E2204-A863-4BF6-B3F5-76A5497721E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917033$BD5EB351-14E9-4372-95CC-C2DA43E9C7DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917033$2437C8F6-0205-4F30-B6CA-AD453F22594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917033$99F94186-681F-4B94-85EE-203A0932A3D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffe4dcc10a35bf520d8b4e74e21db6388c13f307","datavalue":{"value":"6158628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917033$A4FA7EBC-3AD7-4749-BC84-DF056B383D65","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":"Q4917033$EC10AC69-EE4D-4BD0-AD69-BE1C44BDADCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e029305c30f8a602f10ab69f9f48cce2f6fb08e","datavalue":{"value":{"entity-type":"item","numeric-id":4917033,"id":"Q4917033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$EBEF78F5-3DD0-4C93-AC27-CE7EB120E2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$E8DCC34E-5E43-4CF6-A4B0-E60C2EDAD9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$BDB01C66-17BE-46A4-BAF7-908E4CA7CAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd969cb85140685ca5f4d14d2611a323b0b4def","datavalue":{"value":{"entity-type":"item","numeric-id":1294117,"id":"Q1294117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$39201B9A-DEB1-445A-86DD-EBBB7F8216C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afd5d01d325e6477a6401ded12b1a584ba549d","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$934F03C3-0D8D-4F47-B920-D13B2FB4900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$582D09A1-E7FF-491F-B538-52CB40CD9B58","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":"Q4917033$90A00B98-529C-4C39-9121-6A90FDE0CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60670651fe34c8574d07c10a2fd425d5e1806fae","datavalue":{"value":{"entity-type":"item","numeric-id":4256313,"id":"Q4256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$93D33966-328B-4E4C-A9F8-E51ACC5141E7","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":"Q4917033$2A3F0D6F-7D33-43F3-9114-D85E4B61C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$0A26A138-2976-41A9-8B7D-BE039B01E5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b238fbf6ead825f266d98e657f1e8f9114614f","datavalue":{"value":{"entity-type":"item","numeric-id":4267198,"id":"Q4267198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917033$AA48D046-80DC-4AC2-834B-86C399100DFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a218870a5d14cc98ccd989ff689baba284e13b0","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80903-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917033$7814B3E7-E7D4-43DF-AC2E-04786F6231C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a1303325b6eb7d3427ce7016185472b9c7a7921","datavalue":{"value":"W2341511048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917033$405113B3-9058-4190-923A-DAE4BBDFF2DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94903d3c9eb084e4afe4aef7da3ce81980302e94","datavalue":{"value":{"amount":"+0.8332583904266357","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":"Q4917033$C42E00A5-7DC8-455F-BDC5-FF37D9A1682B","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":"94903d3c9eb084e4afe4aef7da3ce81980302e94","datavalue":{"value":{"amount":"+0.8332583904266357","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":"Q4917033$8F41E3B3-98D6-4857-BE8E-9B89156B61ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d4cf6dfa1b406b1ad454b9e71c22ca0235e475","datavalue":{"value":{"entity-type":"item","numeric-id":2843722,"id":"Q2843722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462414150e63b61b5d1b48934d55b7d5491ff16d","datavalue":{"value":{"amount":"+0.8302536010742188","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":"Q4917033$E49A29C0-5E12-41A0-A283-B333A11102F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0041265b30330555ea416b4f65d7526eb233d647","datavalue":{"value":{"entity-type":"item","numeric-id":3638258,"id":"Q3638258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a01069faf259b5a5ea0b39b35ed1d411ce943af","datavalue":{"value":{"amount":"+0.7944772243499756","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":"Q4917033$736D3080-FC18-4AAD-BE47-6888F358651B","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":"13355a9205249a901437633f37e66667eb50d0fa","datavalue":{"value":{"amount":"+0.7939927577972412","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":"Q4917033$ADEB1F9A-F4B7-4631-A53F-973A54CC80F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917033"}}}}}