{"entities":{"Q3648723":{"pageid":5678629,"ns":120,"title":"Item:Q3648723","lastrevid":49778032,"modified":"2026-01-10T15:46:57Z","type":"item","id":"Q3648723","labels":{"en":{"language":"en","value":"On the Proof Theory of Regular Fixed Points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640960"}},"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":"Q3648723$2E64D0D2-52F7-42E9-8B68-2EEC54ABF046","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"757296b45f4d34b2babf39eaa4fd0a295473780d","datavalue":{"value":{"text":"On the Proof Theory of Regular Fixed Points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648723$DFE032F2-E7B1-4C7D-AE7C-37D1E41B6C66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b367fb1f96a436d2d521ac0ae7c4e121c07a02a","datavalue":{"value":"1260.03108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$BFFB70D9-8BFA-404F-9807-2085019A671E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1d17522ad0ad5bbec3730f479778ed5ddad427e","datavalue":{"value":"10.1007/978-3-642-02716-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$77E8C00C-CAE1-4182-B0B4-5BCF0C5FE0B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648723$5B908833-5422-4EAB-9AFD-98581A2A28F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648723$EE14F29B-A826-47FA-8B50-795EE84D56F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648723$7BAFFB03-B75D-4866-9952-16BB079A0B10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6ab4303c242d5dd2faead75eb0106fd15964995","datavalue":{"value":"https://hal.inria.fr/hal-00772502/file/baelde09tableaux.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648723$436DF658-A646-452B-8650-24E175B02947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$EB26C447-F189-4716-A08F-30961D4D4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$C8448859-C47C-4435-BB02-2BB9C28EBFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$AE4FFF60-66C3-4690-B1F0-EFAD58A6A1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$E9D3B585-0D42-44BC-B171-B3B20A8E1F4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d40b249c475d3783e7e90c6a798105558365d07","datavalue":{"value":"5640960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$A07B8756-D61A-4D21-87FC-2333453FF6D1","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":"Q3648723$5A649C63-4AD1-44CD-9867-007EE94A34C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43c8257e98b77f3d052a938afca3e088bc08c90f","datavalue":{"value":"W1600124086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648723$F851D026-F9C2-4A01-9311-E9F8882C1E9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3619fe6803835f083d4d747c42345235aaba78a5","datavalue":{"value":{"entity-type":"item","numeric-id":4659341,"id":"Q4659341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3595b1ac3cbc2dd0ffb3761ca2ca5f8f146ca89f","datavalue":{"value":{"amount":"+0.91158116","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":"Q3648723$6E2D45DE-DB26-4FB0-86FC-A29EEE32B9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107b065668b205178c8b3bd456abe2b23e383b61","datavalue":{"value":{"entity-type":"item","numeric-id":3145979,"id":"Q3145979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079ef9ab57c49223bfab5b194f8065c19f99cd2d","datavalue":{"value":{"amount":"+0.9024154","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":"Q3648723$4A16227B-E471-4738-A6D5-F30071A8FF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61808b8bdb5fab1b7bba82a9653f1bb4aa739144","datavalue":{"value":{"entity-type":"item","numeric-id":4722832,"id":"Q4722832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d002b7d63005fb57ab754cf8e936421a2fc27e","datavalue":{"value":{"amount":"+0.9013849","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":"Q3648723$5E4A0972-F546-4686-BC5E-8B9329F904E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38ba77c22657d0f935c7da0d426017b2e608b45","datavalue":{"value":{"entity-type":"item","numeric-id":4734479,"id":"Q4734479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d002b7d63005fb57ab754cf8e936421a2fc27e","datavalue":{"value":{"amount":"+0.9013849","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":"Q3648723$1704DF12-C80A-4F31-BB1B-60C79428217F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b135c322df17e267be18d830dcd1720d103620d","datavalue":{"value":{"entity-type":"item","numeric-id":5903954,"id":"Q5903954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d002b7d63005fb57ab754cf8e936421a2fc27e","datavalue":{"value":{"amount":"+0.9013849","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":"Q3648723$06859C20-0E54-4FC5-A227-A8245B1778A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb8c9e5d69eda7b50b0822fcd18912602da6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":5896321,"id":"Q5896321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d002b7d63005fb57ab754cf8e936421a2fc27e","datavalue":{"value":{"amount":"+0.9013849","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":"Q3648723$B0960781-0FDC-42B0-8E9B-D65EB3C175F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b30cefc0567a1799d2422bf40d9123d00f024ad","datavalue":{"value":{"entity-type":"item","numeric-id":2944797,"id":"Q2944797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55d1d31b388ae7f46068366467069f53148220a","datavalue":{"value":{"amount":"+0.8974847","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":"Q3648723$315CCE8F-A463-4F5C-B930-893B9B423FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42adf2adae14719318821800f25ac40deebd1e9b","datavalue":{"value":{"entity-type":"item","numeric-id":3812917,"id":"Q3812917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa0f73be003412c22e40699fe287d668c905a59","datavalue":{"value":{"amount":"+0.8968858","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":"Q3648723$580703F9-043D-416F-9A3F-67CDA0380E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936b88aa07176f061b3d0c725e92aa582780948e","datavalue":{"value":{"entity-type":"item","numeric-id":3480773,"id":"Q3480773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa0f73be003412c22e40699fe287d668c905a59","datavalue":{"value":{"amount":"+0.8968858","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":"Q3648723$25011922-022E-4753-B15F-BF7C34458880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3648723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3648723"}}}}}