{"entities":{"Q3305629":{"pageid":3316337,"ns":120,"title":"Item:Q3305629","lastrevid":53788073,"modified":"2026-01-25T17:36:21Z","type":"item","id":"Q3305629","labels":{"en":{"language":"en","value":"The monotone completeness theorem in constructive reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229611"}},"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":"Q3305629$1C3BCA05-9458-419B-88D4-5C8322E3B890","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc6700ac9c6dfd9070ff3eb4b0845b16d33b4043","datavalue":{"value":{"text":"The Monotone Completeness Theorem in Constructive Reverse Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305629$B8FCDB30-6D9D-4272-8757-9033F0E5F77C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1834bd899d9a2eebe1eaeb8bd68e67013c97da3b","datavalue":{"value":"1469.03172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305629$CB69C37E-2DF1-4D58-BEBC-62967E6678A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"324ae8573ae3d19ec40049701d3ccb943f27e850","datavalue":{"value":"10.1007/978-3-030-20447-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305629$AFF24985-742A-4C0E-BEC0-F556410B5303","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$7826594D-0651-4E13-8D8F-7A2B4221DB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44622238969ceed011f8b0cfcc8c06015ed49f3","datavalue":{"value":{"entity-type":"item","numeric-id":781508,"id":"Q781508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$2074DA31-F9C6-4BFF-91FB-DFA656710858","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f60d256e5e9083c98526f6ab8bc547cb876a0aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3305622,"id":"Q3305622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$1FC24F93-E105-4660-91D8-42A20A30D209","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6eeac9bc08017af337b002c847426cefd8e704","datavalue":{"value":{"time":"+2020-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305629$49840600-BF3F-4AB9-B715-35A2D579E29D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305629$7EE4F226-64F4-4F1E-B5CF-F468EC5BBB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305629$E474E05E-1A77-4A26-A7A0-C62C00B27F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305629$74FA4370-E976-4D7F-BD38-EBB8A184703E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b9bb82ed092620c9b0bf7066b8995fbb37f3dc","datavalue":{"value":"7229611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305629$C0EF2CF5-C291-49F0-A5C3-26DE8954B8E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305629$78C086DD-1B88-422F-A225-6BCB9C715788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305629$D20E741C-2640-4D15-8F9B-F42CF57123B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291498ebc3c12b2e76f61bc52676aa1b50aeda5d","datavalue":{"value":"monotone completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305629$A22B78EB-3762-4BD6-9C91-91A3B4B7ABD6","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":"Q3305629$37C59A6B-4C4E-4A2B-8915-CD757BA37865","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29ad6ab9e3a22017dc788dc531fd864bca6314a5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-20447-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305629$13AFDDE4-4F03-4877-80C4-E1390AEF7899","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d706f46cb88c486567bdb913a1d59a2f6c2491f1","datavalue":{"value":"W2982084202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305629$036AAC6F-10E1-4452-B800-C363E98BE5F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11662185749ff73fb2de863d1b32e50de90a3327","datavalue":{"value":{"entity-type":"item","numeric-id":1712938,"id":"Q1712938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$6AFDC3D5-8AA8-4047-9A1C-98B2D83BDAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$F467E378-5EF6-4C53-9E00-45155DEF6EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$2623555F-E21D-45BA-A869-9C5EE40721F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$5E871ECE-7E52-4564-88AC-8C267B0E1AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$FF3346A2-2E12-475F-9919-434A3801F758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83741baedc0cc4341c9eeada9523205cbed1d89","datavalue":{"value":{"entity-type":"item","numeric-id":5024576,"id":"Q5024576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$7FA1C911-6285-481F-BFAA-5D71AC404163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$2BE8BD15-19FB-4D76-BA3E-D83F3C4DF7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$21F98A58-CAA3-4413-8598-D8E6896956D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb6f663d5994e52982ecae69bdfd0ce86bf67c3","datavalue":{"value":{"entity-type":"item","numeric-id":1788331,"id":"Q1788331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$D784DAE4-694D-41C3-9583-F730DD475613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d5c94c9c20e76fda44b692895879fc058fb3f","datavalue":{"value":{"entity-type":"item","numeric-id":1971796,"id":"Q1971796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$AC7BCF1D-A84A-4489-A4E4-3BB6A2533778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$6ED7784D-1804-489F-AAF8-946A1855FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e627bd511857fd09736aa70a3f745cbd1bfe71","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$6C4E6FE1-949A-4789-A935-8474A4E421C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08783d1cd81fadbcfbdb5e081cc1fc156b802db7","datavalue":{"value":{"entity-type":"item","numeric-id":3785063,"id":"Q3785063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$D6FB647C-7644-43B7-A262-1C4F80CB888A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e989f09e61e327a727c252a16ddea0fef3929b","datavalue":{"value":{"entity-type":"item","numeric-id":781509,"id":"Q781509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$EE789532-15BE-4313-A8FA-7F5619415F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1f7856b8b7a3320630526de761a863b8ae9bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5082051,"id":"Q5082051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$16EA92AB-EDF1-4387-9370-CAC468D73780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$B8E4BBB1-2340-4965-A48E-8D75B3F0904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$985633F3-A803-4FC1-9792-2A05ED7735F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e7d4cbd55f8c88e5281ab6adcc4ef6a023212a","datavalue":{"value":{"entity-type":"item","numeric-id":5466549,"id":"Q5466549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$1B386B4D-E745-4BCF-B87A-550E11FD662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$CF4A8C5D-BDC6-46A0-A8A9-C0F0A13AEEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$8644FFCC-4AAF-4D16-A7C9-E556836DBB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edb13f668b2a4f36c88de241d9c7f45446b194e","datavalue":{"value":{"entity-type":"item","numeric-id":403410,"id":"Q403410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305629$1648B41A-763F-47BD-B15C-4D1CB4D7F288","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3ca7d4300263f4fe4328de522ed1ffd35f969a","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d31bca9a104587ea05d579c2d2068e4f6bf3094","datavalue":{"value":{"amount":"+0.786198079586029","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":"Q3305629$6F889E0A-4C05-416E-81F2-2E718C7A143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19675627a31a6cb8e03497626e39b36034d595b2","datavalue":{"value":{"entity-type":"item","numeric-id":1422103,"id":"Q1422103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15caffcfa6b7099cbc82b912287e5d8850a9f4db","datavalue":{"value":{"amount":"+0.767711877822876","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":"Q3305629$B2572622-C827-4DD5-89E0-4D64DC3FF61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd32d64a2ee32df16eb57f0d97e7b47034e1dcca","datavalue":{"value":{"entity-type":"item","numeric-id":1734272,"id":"Q1734272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d571b9e3c8aed7c71fdae44d2e7dc26054955f63","datavalue":{"value":{"amount":"+0.7621650695800781","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":"Q3305629$A8F0EF8D-35D1-46A6-B412-DABB2032E96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35de82e0612d29e647951cadfbdd64a500bf9600","datavalue":{"value":{"amount":"+0.7548803687095642","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":"Q3305629$9F65EE6A-E4FB-496B-B44D-FD4B940C88E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7eb97d308de87bbe862ad0ce50764d03c6211e","datavalue":{"value":{"entity-type":"item","numeric-id":5693110,"id":"Q5693110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050291a226d2b0e652d2a8628a10f78b2fe879b8","datavalue":{"value":{"amount":"+0.7548771500587463","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":"Q3305629$75B2C202-A332-4A44-ADFA-D0DAA9EA74EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305629"}}}}}