{"entities":{"Q3055748":{"pageid":3066464,"ns":120,"title":"Item:Q3055748","lastrevid":45357535,"modified":"2025-12-06T04:51:57Z","type":"item","id":"Q3055748","labels":{"en":{"language":"en","value":"Unifying Recursion in Partial, Total and General Correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5814100"}},"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":"Q3055748$33789CE0-50F2-466E-AF54-8C5152B665F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f374d40d385ec7789d415937181d21c6719f432d","datavalue":{"value":{"text":"Unifying Recursion in Partial, Total and General Correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3055748$5A606778-CBF3-4303-8AD9-5826EFCAA0BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a095054d527abbe36251e5fa36f6ccc3dde87026","datavalue":{"value":"1309.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055748$18F94514-338D-4352-88A6-B09C60BD0CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bddd98784aef260da6ad8c48670d48f5670e40c4","datavalue":{"value":"10.1007/978-3-642-16690-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055748$5061B2BC-51DC-4772-B38E-1A9525F7F44E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed69aaebbce1b2394bce597626494f1caaec9558","datavalue":{"value":{"entity-type":"item","numeric-id":299187,"id":"Q299187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055748$847CDA98-06EA-4DE7-83EE-E289F107BA96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055748$C574D686-5AD7-4FD6-8B1B-D2E721DF8999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb643977987b416fd9b27db151f69ce02967bfa","datavalue":{"value":{"time":"+2010-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3055748$B33CBC43-70EF-485C-BBBB-1ED36EFD8394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055748$A2F9DE7E-465E-4CEA-B1EB-8715242A51D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055748$77C46194-53B7-49B2-93F0-3BC3EDC163E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ea4ec5959a55d1898ede6ea24d4f680da3d32f4","datavalue":{"value":"5814100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055748$CDDA3A3D-DE8C-464D-B86D-D382D12ED2BB","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":"Q3055748$39090D45-F061-4604-B38D-47C6542ECE5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8a5cf78017b32f64231eae63ca9a8f9e98708f3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16690-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3055748$9A808DA2-D7A2-4423-BE9E-342A52493CD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d690842310e69c599ca551bab1407f33742a508","datavalue":{"value":"W1667913537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055748$9DB64BC8-74ED-469A-AFAD-908C9E02FEBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a500f5935c84170260ed93f1060dbe45738bb6ca","datavalue":{"value":{"amount":"+0.92727","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":"Q3055748$E9F6DF3A-475E-4656-9EFD-5487FB740227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9e1cd52c3d3baa1559a5e0f334256e000c8b","datavalue":{"value":{"entity-type":"item","numeric-id":913478,"id":"Q913478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5631740c0b81792e6ed4cbea3b3e1556fc0dc8","datavalue":{"value":{"amount":"+0.9047739","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":"Q3055748$650EABD7-33F3-43D6-B846-E81C138F7A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e07687f40ae11d9efa0170ff4e0269051639a86","datavalue":{"value":{"amount":"+0.90064037","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":"Q3055748$8B17D8B3-2DEC-4F2A-AD0B-3B9DB2748B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da440e0d364b0b576c5798bfb38f069c462d512a","datavalue":{"value":{"entity-type":"item","numeric-id":5436982,"id":"Q5436982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6abd77224714105d09dd6c06aa0cd6cab10231","datavalue":{"value":{"amount":"+0.8998349","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":"Q3055748$A3BD7D72-4712-467B-AD3F-9F063270370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaf30a8c2d3fc3343d0232071871f84a4f80adc","datavalue":{"value":{"entity-type":"item","numeric-id":3713571,"id":"Q3713571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25bd2085c1bba9d767d54c633e588c8f28edc217","datavalue":{"value":{"amount":"+0.8924073","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":"Q3055748$61285FB2-FE5C-4737-9F3D-0ACF5B57698E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dda8ff4b37305d49c5279505db4bfb960d46a96","datavalue":{"value":{"entity-type":"item","numeric-id":3221385,"id":"Q3221385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4509aa5db3f288ebb9a4a011430ea3dbe98f2a","datavalue":{"value":{"amount":"+0.8916214","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":"Q3055748$30B987AD-E990-47F8-B414-B1D481FC8FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75a2f09b2f7e8b4e417073c6127a7f856249356","datavalue":{"value":{"entity-type":"item","numeric-id":3823139,"id":"Q3823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61866320da88a7f2898556d5f563a6a9bd44f27","datavalue":{"value":{"amount":"+0.8908236","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":"Q3055748$D40B11F5-5B0A-415B-B1D2-EFCDE36E08A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f378310b224daeed1f44796da1481a4ea5888213","datavalue":{"value":{"entity-type":"item","numeric-id":3741013,"id":"Q3741013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5f4d1d3cdc01e1b908dbe68ef3e28e3bbc9bb5","datavalue":{"value":{"amount":"+0.8793295","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":"Q3055748$E4911A11-57D4-4911-ADA1-6E09F75F3213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69b5cae3879723fbe7da05756e12ef5f79556d5","datavalue":{"value":{"entity-type":"item","numeric-id":607408,"id":"Q607408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be1ac1ed2e5f2f3b4333924fb274f2d88505e8c","datavalue":{"value":{"amount":"+0.8769787","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":"Q3055748$F67FE397-D059-48CC-B7DD-FB1B993F08C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494f82ef33661419430b7d24eb4c97150d0078ab","datavalue":{"value":{"entity-type":"item","numeric-id":580955,"id":"Q580955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922fee4973c433fb47bd184083536a41a8f9f543","datavalue":{"value":{"amount":"+0.87621975","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":"Q3055748$7BFA5A64-1764-41B8-B4E6-8C02050D64FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3055748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3055748"}}}}}