{"entities":{"Q4942870":{"pageid":6972452,"ns":120,"title":"Item:Q4942870","lastrevid":47457559,"modified":"2026-01-01T19:29:02Z","type":"item","id":"Q4942870","labels":{"en":{"language":"en","value":"Cycling in proofs and feasibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1415008"}},"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":"Q4942870$87AF5974-0513-4BC5-AD93-A59C50BFE9D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f84f949d4a0d37e03cf2207b93b7ee47a50aad8","datavalue":{"value":{"text":"Cycling in proofs and feasibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4942870$66FE828A-C425-4EC0-8289-A5CD2B426FC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80dfed36d7b61de32f68d9cf9229d1bbd4ea0189","datavalue":{"value":"0941.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942870$04B2F515-72AC-4068-BD64-C96297319E43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"542ba521fb50a2d4594e16ca0cbb5470c970098b","datavalue":{"value":"10.1090/S0002-9947-99-02300-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942870$411B47AF-EAB1-49CB-892A-5F57E471AA5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$D1551AA8-092E-485B-B49F-1CDAAD63E36B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af4ba796560711d3be4c6c43f32f1d0c380bd86","datavalue":{"value":{"time":"+2000-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4942870$091FDAB7-C665-48AC-825F-FEFEDF17983B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942870$0A1130F4-F24B-4CB8-BE15-9DF44331BB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942870$C13C423C-BDFE-4D0F-B40D-8024F40AAAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942870$D4DCDE82-D39A-49FA-AFCA-FC71099EFC54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53dc15b5a85223be5a4e25a05f7b169a71443a44","datavalue":{"value":"1415008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942870$8F7FD474-E2A3-4696-9DE5-EF6BD9133E2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$BF694CBB-839D-4BCD-AFF6-44D820615E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0e23fcc4878ad136984ef260ae0d6aaad78821","datavalue":{"value":"cycles in proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$BC7BD21F-CC38-4281-9A6C-FBEAA8C0C0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e0fe9cff2af594856ccc44c0efc10625e23740","datavalue":{"value":"feasible numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$053E434F-4A3A-4AE3-9D07-D74DD07839B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a69e9c7a35b6649446d499f79807b645a9605c0","datavalue":{"value":"logical flow graphs of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$00FA960E-D5ED-4785-907A-267B6E660C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856056c74c6e1c3712fccd4cdcfa1fa863bb9c45","datavalue":{"value":"lower bound for concrete consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$7D18ADD2-FF88-4EB9-985E-C25C0EF6C270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f29194fcf640eed60f9a944d122f66fb76fa46","datavalue":{"value":"cycles in logical graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$8670B737-7EDB-48B1-951F-4D98FCC65FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"068278d5451fb775304791440f68f29ec923cab0","datavalue":{"value":"feasibility of large numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$2DB1A987-6F27-422E-893E-50CB5176F46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc9e2e8f15fd38287c6a33da336b7a03c15804e","datavalue":{"value":"dynamics of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942870$7106C204-9D20-4E0A-A9F1-7DC6B9A5691E","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":"Q4942870$43C441DC-FF6A-4BAE-8B4E-76AE467EF0DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf2f7a2c474eccf18387faa58bf0e5690860abe","datavalue":{"value":{"entity-type":"item","numeric-id":5761848,"id":"Q5761848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$611C9566-0571-4D5D-83F9-F3D8536B97D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd44858abd76ba6a4654ef8a7945fafeb171c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$0D444C7D-E99C-4258-80FC-9C017CA9C418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49508253f586991686167e53d90ae970b902e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$8229D00B-3136-4683-A24A-45F50F8D4B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a064c24e33fdb6013bc5a8a7ffdbe6ad695be319","datavalue":{"value":{"entity-type":"item","numeric-id":674415,"id":"Q674415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$D98BCE13-872C-43A2-985F-82158B0FC982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4216843c802ffd174b4b4e35f24b71dab8dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":1295442,"id":"Q1295442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$797FCFFA-EA75-494E-AA8A-A534E95FEDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fe631ed0bce2581108525453c1ad34b90db6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1840996,"id":"Q1840996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$D7AADD59-2538-4073-B6CB-7EB37B2E0357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc731cabdab1e8dd2285b3a2e7f7c27bd824dc7","datavalue":{"value":{"entity-type":"item","numeric-id":4337947,"id":"Q4337947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$01CA801B-FD4C-4786-8BAF-D349C9447BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f925eea254cf9333458a513d3587fc4f6f159d5","datavalue":{"value":{"entity-type":"item","numeric-id":3968902,"id":"Q3968902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$A330F078-9218-4B0B-A857-7EBA969D89D8","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":"Q4942870$0E1F5C55-BFB4-4C47-8B43-5B8002CCE85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$C3C2259F-1486-4DA2-854B-015051F6CCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aaae8474431fe34aa5f87dff0cced3a248d4113","datavalue":{"value":{"entity-type":"item","numeric-id":3997000,"id":"Q3997000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$5E7789F4-DF59-47BF-BE6B-D557E4D0CFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$7FD0A672-10CE-451A-82AB-AE4BAE2EB5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2b29d9b4dadfb2f5b72715f7422f8e108a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":1167721,"id":"Q1167721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$39DDFD8F-6FE9-4971-A5C4-9290C292F531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$69142B43-86E5-4859-BC73-D17F1483035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf97fc1fe70564dcf5169768f14da0374e4d5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3967512,"id":"Q3967512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$57897F3C-4188-4709-94A6-24B564E4D18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$2D248F38-2098-4D12-ACD6-BBAD854DC4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$B8470C8D-A548-4AE4-9FA6-2B037D099C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e515814f46c322ad2a2f86051e328600ae797d4","datavalue":{"value":{"entity-type":"item","numeric-id":3996751,"id":"Q3996751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$A572D02D-D83E-4483-8352-9E25F05B67B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255be4a06928629d410a12037fb8041c5f5f3586","datavalue":{"value":{"entity-type":"item","numeric-id":3240229,"id":"Q3240229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942870$F34C1EEE-6745-4844-A702-5F62020A4F1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c477d1021ea0c5f8129c275f16f30a0dcbb2e492","datavalue":{"value":{"entity-type":"item","numeric-id":3972528,"id":"Q3972528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75ffa1a556deb34ab93b3cbed7db593c4746294","datavalue":{"value":{"amount":"+0.7649977803230286","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":"Q4942870$0791E899-401D-4250-BDB6-C1D3849EA935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba722aa68f9ec7dbc41fb0271522f1cc5f273667","datavalue":{"value":{"entity-type":"item","numeric-id":3741624,"id":"Q3741624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fda01a891716702e33075a1aa87d3d922db735","datavalue":{"value":{"amount":"+0.7632288932800293","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":"Q4942870$968F28D5-9111-4291-A05F-D006BA376F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa59c71519079fc6e9fab27d26c049b41cbcfe6d","datavalue":{"value":{"entity-type":"item","numeric-id":1295442,"id":"Q1295442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbefee5979642fc5478f5de246305868b58c04a6","datavalue":{"value":{"amount":"+0.7629268169403076","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":"Q4942870$45F9FD21-9743-48EB-8C92-D9CF8D75B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a599d04d9e97401093283b65fa72e1878544d8","datavalue":{"value":{"entity-type":"item","numeric-id":1075323,"id":"Q1075323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70cc144ca69f0d85d1b46686bf152799129cd2f","datavalue":{"value":{"amount":"+0.7299456000328064","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":"Q4942870$60DC4ECC-8921-49E0-80BF-9D01602B3712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d810f021175925e6dc2d89e37a847f4ea5c360f","datavalue":{"value":{"entity-type":"item","numeric-id":4532599,"id":"Q4532599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81c57648237eeb35e1a76af3e47b01ba3af112c","datavalue":{"value":{"amount":"+0.7118818163871765","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":"Q4942870$C3D331FB-2BAA-45E5-83FA-010AF8C69779","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4942870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4942870"}}}}}