{"entities":{"Q3474647":{"pageid":5459703,"ns":120,"title":"Item:Q3474647","lastrevid":80789597,"modified":"2026-05-06T17:00:15Z","type":"item","id":"Q3474647","labels":{"en":{"language":"en","value":"Much shorter proofs: A bimodal investigation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142029"}},"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":"Q3474647$1F369F88-128B-42F1-8068-456F34A7C8FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2cb0830b834c8030677e5c96e686401a247400f","datavalue":{"value":{"text":"Much shorter proofs: A bimodal investigation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474647$A64A01A9-6CCA-42F7-9767-942E2787CB4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52dc7c50297174c72a53594ccd6e4645e8b7d37b","datavalue":{"value":"0697.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$C8775C8A-E042-44CB-B1E4-F8F5176F5B9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474647$DB548608-9EA5-445E-ACE4-0C183E4B3CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db2fe20e7af1bde4dc050e6d480bb6b9ca259444","datavalue":{"value":{"entity-type":"item","numeric-id":702484,"id":"Q702484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474647$D1581531-9FB8-46B5-B0D0-61D0FFE1786F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474647$C9188A87-54CC-4C4E-B05A-D1EEBF382A14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3474647$075E5955-2F37-4E8F-A0CE-B3AF6707B86B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$9EE71398-1A40-4441-A372-DE1659D59BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$39CD6972-A736-4BB1-97C3-742A97538084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"256528a1760015188b1c40b649cbcc7b3947d97a","datavalue":{"value":"4142029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$CD72F406-2672-4CBF-AE32-C4139E744DD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18c55ee8a0534785203929327803d05d7d38d0f","datavalue":{"value":"pairs of modal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474647$8CBE0326-F609-4134-81E6-56F247F470FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"328ef412d14fec651c0fb4bf363170181348d867","datavalue":{"value":"pairs of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474647$9E08D441-935F-41AC-B0FA-5E1F30F7BA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474647$A1CE4EE3-4218-4C56-903C-45EFEF0FA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ed4bf020d4484f09b481bddf172b59c54c52bb","datavalue":{"value":"provable fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474647$6A0B5DFC-9C71-4EE5-A65D-06BA9956A78F","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":"Q3474647$9B1D8BA3-6487-4964-8B4C-BBE0158B6F88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07c5a66f635f6e597be678bbf3598a022bc349c0","datavalue":{"value":"https://doi.org/10.1002/malq.19900360107","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474647$EA4BD411-D071-438F-8B5C-C59B7489683B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7be375bd26adfa168e5cceef24c431137aff3f6","datavalue":{"value":"W2058748429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$6A992D33-C593-484B-95AF-58AED0A6193E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"066632e41dd58b153a803411fe7cd47a0eb2e182","datavalue":{"value":"Q57253080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$89CE30E6-FA03-4493-BFF3-21E3B8EB1EFA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"417181229e9ff12f758ced05af939bbeb126dca4","datavalue":{"value":"journals/mlq/CarboneM90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$86FCEDF1-63BD-41B7-9603-A4973F3A198C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9956dbf7a1a17753c83eea5f21bcf3e7bddbd67d","datavalue":{"value":"10.1002/MALQ.19900360107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474647$723B2E66-8804-4DE1-944B-B9E642047207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ab6fe676911df85c36a6213966e816a378d156","datavalue":{"value":{"entity-type":"item","numeric-id":4032866,"id":"Q4032866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d43d84db48a05a1f9645b66f63b15b15703e2e","datavalue":{"value":{"amount":"+0.829883873462677","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":"Q3474647$55ADA9EC-F4FD-4BFE-A139-FBC7D75B8294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8f0f5cef0d7be3ed3b93b8bb6b17edeba33d03","datavalue":{"value":{"entity-type":"item","numeric-id":3809768,"id":"Q3809768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec30e7e4a3abfa495f7c467a6edb16a5ebe0800a","datavalue":{"value":{"amount":"+0.8294304609298706","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":"Q3474647$B3A72E1D-15E3-4BDE-A589-8F79C0580353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c725820b5baf9eaa55d91d32089e48e59d850b","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37906807a206ee5d8c5d82add2b797dbe181b0f7","datavalue":{"value":{"amount":"+0.8269553780555725","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":"Q3474647$6D010872-3CE2-46EB-A1CC-E1F94AC92478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3277ce74f5083ec23be2fd6321b53b775c56d0ba","datavalue":{"value":{"entity-type":"item","numeric-id":1332858,"id":"Q1332858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa3847c4be3bd2729bda170b9b209841f954c9a","datavalue":{"value":{"amount":"+0.7552346587181091","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":"Q3474647$8E0530D2-E18E-42B0-A320-20762FD07739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53550e19f885bf4b45b34a18baf96c9ef5ed64c","datavalue":{"value":{"entity-type":"item","numeric-id":1182693,"id":"Q1182693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f933f4c24f692045402165c82aa0a914e882309","datavalue":{"value":{"amount":"+0.7493335008621216","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":"Q3474647$E4B1DF4D-F50F-45FD-A453-88753FEF421D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Much shorter proofs: A bimodal investigation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Much_shorter_proofs:_A_bimodal_investigation"}}}}}