{"entities":{"Q3486554":{"pageid":5516454,"ns":120,"title":"Item:Q3486554","lastrevid":46903902,"modified":"2025-12-25T20:04:20Z","type":"item","id":"Q3486554","labels":{"en":{"language":"en","value":"Complete Coinductive Theories. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158616"}},"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":"Q3486554$D5E955C3-E709-4548-AD6F-20D83FDCCDB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af4bdad08344340a831d0c07d30321b9229c884","datavalue":{"value":"0706.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486554$5E85BAD7-FFDE-4392-8C11-534DAD7ACCFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"399417be29dc1cfc6a58032025f90ec3c0e45bf6","datavalue":{"value":"10.2307/2001343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486554$B05E749D-F104-4B21-8085-E79670EC68E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3486554$4F96729A-1A5C-47BE-8771-2068BD973027","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486554$F3B6870C-0D0A-41E4-B063-165CF19F4E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486554$DE340352-A751-492C-A6D8-F16B2F258350","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"412d05b2398ebafe2e7a6474e4aff5a999e78780","datavalue":{"value":"4158616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486554$79B2C96A-4F69-4251-9F8C-52B1A2651397","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8953c8edfb4d4250ea02c1f7b66f0a73d0d083d0","datavalue":{"value":"relational language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486554$D12B4453-8C72-4A2C-95B9-48670495C916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d870aa2f5cee3517159631e11dc1693edbe8dfb","datavalue":{"value":"models of complete coinductive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486554$5A2C5793-829B-41B2-B896-3BEB7A20F075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486554$10EE0982-61DF-44B5-88B4-D18CF01E5243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e79e7e2c8a7ca2cb37c64aef4204d2b19af3a9","datavalue":{"value":"algebraicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486554$61CB3A07-3C9D-42F3-90E7-427D20CD8137","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6f663afe99643fc0b06a4f80802aca12f5eca1","datavalue":{"value":{"entity-type":"item","numeric-id":1182486,"id":"Q1182486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$4AF33ACD-90FE-4F02-81C9-99C2E4B146F9","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":"Q3486554$FE1EDDFD-79F6-45C7-B361-87C1440BE50F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cfc51e5947edc5b9b92baa5ab7c191b04b71129","datavalue":{"value":"https://doi.org/10.2307/2001343","type":"string"},"datatype":"url"},"type":"statement","id":"Q3486554$C66DCA64-C1F0-4FF8-A6DC-C97DAD5B3E8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60d589935b8f3d58a0f0bf4348576561c039a81e","datavalue":{"value":"W4213354593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486554$F09C372F-7BC5-46F6-8CB9-8BC4F15022F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9864f9ae85fa646ce467a80e9144728e57088f49","datavalue":{"value":{"text":"Complete Coinductive Theories. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3486554$49DCAA71-F19F-4BF4-8CC8-6984B791F1EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13033db2de2bcf3d25f5f29ab4635f0452a19004","datavalue":{"value":{"entity-type":"item","numeric-id":1157322,"id":"Q1157322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$691E0CEC-A3C5-405A-AC1B-84AED5D6FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$D641DCBC-7A3C-4246-9CA6-A0E528EBE236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c75e6a217e1fc5d1701fd39a558852727df1eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3781744,"id":"Q3781744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$B0D187D8-B1CF-4BF7-863E-5EC3C8512FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d8ef6f7538324e3ac198ab4cb5af5b11f6a81a","datavalue":{"value":{"entity-type":"item","numeric-id":3791127,"id":"Q3791127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$463537C5-23AA-4B1B-B1CA-3C0D92BF0258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47d554735b5185b9c84f35a7a4340f0f0ad5c50","datavalue":{"value":{"entity-type":"item","numeric-id":4314674,"id":"Q4314674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$440EC21B-FE5D-4CAE-AA43-F7615AB1B9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6412a5f04ae9e455f6eda0b90eb0f772255628a","datavalue":{"value":{"entity-type":"item","numeric-id":3777997,"id":"Q3777997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$8CCB4CAC-3B8F-4B14-8472-0DFE35F28ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7d9b5a127993f924f74677a5c5ccf7e2eb05f9","datavalue":{"value":{"entity-type":"item","numeric-id":3984293,"id":"Q3984293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$212EB622-DA53-4EF0-81A0-3DC78C40D042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b37c670c4dfada891d0f1ef0c04633ea9da641b","datavalue":{"value":{"entity-type":"item","numeric-id":1077438,"id":"Q1077438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$729F2DF5-9BFA-4142-9D3C-6582D753A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0940033ebea608c05d109e1b6cea9d61c4edaf3","datavalue":{"value":{"entity-type":"item","numeric-id":5202176,"id":"Q5202176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$7FFDDB57-96BE-4A21-9742-BDADE9AD1316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71bf2e7e592381dbebb8b276787acd05ed87363","datavalue":{"value":{"entity-type":"item","numeric-id":4170706,"id":"Q4170706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486554$9723848E-AA35-4279-A64B-F8940C8CE843","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44fcf9ad207465cc8a984ac59b3b79b43cfc3e4","datavalue":{"value":{"entity-type":"item","numeric-id":3984293,"id":"Q3984293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d04662d0cfc77139350f6a9a542355fc7ceb3d","datavalue":{"value":{"amount":"+0.9628917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$F48F7284-8F9C-43B2-9F2E-28B9C145E275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ab9321e815a6599e35c5ae89a03f75cce562aa","datavalue":{"value":{"entity-type":"item","numeric-id":3722558,"id":"Q3722558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9c92156f7cf4330b7ee056bab76b51d0cb0e70","datavalue":{"value":{"amount":"+0.87924296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$3AB0CAD0-7A6A-4D88-97D3-DC546F0C5347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9271f3ed2dd88ca444b08be6f941aa5d79de17c","datavalue":{"value":{"entity-type":"item","numeric-id":5739456,"id":"Q5739456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a187084c02bbde9f5eea627d7424e5ce56d68c2","datavalue":{"value":{"amount":"+0.87895644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$991BEB5D-25F1-4A14-8922-422C9BE95FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7939eaf0e3c80c37aeda57636aa2cb5b9b70f34e","datavalue":{"value":{"entity-type":"item","numeric-id":3192180,"id":"Q3192180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a0e2e78cf9d64aa320067320eccf7232df38ca","datavalue":{"value":{"amount":"+0.8768159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$60A8B771-8563-4619-9B17-51E8FEB672B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a3537ee610732ebdba28062459be31ae19626b","datavalue":{"value":{"entity-type":"item","numeric-id":2904618,"id":"Q2904618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fda066aa23e842386e86c49723ccf4ce4a3a04","datavalue":{"value":{"amount":"+0.8718321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$2E36767B-FECF-4C2D-9E4A-F60C8EDBE11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45259a692f704ff9fa5333f98fe9a1012f3def9b","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05a65b01fcefe9a1a5a54f7cb61c42210d39bdf","datavalue":{"value":{"amount":"+0.86773074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$1B94C97E-2C91-4A2C-AD53-05D57CDE5420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328c48866e35edbb9a45352dff60b0db0c4fb1bd","datavalue":{"value":{"amount":"+0.867561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$B0B5BE55-CFDA-468E-92D7-877EB448B807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63434c898166f05bb3e6080b4b5101677ac34051","datavalue":{"value":{"amount":"+0.86488605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$83D26867-F9BB-4AD3-A416-F1AC50E5B124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0bd20ba7c561ce63593daf55ed8094ab98fd2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1770534,"id":"Q1770534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e08253d7a41558cd686392aa7ddd7f40111ce93","datavalue":{"value":{"amount":"+0.8608994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$9C7E841E-DD47-42BB-ADE7-F282C38C1EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6793354fea15f08743ba3dcaec1d18eab1165e43","datavalue":{"value":{"amount":"+0.8591022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486554$071E02AB-0F3A-4E60-AF71-B77A7B4176E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486554"}}}}}