{"entities":{"Q1148314":{"pageid":1159063,"ns":120,"title":"Item:Q1148314","lastrevid":42912866,"modified":"2025-07-15T23:32:25Z","type":"item","id":"Q1148314","labels":{"en":{"language":"en","value":"Equational calculi for Grzegorczyk's classes \\(\\mathcal E^n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3706432"}},"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":"Q1148314$DEC9CAD3-8AF5-4720-8FA8-5FBF9ED82FFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e2f6bb8d7f18d90d5c3e37a8b0ec437396d4b59","datavalue":{"value":{"text":"Equational calculi for Grzegorczyk's classes \\(\\mathcal E^n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1148314$9E3BA5C4-CA1B-41B2-BDC8-C34CC5224BA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e07d222fa4bb41589ae074ebdfbc473fd2415b42","datavalue":{"value":"0452.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148314$415645CF-C278-4191-BE1A-7FC68A291925","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97f159b20271eefc9a66573ff0297100e4d15043","datavalue":{"value":"10.1007/BF01404110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148314$52C35B7D-13C7-48C1-BDAF-D632A5EC10EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d82ae311b0bec28a67379690bddb1c9f60376c50","datavalue":{"value":{"entity-type":"item","numeric-id":1148313,"id":"Q1148313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148314$F0E3002E-E2D7-474C-A7CB-54CF71ABBCFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148314$F0336E7B-9C59-419C-9588-A635FAA8536D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1148314$C0529EF2-5424-462D-8A18-C53554972B91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148314$18DF2A67-FFD9-43BF-A271-78E4CFCC00FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148314$0FD21652-D07D-4330-B656-667154EA48B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a2216aa0857b86dc07128d067bf1b7e88b02caa","datavalue":{"value":"3706432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148314$5AE39AA3-9BAD-4F87-97D4-52BA4307CDAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28d2c47aece1848c303d2ac0d6d1faef93af5699","datavalue":{"value":"equational calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148314$CD68A69B-00F0-42B1-A083-4E3615375AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a23d5494baa6518de9e49591d024e66b6c2b06","datavalue":{"value":"Grzegorczyk's classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148314$FBE76F98-D1E3-443E-B8F7-BDA59CC0E7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148314$6BC1047C-ABCA-4DD0-91FB-D0CB1FC55290","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":"Q1148314$40F1B8DF-F375-44C1-97E2-9C0D84BEB47E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cee115f650dd9b2c9350f8cdefbe2dab8f0e067","datavalue":{"value":{"entity-type":"item","numeric-id":5824357,"id":"Q5824357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148314$A88920F3-0950-4F35-97CF-A52F4C4F954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03c46dfc7b75e41a2df8bca90ca883242552b78","datavalue":{"value":{"entity-type":"item","numeric-id":768371,"id":"Q768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148314$0F45CC49-319F-4BA7-B095-D7FF5A4CAB98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8fcb2a077520f2533fa2024c6d1dc99322530ad","datavalue":{"value":"https://doi.org/10.1007/bf01404110","type":"string"},"datatype":"url"},"type":"statement","id":"Q1148314$CF2FA60D-F6AF-45EE-9473-13D0445286BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d83596628cbb196176596221a637955f4cdba59a","datavalue":{"value":"W1997510144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148314$06D1D13B-861D-444A-B177-DDB116B4663A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1148314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1148314"}}}}}