{"entities":{"Q3372483":{"pageid":3383187,"ns":120,"title":"Item:Q3372483","lastrevid":88162130,"modified":"2026-06-04T13:47:58Z","type":"item","id":"Q3372483","labels":{"en":{"language":"en","value":"Formalizing two fixed point semantics for \\(HH(C)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007862"}},"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":"Q3372483$2C96D82E-353E-4254-8279-6B20EDC9412C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a879b17d20d17cc1e346507b230279b0bcb840ce","datavalue":{"value":"1084.68512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372483$2E115A43-A9AC-42BE-9CC5-BD753219735A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bbe8773717da930d5581b0e34820431f6fcbe0b","datavalue":{"value":{"entity-type":"item","numeric-id":3372482,"id":"Q3372482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372483$EB5333E0-073D-40C6-89C3-D255E90273FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e0deb06a9287a1e74623f4839b0b1e5b1d5c18","datavalue":{"value":{"entity-type":"item","numeric-id":683711,"id":"Q683711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372483$93D2782F-3FFC-4886-8B78-64351AFF1807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdf62483a5814915194a2a6a1a7736760394c780","datavalue":{"value":{"time":"+2006-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3372483$6BA013FC-70F2-4213-9949-617B2AE06767","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d9f6ffaf93c08e6204d35ea7c56a96d736e5003","datavalue":{"value":"http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/S04-01.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3372483$D5C35E94-00C1-4938-AEDB-3944B72A5E48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372483$D84B145F-0E5E-4B75-BBA1-F325A1D7AA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372483$A4C52200-EF7F-4BBD-BB76-A49259230879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372483$52A34F93-5C4F-4503-B762-F03C100B4DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372483$07D6E510-635E-4683-AB01-E0A537852DCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7968cb8d90eadd9f973c32f5955aa6e5697affa","datavalue":{"value":"5007862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372483$F1E0ACE8-6486-45F9-A0D1-5EDC944DAC8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372483$A2236A2B-6B5F-4162-A462-318A992F017B","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":"Q3372483$9377C722-FD29-42F7-8CA8-02195EBA1DA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab358f093d103972a3c22298b5526bc0e64a79ff","datavalue":{"value":{"entity-type":"item","numeric-id":4452636,"id":"Q4452636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18fa5f57bcccdb68132a94392b132a6eef6a82f","datavalue":{"value":{"amount":"+0.7929198741912842","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":"Q3372483$5487323F-E193-49D7-9A51-5F580757188C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89061b07a1b51c6ad89faf251c49e8724c1d8cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4940936,"id":"Q4940936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503dabbbaa3f266a21307141fda43d2c24f70198","datavalue":{"value":{"amount":"+0.7892586588859558","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":"Q3372483$D36A7124-BA2C-47E6-9058-4B7EC9E14CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff9cc259e417832dc0ec5f04cdadaa32a2491b4","datavalue":{"value":{"entity-type":"item","numeric-id":3524170,"id":"Q3524170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3197b40277f78a0fab7891f06e1feb0a3d5efeb2","datavalue":{"value":{"amount":"+0.7344228625297546","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":"Q3372483$46776F5B-F676-404B-8EF7-550D2102D1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76ea96ca4729cff43dbe200fbdc9a360f441fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3612637,"id":"Q3612637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07376526261f8f55751b0f73012afdb596013d73","datavalue":{"value":{"amount":"+0.7327749729156494","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":"Q3372483$F4B8F88A-2704-45D9-8A24-E278F022B470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312cd6666b1a035ff320842a06cb5c877c19b25f","datavalue":{"value":{"entity-type":"item","numeric-id":5458443,"id":"Q5458443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d972ad3d2e39be142fdb1ee8b7dec0f97fb4bb","datavalue":{"value":{"amount":"+0.7313728332519531","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":"Q3372483$88BE82C6-12D8-4C1B-A061-B8762C4DEE17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing two fixed point semantics for \\(HH(C)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_two_fixed_point_semantics_for_%5C(HH(C)%5C)"}}}}}