{"entities":{"Q3623012":{"pageid":5652918,"ns":120,"title":"Item:Q3623012","lastrevid":80836445,"modified":"2026-05-06T17:06:38Z","type":"item","id":"Q3623012","labels":{"en":{"language":"en","value":"Bootstrapping Inductive and Coinductive Types in HasCASL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548989"}},"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":"Q3623012$1F82F4CC-AA85-49D6-88F4-602E0987FD07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65dba5c91bf107cf3518e0007edd66a4c5a622d4","datavalue":{"value":{"text":"Bootstrapping Inductive and Coinductive Types in HasCASL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623012$B28DE9A6-1A44-4CCF-95A7-2D60744DC7BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f046ea188e499f1542cdfc65875cb29dfee26609","datavalue":{"value":"1161.68383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623012$C065D173-1334-4EFE-83EB-EA97F19E705D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9995f6bf393bc78991c4580bc72bb04246bea747","datavalue":{"value":"10.2168/LMCS-4(4:17)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623012$662172EE-1347-4E33-A947-3CB3E73FDEA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623012$119EFAAB-104E-435E-8E54-681C2A754946","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623012$7E92E17F-4D0B-4C64-88E2-6D8B9021598D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623012$ED491393-7C38-4385-8018-88E2B41CC610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623012$B20A73F9-F231-4CB9-A14C-A1C140DC0FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623012$F06BF83F-527A-4988-9DB9-D14232BD5518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7964d32f8efe549af87d206ac66cb3c5dd259ee2","datavalue":{"value":"5548989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623012$A4F0BFD6-A90E-4FC6-BCBF-A0A0085A1626","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623012$8F15B848-13A7-45F2-BCD9-90B01F630707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623012$87465F82-52A4-4248-99C8-32CFC2A385B9","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":"Q3623012$05A11651-A9B9-48A4-AF22-CFB117B6EB91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c27942d42a49337f1ed288003a8450162b13f81","datavalue":{"value":{"entity-type":"item","numeric-id":3612506,"id":"Q3612506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3350162e6975cb64e0873b7b7ce1e6fb85fe2b79","datavalue":{"value":{"amount":"+0.9583380222320556","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":"Q3623012$23515FC2-0E01-4711-9393-70252DDB0B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50721503aef0079c5f4222b84006844b865b3d45","datavalue":{"value":{"entity-type":"item","numeric-id":5945839,"id":"Q5945839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5f3148a9acad1143adea5ec24572ff098fc8a4","datavalue":{"value":{"amount":"+0.693141758441925","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":"Q3623012$35A34CB4-51B1-4735-852B-24BE42B6BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbab06b957161c9b789968784bd37f49f2c4c2f4","datavalue":{"value":{"entity-type":"item","numeric-id":2843729,"id":"Q2843729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5f3148a9acad1143adea5ec24572ff098fc8a4","datavalue":{"value":{"amount":"+0.693141758441925","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":"Q3623012$AFA58742-CCC0-4B50-B6AF-631A46C97E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95dc5aa3712119c5e15245df45736abe6aacc47","datavalue":{"value":{"entity-type":"item","numeric-id":673963,"id":"Q673963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1dbed5874da3edd9e241b0bbd48a8d5aa45f5b","datavalue":{"value":{"amount":"+0.690433144569397","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":"Q3623012$38CBF4D6-DFC3-4F17-B999-40E72A5A6353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8df63c5a7f7075ab4b0daf78263796cd49bc818","datavalue":{"value":{"entity-type":"item","numeric-id":2369034,"id":"Q2369034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3418c160773bce3bb5d5a948c11a38665537a2dd","datavalue":{"value":{"amount":"+0.6866576075553894","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":"Q3623012$159A0BBD-A128-48B9-A6FC-B9C038F4439E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bootstrapping Inductive and Coinductive Types in HasCASL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bootstrapping_Inductive_and_Coinductive_Types_in_HasCASL"}}}}}