{"entities":{"Q3822150":{"pageid":5852056,"ns":120,"title":"Item:Q3822150","lastrevid":54171038,"modified":"2026-01-26T09:46:56Z","type":"item","id":"Q3822150","labels":{"en":{"language":"en","value":"Coinductive formulas and a many-sorted interpolation theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095437"}},"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":"Q3822150$225F24EE-F39C-4F99-B1AF-C350197851C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c596e7ea49bb3aac914a5df51e717af3a801783","datavalue":{"value":{"text":"Coinductive formulas and a many-sorted interpolation theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3822150$054EB54C-97A8-4B48-8E65-CEE7035BA242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d53405170eaca96a18604a883373edeb352e823a","datavalue":{"value":"0669.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822150$6784E0B9-41D9-42D4-9E34-3B1AB0AEA162","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a83acdac1d27e4d770b8d6b37d8d5f3ee2adea2","datavalue":{"value":"10.2307/2274584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822150$07E0BBF5-7809-4364-91F3-1C1E25AE75BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef15e6628c4f2a36d88634bf48c54852a4dc150","datavalue":{"value":{"entity-type":"item","numeric-id":3822149,"id":"Q3822149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822150$7737A456-3B90-4C61-92CB-AAF55445E220","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822150$7FBDE19A-53F2-40DC-8771-7D2DCA25E0DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3822150$7BB55CB7-DBFD-42B5-B5C2-B8F84262487F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822150$E3157670-9B30-4676-B81E-19228D15416A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822150$9BDA67AE-4E16-422C-ACC1-0B68D11B90B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822150$BDFF93DE-AC11-45D1-8E73-4625421745DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b8d1ce4e5c770b6baee91a74142e841d49fd855","datavalue":{"value":"4095437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822150$DF98277D-D2EE-411B-905A-56C9E00A06BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6e8e65eacea315a42ac7d935196b4672991957","datavalue":{"value":"co-inductive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822150$254023B3-3EC6-4BB5-8A3D-5095AA679306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822150$E39A3092-4933-4D93-A17D-297A92A8B50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f335bf0b07dad3d6cb98e054dee7e54082ed5beb","datavalue":{"value":"many-sorted languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822150$1C243D74-DA28-42F7-B6A0-9D8CEFB2D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822150$4668E502-10DE-4D9C-B107-16CC291DC937","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":"Q3822150$BD0E8432-ABBE-4BB1-A680-82C153E3C84B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67e8e25a626e83383f51f0d4d5fa2a14924f8c15","datavalue":{"value":"https://doi.org/10.2307/2274584","type":"string"},"datatype":"url"},"type":"statement","id":"Q3822150$B5AC3595-2758-441B-A049-18CE939E2485","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b8b91c34099496aab226407259af21471fffc23","datavalue":{"value":"W2033321278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822150$D68A70B9-9239-4EE0-8619-4BA181A36E30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e46412a496f2d953fd637c7db78649bf244c80e","datavalue":{"value":{"entity-type":"item","numeric-id":2556326,"id":"Q2556326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822150$DC023471-DD7E-4070-AC40-5F5CD7188460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1f3aa800b8aa81a655f06849ca998d80e02bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4100057,"id":"Q4100057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822150$43BBAEAB-9D24-41F0-901C-6067EE838733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28c4448a377db2fe77b2e2652a92e94bccb342e","datavalue":{"value":{"entity-type":"item","numeric-id":4081206,"id":"Q4081206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822150$69E87C77-9C7F-4905-9BFC-0AABC2B6F98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69352d39d52ab562d319e1fe20f00b3e917355b","datavalue":{"value":{"entity-type":"item","numeric-id":4775853,"id":"Q4775853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822150$1F11FB64-2BE7-4532-B220-276B4828F303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67396a585a63b36ad70fa8297c1425a1acfcfbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3344184,"id":"Q3344184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcca403ca0bb9c1483954328bea6c6170cacedc","datavalue":{"value":{"amount":"+0.9055314","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":"Q3822150$299935EA-2D0C-42C9-9874-79E5DA2F3FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0090e119c84bae189a9643a15a5400196cd26ea","datavalue":{"value":{"entity-type":"item","numeric-id":3028980,"id":"Q3028980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf17761958a2d5f451181dd768f6f959531c3ebb","datavalue":{"value":{"amount":"+0.8776456","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":"Q3822150$6337C279-23C5-44D5-BD6D-3CD362A01B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428661f1d6ed84000872ea0831a127d13c3ba44","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481095eb067c8b5c4965f7d8bb82887881e6e28b","datavalue":{"value":{"amount":"+0.87659955","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":"Q3822150$A70610EB-E190-4CD0-90B1-0F736055DA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab8cf452a276a1312e6d7ae1107b62b9b41ad21","datavalue":{"value":{"entity-type":"item","numeric-id":3818311,"id":"Q3818311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2916ab93653f220cbf5b7bcf0e948428ee7317","datavalue":{"value":{"amount":"+0.8740723","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":"Q3822150$39B98476-4B53-4482-82AE-091A6CD1DF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb914d6bb4f24fb85f09408448e020896014429","datavalue":{"value":{"entity-type":"item","numeric-id":627121,"id":"Q627121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba1b28c3e0ddddda984d2b5e3e5ffc7726aa0a0","datavalue":{"value":{"amount":"+0.8729102","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":"Q3822150$D9368F4D-49B4-4BD0-8B8D-79B0D1889500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec44d42f45fdbbcd8c20b0b8af86d8edce83ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1024119,"id":"Q1024119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5842fb4a09591e075ad74c50f7bb73fd829060b8","datavalue":{"value":{"amount":"+0.87099403","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":"Q3822150$6C7EE3F5-5592-42DC-91BE-AE2E919DFA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b06de468b1d2e4a214737f8d2e3032bd8e024fd","datavalue":{"value":{"entity-type":"item","numeric-id":3688387,"id":"Q3688387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1370be59880a389d413162fc4b549715008a640f","datavalue":{"value":{"amount":"+0.866562","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":"Q3822150$34B23332-6B7C-4CB2-8A8F-66076DE603AC","rank":"normal"},{"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":"a3993c11e090a9a54a5331cc7855ee9e167c097b","datavalue":{"value":{"amount":"+0.864802","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":"Q3822150$36B450C9-F7E2-444F-BDA0-E9DE494FA209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b044e1b8b1ef39d737dfe736d8ed173573dd3eb","datavalue":{"value":{"amount":"+0.86426914","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":"Q3822150$233DEB3B-4CFF-40BF-AC51-414490025263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1347d196fdd41ff8e8fcebd519bed37f956fdaa0","datavalue":{"value":{"entity-type":"item","numeric-id":6174524,"id":"Q6174524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48ed80ab8da5f5344f23dc788e3538b5a617a1c","datavalue":{"value":{"amount":"+0.86298287","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":"Q3822150$9BB77503-CB79-4466-B88A-A958B347AD09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3822150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3822150"}}}}}