{"entities":{"Q3984445":{"pageid":6014315,"ns":120,"title":"Item:Q3984445","lastrevid":46226158,"modified":"2025-12-24T08:44:12Z","type":"item","id":"Q3984445","labels":{"en":{"language":"en","value":"The role of parameters in bar rule and bar induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26222"}},"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":"Q3984445$FEDC3E15-9344-4F0E-90F6-48EBF4CC4839","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"801181a9015f4618910c87017c4576430d8ce72e","datavalue":{"value":{"text":"The role of parameters in bar rule and bar induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984445$E8A9D678-25F5-4CF2-8BF1-39D3E85BA620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b0f3a649f6d9698e32e69ae9bacc6d30a50934","datavalue":{"value":"0736.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984445$77B3A805-A5AE-4C1A-A5F4-EC969F5B694F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116056d951c87f83e6907c90735994c9791286be","datavalue":{"value":"10.2307/2274713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984445$2F34B104-2373-4572-9D7C-FA65D33A7066","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$315EF419-DCCA-407E-BDBC-A5968EF357B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$D6A7A8A3-68EF-4052-8665-EE26AD454EE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984445$1B75CB99-4598-459A-AE09-FF15A63587E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984445$095A4058-5E19-425D-BED3-00E66A40505F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cd26ce2e31ddbae9fd1e40c192a1a5c705215a7","datavalue":{"value":"26222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984445$65AB5B8B-B207-4934-A500-BCC9D5AA9F74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984445$7631F497-7338-4278-B178-3F7EF5B84851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984445$BBF5BBFA-D6E7-4B9A-AD7F-58ABB69811AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2399de7f1567fc0c182cac284c369946797f1f4","datavalue":{"value":"primitive recursive relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984445$E7F83AB9-CA96-4FE6-9451-DAC08788DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984445$AF3FBDC2-4A40-4320-AD80-FCD608E91F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984445$DA2F6EDB-3DE1-4C6A-89A6-0F2E9A6A79BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0d18202daf525538448ca1262425d196033741","datavalue":{"value":"bar rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984445$12830016-2921-4291-A716-613AF9B56457","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":"Q3984445$8A0167A7-55AA-46ED-B289-FAB1CD616FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c03a8bff4106f40adbd8d0f48fbb29db9e930883","datavalue":{"value":"https://doi.org/10.2307/2274713","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984445$A7A155FD-9B13-4A6D-BF26-EB681E81DE59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ee445facbe2600c4f3bf02891ed1e9d8f328736","datavalue":{"value":"W1976927494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984445$67D744BE-CDEE-403C-803A-5A8B08884BA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$B62CB712-2CBE-47E1-A9DE-68EF085CDF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867c6508cff28341ab32c6df4351fa77ca0b89c","datavalue":{"value":{"entity-type":"item","numeric-id":3039341,"id":"Q3039341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$D7540864-2C85-4979-99AE-5308B1E39794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$7B134124-227A-4756-BA37-9584A568362F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04eefff02b2e316a44c6dd3a4910700df42c66c","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$E3402494-113B-4407-A37C-C41FA0D7DE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$D5D1D597-F2A9-462A-BB6C-14995EBE77D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$280C132A-B9E5-4CAA-B49F-FB62C4917122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$75DE18D2-2A8D-4690-88BA-121B24C6F7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$282C685B-ADDD-4745-BE99-6938E9A49ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984445$6B901E28-8C45-436E-89C3-D29F021BB440","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613b69ad76c8fc3ea3d99ec97a8669a0e4d62269","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a9d660eb7206897b7bb8a4eb9d6a3a7a57b118","datavalue":{"value":{"amount":"+0.7376382946968079","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":"Q3984445$E4EB9590-C0D1-411F-A8B3-5E17DB71EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a9d41e496ac807447307ac401854d076ed6956","datavalue":{"value":{"entity-type":"item","numeric-id":4364507,"id":"Q4364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6bff2a84133b9328eb19e1603caf7e7178d521","datavalue":{"value":{"amount":"+0.7265856266021729","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":"Q3984445$A74F581E-C299-4EEE-852E-EDDC056E30BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e42d001f616bf281c60df5a9029a5ee9b14d86b","datavalue":{"value":{"entity-type":"item","numeric-id":1302306,"id":"Q1302306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cd0a471f5ec0a15be10a00719e1edf7342cb3f","datavalue":{"value":{"amount":"+0.717785120010376","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":"Q3984445$40CE2BC8-FB54-4161-B668-D2EBF233083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7b1e14212b864978cb2849dc1335519482c18","datavalue":{"value":{"entity-type":"item","numeric-id":5361262,"id":"Q5361262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f0f499b845105820b71b6645fd4180d1dbfc61","datavalue":{"value":{"amount":"+0.7173231244087219","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":"Q3984445$C8A9BCD0-4BC9-47B0-B925-8B9578B5B36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ac7e2522bcc8ba4ac44b829f3eca2eaf83bffb","datavalue":{"value":{"entity-type":"item","numeric-id":5144620,"id":"Q5144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6221170e023a60e27a28a900abaa180422d044b4","datavalue":{"value":{"amount":"+0.6971917152404785","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":"Q3984445$BF46A80B-2F79-44EA-AAE0-00C8323262F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984445"}}}}}