{"entities":{"Q6653761":{"pageid":14264918,"ns":120,"title":"Item:Q6653761","lastrevid":103711049,"modified":"2026-06-06T07:58:04Z","type":"item","id":"Q6653761","labels":{"en":{"language":"en","value":"Inductive and coinductive predicate liftings for effectful programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959056"}},"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":"Q6653761$C5F2F3D0-24F6-463B-9795-63317C0FAA67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"257550c3dd0e08ad94d61e0f1bbd909c15134ded","datavalue":{"value":{"text":"Inductive and coinductive predicate liftings for effectful programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653761$1CFC4FED-6614-4843-823B-EF4FB2147740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$0424DC1F-38FB-4FD6-B55A-1543E9C293B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60ac403d6762b3192c735da485a78f666e362961","datavalue":{"value":{"entity-type":"item","numeric-id":1688947,"id":"Q1688947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$138B9530-DFB3-464B-B0AB-CBC99537453C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"225560291f4bcf404dd3dfdfdd922a74c2690673","datavalue":{"value":{"time":"+2024-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6653761$CE1E30C2-1B08-4C30-B822-40B6AB49C60D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653761$A195D6C1-D116-434A-8DAD-87221C543420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653761$7EB7B6AD-B948-4DEC-A662-FC224777F470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f3f1b6fafa958e2903189f8c2fa326e2d3b7e52","datavalue":{"value":"7959056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653761$61369160-B901-4BDF-95A3-DE76C770AD20","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":"Q6653761$D0EAF1C3-3B9B-44CA-9472-8D0E5B483216","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$C860C120-0233-4E28-B143-4C27044422E8","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":"Q6653761$18D46D1A-AFB2-40F9-ABF0-FF837709CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fd92b9833462fe42760b8d6fc3f0d085dea203","datavalue":{"value":{"entity-type":"item","numeric-id":2988390,"id":"Q2988390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$D0F97AF7-85D2-43BE-AA9A-8BDBCBE0EDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98b134c489ef3023af867487d565081ebe9b47c","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$20EA188B-B912-4A34-ACC6-A6FE1A5AB072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$FCD83AA0-D332-4FE6-9A56-E79AEADBE778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680cb7bdaa877f329b8283a06cadcaa6b75be5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4559601,"id":"Q4559601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$DD92098E-6E29-451C-95BF-0302EF3E20FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea309f37c981e5b0b2835f097b6a2ae230d10a51","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$671622FA-82BE-4676-9406-9EBB78979683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$91623707-C005-4CCB-BAFC-81C16D452D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d084445455614909fc3077fa2ee195426771b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144664,"id":"Q5144664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$79B4807E-C5FF-4C9A-AAFE-FD7E14CB1445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$B871A0B8-844B-4B36-9CD0-00868626C393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31862ba1a6e135191931a51c3d4974b59863c42","datavalue":{"value":{"entity-type":"item","numeric-id":3000597,"id":"Q3000597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$59757FED-74F5-4317-BE56-D83D569B957E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a5e9ea9e86a3cbfa38f66c2f1949ce00a4f619","datavalue":{"value":{"entity-type":"item","numeric-id":1427853,"id":"Q1427853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$49B50EF0-4741-4FE7-992F-F3F3155EB778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba95b73a915c8ae57937382400c8b9a4455d4a7","datavalue":{"value":{"entity-type":"item","numeric-id":2289090,"id":"Q2289090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$EB04330B-625F-45D0-8F70-54F0355AB38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$E922B893-3B7E-4B5F-ABED-DBD5EA0D2044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df4665af2f8c56e5500784941d01b7088d3b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$5087A488-7F61-4799-BEBC-62F67DDFEAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$D8C1167E-14A6-4D89-A4E7-F1CFA2BE7967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$2CDFEF4E-BC5A-4056-BAF1-0EB99A2BA618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$47C3F2CA-7A7B-4358-821D-F6BF58E90981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c77992b9a4ecfaa4f9ad1dc33b5d78181cf582","datavalue":{"value":{"entity-type":"item","numeric-id":2871476,"id":"Q2871476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653761$653CE83C-388C-4ECE-B84B-C44E39C5CA61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1c19c91ad7107187c80f984c81f31e5849be567","datavalue":{"value":"10.4204/EPTCS.351.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653761$7FC5D246-DDDE-449F-961F-9AAB81C32CEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive and coinductive predicate liftings for effectful programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_and_coinductive_predicate_liftings_for_effectful_programs"}}}}}