{"entities":{"Q2915710":{"pageid":2926430,"ns":120,"title":"Item:Q2915710","lastrevid":85104509,"modified":"2026-06-03T05:53:55Z","type":"item","id":"Q2915710","labels":{"en":{"language":"en","value":"Non-commutative infinitary Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083563"}},"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":"Q2915710$E25E741D-BA6F-4150-A86F-058997E83DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d527dd843b599d0eb5f0e8cfb1974b2c2ff01a2","datavalue":{"value":"1247.03122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915710$303A4F97-3118-4FBE-BF66-86F3E230FF97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915710$ED125EE4-6928-47DB-ACD2-B46829A6BFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915710$AB874E8A-CE73-4DA2-B5CC-58C29886213A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915710$7A600640-E3D5-49A9-8FF6-EAE9B86A7989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915710$B9F932B9-BAB6-456D-B579-BB356FED6AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915710$BA552855-4641-499F-B13E-4632FA5A196F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915710$C5384404-7FC3-49CD-A40A-BB704FF11443","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3243a00a3f49078e98b0c38d0fd82d7b1bff1b9","datavalue":{"value":"6083563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915710$42926291-0DE5-4389-8431-C84B09417352","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915710$4E308AAD-7037-4FD2-9EB1-B0391484D62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915710$BAA68FAD-643A-4255-8A18-294AE1986656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915710$4309A8FD-8871-4E77-B82F-D991389CF040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915710$6AF28070-3C51-4ED6-9407-829307F17E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e164a3adfb514b90df4cb8d19d2ec1fde3bc1882","datavalue":{"value":"recursive omega rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915710$F1790A9F-065E-41B6-952E-08526BE509BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915710$D8EE50A1-DF45-4F36-B783-0D54FA447FF2","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":"Q2915710$5B1468E1-A1AB-4946-9417-B324F8723EAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d9ebf6865b8e3981ace016a970ab2c33ec6ca34","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2011/3255/pdf/42.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915710$6B19F2CA-47BB-426D-B75E-93285D64B3FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02546c0bb4eeba53ef4a31705808b4702c6d81ea","datavalue":{"value":"W2293271212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915710$C3FA40D6-3EC1-49D9-B31C-1684266ED5FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80889e1df77239b4728ce858e849f390c423e64f","datavalue":{"value":"10.4230/LIPICS.CSL.2011.538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915710$5F3CD743-A663-43B3-ABBD-95B0406691C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32dabede8ad7c00789edf954d2548826ef6315b","datavalue":{"value":{"entity-type":"item","numeric-id":4644548,"id":"Q4644548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7026dbe4b889821049922730f7621455e1717c6f","datavalue":{"value":{"amount":"+0.88482016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$1C3CDF54-A7F1-4638-96EB-41E1548417F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3c663f0d622c23ef9e9dd91c8d340652390e14","datavalue":{"value":{"entity-type":"item","numeric-id":3808092,"id":"Q3808092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73eebe929c0185e05061be6254ef15da9395e58d","datavalue":{"value":{"amount":"+0.8823979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$5E0885A2-068F-40C9-9D0A-AEAF4891CDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a45e7c3ebe113aa2b3c04cf54809f08aa2fa75","datavalue":{"value":{"entity-type":"item","numeric-id":1577479,"id":"Q1577479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b82f625eb1e81bcda27a6d05aeb40cf848f0b4","datavalue":{"value":{"amount":"+0.881884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$BDB3921A-6339-453A-859E-6130D18BC4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590c8f8c3f49d7b88820bff4fc5442766bc76381","datavalue":{"value":{"entity-type":"item","numeric-id":3028994,"id":"Q3028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c4b6cb1338f9866b288eca84f23602534dc4d0","datavalue":{"value":{"amount":"+0.8762857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$4B7B8084-C441-4C55-AE24-1D3FD8A8A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ce2c7eec052aab8fba134e2e3db3260eb70f96","datavalue":{"value":{"entity-type":"item","numeric-id":3789558,"id":"Q3789558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7188ca5d18ff71722834c3b84b7f3b360873cea","datavalue":{"value":{"amount":"+0.8760958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$423DC466-C018-4B98-A646-A1665E353471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf111d5fbe68bd8d7a2111759379276823a1a68","datavalue":{"value":{"entity-type":"item","numeric-id":3023881,"id":"Q3023881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3cd4d195d4d9f4fa7a52dc3db81b1f8fff4b75","datavalue":{"value":{"amount":"+0.8740117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$C2691184-35CA-4506-9846-C85475349C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe1bc229c0d56bcedbfcbf490920aa1ad342370","datavalue":{"value":{"entity-type":"item","numeric-id":1715475,"id":"Q1715475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b76e7f1ea59a2cce613c6b53ceaeeb801825a1f","datavalue":{"value":{"amount":"+0.8664037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$AE09AA2F-092C-4DD3-BE27-95E80F5B9C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c660ab9679c05eb64569aade20593abedc68b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3644767,"id":"Q3644767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69a718ebd63dc000aa70279fdd8fa6fbc51c558","datavalue":{"value":{"amount":"+0.8627273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$6E7261EE-9AE3-4AFD-859E-42CC54C8E6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b1c42645739f35c96193b05e0d5791972d47ca","datavalue":{"value":{"entity-type":"item","numeric-id":386648,"id":"Q386648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81bb8fa359a0b79086c19ce6e10eff4950e8013","datavalue":{"value":{"amount":"+0.8623616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$760E06A0-D5AF-4F04-8152-600E626C3A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9633f2480a97fb22cdc2b5bf5667722cff6c4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":5537657,"id":"Q5537657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c075ab6b25aa3cfb7799b1480772af347e775b","datavalue":{"value":{"amount":"+0.8620387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915710$44AC16D4-A00C-46D2-BC1B-762DE7114EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f53c65a6bf389dfe3e6a412f94681b2b9b4a066c","datavalue":{"value":{"text":"Non-commutative infinitary Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915710$50D6D7CF-32D1-475B-829D-E19FCCC71DC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-commutative infinitary Peano arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-commutative_infinitary_Peano_arithmetic"}}}}}