{"entities":{"Q3984293":{"pageid":6014163,"ns":120,"title":"Item:Q3984293","lastrevid":42302728,"modified":"2025-06-04T14:59:42Z","type":"item","id":"Q3984293","labels":{"en":{"language":"en","value":"Complete Coinductive Theorems. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25969"}},"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":"Q3984293$65DCECA7-8E04-4046-8662-AA8B76E4D378","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3d2d5c99cd11b6531c6f38ceceb00c185ca7dce","datavalue":{"value":{"text":"Complete Coinductive Theorems. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984293$CDC1F7DC-53AE-4BD2-95D4-6DF73B3C7FBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dad9484b13065594c9a48dc9648ad6cbc1a2e1f","datavalue":{"value":"0739.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984293$70AEC953-D881-465F-A9E0-FC577E6B6A90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1dfd141021aa749d93742ec7447623d8e2c27e9","datavalue":{"value":"10.2307/2001794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984293$52554B64-6A2A-4665-A346-6222BAE6D1B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984293$1B7F2DD7-75FC-4550-A4F9-F2F5B5D0B968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984293$C25D09E9-19FC-463B-9B2E-145C4D2E51DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984293$21FA1107-A480-4578-A004-9DC063DCA2E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"260841edf06d49fa87f7e3f1969ef89015d1ef2b","datavalue":{"value":"25969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984293$0517746E-091E-4E0F-8B24-45CE97386D71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3aff7dcdb7a47aad7e7d87b12aed7064245666f","datavalue":{"value":"complete coinductive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984293$E9641AD9-9AF9-426C-A439-6D3041581B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b7048a228a4eec531cc147ce201e924ba367ae","datavalue":{"value":"axiomatization by \\(\\exists \\forall\\)- sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984293$1FF882A0-A7D9-4FB3-93CB-BFA6804C0C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6d98fef821e071cb55d9c5613315eeaaf3c18f5","datavalue":{"value":"tree-decomposable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984293$13F04C02-9753-42F8-B1CD-6ECC419AB32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984293$67E30D29-909E-49FB-8134-4B7FD39A32C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984293$73688F5C-75A2-4A0F-A1EB-7503B327E051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984293$6CEC5172-C91D-43F5-80C7-AE4E2D33CDC6","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":"Q3984293$E2C627CE-2A36-4AF6-9FED-F0594CE39573","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":"Q3984293$BA037F6D-62A4-40B3-9AA7-DDF3814C12D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df118f0b67f73fb30315d4bc4ae79a00030d84d4","datavalue":{"value":"https://doi.org/10.2307/2001794","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984293$5DD50B66-AC98-45F7-B8D7-3A205BD18E48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32fee2675ea36d920faf7c35ad67a3839013bc15","datavalue":{"value":"W4246960362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984293$F8955133-F5AD-455B-9576-B4BB8A162F77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd75f22bcf3ea40fd726626e17330d7317251e86","datavalue":{"value":{"entity-type":"item","numeric-id":3486554,"id":"Q3486554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211c86690407599a7caca669e8a8939599d7e69f","datavalue":{"value":{"amount":"+0.8369894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$4BD08989-D076-4102-A26A-0F8551B77473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebe584145f31375543b2deae1b61dff4c4ac4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3609625,"id":"Q3609625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393a7ed85648161f2c97e75e55c1e67d8eccad1c","datavalue":{"value":{"amount":"+0.78168446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$1BDEDD8B-EF42-40EF-AE5D-FB83A2FB580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ffdbf61bd87fcaff0662956b07b8c706e169b2","datavalue":{"value":{"entity-type":"item","numeric-id":5749279,"id":"Q5749279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a7a3abe87839da0cb4aad4e361d6cae9f9ae88","datavalue":{"value":{"amount":"+0.7812585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$6E992FAB-3611-47E0-A16A-8264EEBF03A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16ea75026eaa67e682b2d853314f70354bfc284","datavalue":{"value":{"entity-type":"item","numeric-id":3777997,"id":"Q3777997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b9cb7e420345ed79f5cbba0e47f0d95a7317e3","datavalue":{"value":{"amount":"+0.7563827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$738E1652-B60A-4946-87A2-7A75914E21D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0d504a358a2e2ef2cc6ac845bf91611fdf3aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3312205,"id":"Q3312205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691a3cc3d8a5228aacada4603f18ac770b21b1ec","datavalue":{"value":{"amount":"+0.7506816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$D98BCDDE-97E2-4AB5-A307-CE9B1FB2A9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8bb611b60eb14cce571a428138b6b73c2a5064","datavalue":{"value":{"entity-type":"item","numeric-id":4823800,"id":"Q4823800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73e96193d4893fe22b51537493a3ac6c3c2a9d0","datavalue":{"value":{"amount":"+0.74577403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$E1ECB340-550E-47AD-A245-0E8FCB30F8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b8e241087664c79c33af8ed2052f41d48a7e35","datavalue":{"value":{"entity-type":"item","numeric-id":4934033,"id":"Q4934033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37110eda3a2517c2f2ed825ed3159980f2a58336","datavalue":{"value":{"amount":"+0.74525297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$9330360D-CFF0-489B-9F6F-7F76DBB94456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d4a4e79808a82734343a30faaf780c726caedd","datavalue":{"value":{"entity-type":"item","numeric-id":4779648,"id":"Q4779648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71fac94b78ad3ea11e6e6c0b9b5a61d8da3ab3b","datavalue":{"value":{"amount":"+0.74489456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$6D642679-CFD5-4618-A431-31414D8FCB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd08e26734b57f42da93dc938b331bb03ab6428","datavalue":{"value":{"entity-type":"item","numeric-id":3813801,"id":"Q3813801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27e9d0b9348b11cd8256e44b6f31440ad049420","datavalue":{"value":{"amount":"+0.73181003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$D0D95F84-B250-4022-AF03-F82B3A236BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce8b304308457bae87827f45e2d53df0bf7921f","datavalue":{"value":{"entity-type":"item","numeric-id":3313848,"id":"Q3313848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df843d0f69ada99aec13f3dfb6c6eeb92cbd305","datavalue":{"value":{"amount":"+0.7288418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3984293$D3EB6CC3-1089-43EC-8689-EFA59107B7D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984293"}}}}}