{"entities":{"Q3739119":{"pageid":5769025,"ns":120,"title":"Item:Q3739119","lastrevid":50917049,"modified":"2026-01-15T18:06:05Z","type":"item","id":"Q3739119","labels":{"en":{"language":"en","value":"Strong normalization of barrecursive terms without using infinite terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972854"}},"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":"Q3739119$7379DFE5-F816-4D72-A3DC-80DB6829A20B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af0af233f93e2b083f1e9998d6da8d33108e8c49","datavalue":{"value":{"text":"Strong normalization of barrecursive terms without using infinite terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3739119$D10D8514-812C-466C-B704-632335B8131E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535b7001465df0f0d697530a2304cd0dedb5877e","datavalue":{"value":"0603.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3739119$DCBE047D-1019-4D13-B1A2-391802FF8659","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5290f55889a74c433492d51c92b4097fa43ed8c","datavalue":{"value":"10.1007/BF02007566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3739119$DD44777E-DBDC-4445-9C07-CE4ABDA2F6C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$378A905C-08A5-4D41-A77D-9CFB61343470","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$2F231A8A-37BF-429E-B28C-BB1E50CA9B48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3739119$B81ED644-24C3-4171-8A3D-77082948A0BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fb46d83e368106ecfc8512d8117db466bf9ae5d","datavalue":{"value":"https://eudml.org/doc/138047","type":"string"},"datatype":"url"},"type":"statement","id":"Q3739119$66104577-E4B5-4A1C-AACE-8319B70C1672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3739119$5CD2D3A4-6927-4895-9AEE-8B03E495A5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3739119$42452BEA-30CC-4627-9BDC-FC1B1C9A10C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9b3ae38420445dd6af20866f4e66103b57b71ea","datavalue":{"value":"3972854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3739119$D33CE4D4-77FD-4E11-9083-53BE34388907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e395ae2d636478627cecf428dd6a45aad417915b","datavalue":{"value":"strong normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3739119$2F213C6E-B1C6-4EAC-9BA4-B56899B8B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54ade08f9528f89bf5b4fcb5b1fcf7561a85665","datavalue":{"value":"barrecursive terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3739119$61D2EE16-071F-41D5-96E0-E69E4C16A0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846b9022dd0612a28877b3a884af288c19ab5d35","datavalue":{"value":"functionals of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3739119$894A2C2A-BB60-4B67-9C59-670915DC978A","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":"Q3739119$066A8D28-FCE7-4E79-9DC5-58BFE122C1A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$0427465A-FA87-42CB-81D5-62D31C48D137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$AF2003CB-2CC3-4ECB-B769-684AB0B638D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e173e3f88a53b33fbc52906169cfc40c731fbc22","datavalue":{"value":{"entity-type":"item","numeric-id":2560813,"id":"Q2560813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$9E041847-2661-47D9-9B19-605D4F10D8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$75828149-CE45-4040-8D82-9556584A9F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119df88c5bfdea9f66e05436943412506fa00bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4767297,"id":"Q4767297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$2772A03C-A24D-4273-A29D-727456FAA63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cacbd30890e3130b2a52096e0e3ab2795aea8d6","datavalue":{"value":{"entity-type":"item","numeric-id":4121888,"id":"Q4121888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3739119$B3B724EE-6BB8-422B-B1BA-8555F904D322","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb21b07b0d4fd438201f93c1cb7649bd6a51c82","datavalue":{"value":{"entity-type":"item","numeric-id":1130232,"id":"Q1130232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046156206217a8dad3306b74adc879d6279a749f","datavalue":{"value":{"amount":"+0.86551553","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":"Q3739119$36189703-9FBC-47D4-A1A5-5D48929DBB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64071cf697ab8d331a9f4d756377fe8f7df5e031","datavalue":{"value":{"entity-type":"item","numeric-id":3522036,"id":"Q3522036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ab6dc648ad86d5e00391beabb392686f086dd0","datavalue":{"value":{"amount":"+0.8491846","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":"Q3739119$5C51D005-0D18-4C61-8910-72F56FE134A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2281b3cc71d7cd55e87746512ad6877f440225","datavalue":{"value":{"entity-type":"item","numeric-id":4836022,"id":"Q4836022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4febc84cd68b9fd6d33eb0ea4ce8fd3cb1516c06","datavalue":{"value":{"amount":"+0.846069","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":"Q3739119$0E917C59-8CC6-4AD9-A4AA-1FF19F1AE7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75407d2dee4ad5e018ce8512ddece7c06b3a4a92","datavalue":{"value":{"entity-type":"item","numeric-id":2811355,"id":"Q2811355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc23aab2616d09e258d2d591d49851792520de8","datavalue":{"value":{"amount":"+0.8436865","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":"Q3739119$B48363DE-C9D3-4F8F-B271-E375E2CF53AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fcdba1df7a2934de67c559ff737c3006baf00e","datavalue":{"value":{"entity-type":"item","numeric-id":1321039,"id":"Q1321039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e7d6a1f151ce697a9cce9ea3d5365f09641906","datavalue":{"value":{"amount":"+0.83232677","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":"Q3739119$F3B5BA33-0F30-4DA7-83E7-12EE63AA691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96753a804ababc9bbdef221a9dc550e8eb72688e","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c368e9806d41e61131e7b0d9e5fca85a76732f64","datavalue":{"value":{"amount":"+0.8261161","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":"Q3739119$AAC2C00F-A6C9-4515-AC3E-123E9CA42989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20680439dab42b72b681f0d4d36aff89c54e32b","datavalue":{"value":{"entity-type":"item","numeric-id":3012528,"id":"Q3012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcf0e6da672fec3e427701012d255ac874a4c40","datavalue":{"value":{"amount":"+0.82385993","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":"Q3739119$FA55B1F9-21FB-4FCA-88BE-1849AFFB9C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8a0cd3b47c23e60dca37d77b744ffff6c4ca0a","datavalue":{"value":{"amount":"+0.82370734","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":"Q3739119$7EC007CA-92F0-4095-8CE2-FBEAAD340BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17215187995c9c0785164b4c00218352fb012a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b6eac303dfd0e8f79b987fb47f471325ec2cf8","datavalue":{"value":{"amount":"+0.8229289","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":"Q3739119$431D5A08-2356-453E-BC41-1A9F7653D0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d3790d308f4eef46048b7c5e54eadf8bc34016","datavalue":{"value":{"entity-type":"item","numeric-id":5394567,"id":"Q5394567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4570e3bac030bfc3aa871405c13c6ac7a19ba540","datavalue":{"value":{"amount":"+0.82257146","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":"Q3739119$A6B23970-E35A-48EC-BA6A-0AD7ED92ACF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3739119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3739119"}}}}}