{"entities":{"Q6075432":{"pageid":13209740,"ns":120,"title":"Item:Q6075432","lastrevid":55487032,"modified":"2026-02-17T17:31:31Z","type":"item","id":"Q6075432","labels":{"en":{"language":"en","value":"Formal and Natural Proof: A Phenomenological Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7740572"}},"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":"Q6075432$6A7D048E-ABAB-4E56-B0AA-A42D07A63893","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1990d2305fa101c226286664de12341b293c6570","datavalue":{"value":{"text":"Formal and Natural Proof: A Phenomenological Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6075432$CA7D78BD-92A3-4FE3-939F-1E6A4DC894FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"891bef3024f4131a4b7efcdde35b199cc31a8593","datavalue":{"value":"1528.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075432$52C7E30C-BC91-40AE-8B52-60DD0AA4EB26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f541bb38a32badeb04588313a0a31c14d49a3a0f","datavalue":{"value":"10.1007/978-3-030-15655-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075432$A17476EE-EEFB-437C-88AE-DF2744D81216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$98BCDC25-8C14-42E7-BD8E-BCB4C57772B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$29E676C6-5702-44BE-937A-4C1E7533A51D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6540147dd2ce3bd9b08bf74a14b0ebf353350e4f","datavalue":{"value":{"time":"+2023-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6075432$81556BD2-DCA5-4294-8038-F94E640F8E31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075432$524C77BD-5F21-40E5-A094-248821181B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075432$54FAB098-ECB9-4CD4-8C3E-2665864C6CEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cb503c38fb01b8afac5af6935eea3ca0e17171f","datavalue":{"value":"7740572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075432$85BA3929-D7CC-49C0-914A-BA9B51DEB99B","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":"Q6075432$51F07162-DC35-4198-96A2-55088F2665F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae46113f9581c880bdfd5f1e0f508f24610e5c3e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-15655-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6075432$1FDA614F-844E-40EE-8624-95BF6CCA962A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ad12e35ae19912db98e408d6ebecce0c8553640","datavalue":{"value":"W2122159651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075432$EC6FC707-09DC-43CC-9B8A-F35CD028507E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"224eaad81b990a424186577648107c94617b46de","datavalue":{"value":{"entity-type":"item","numeric-id":5200692,"id":"Q5200692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$14D514A0-744E-4E4E-81B9-4FB87A09FCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2aeacd1f26bf3e4921e75a76fff0dbe5281ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3527396,"id":"Q3527396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$D5C8B589-585B-468B-B3DB-D8CB33563E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2f20607566da3a7fa734898d4caf6d17f9607a","datavalue":{"value":{"entity-type":"item","numeric-id":2271071,"id":"Q2271071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$FF62B048-27B3-4FF6-AA60-E632AB42FBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565e2039f16dc5757baa41da9dea1aaabca87213","datavalue":{"value":{"entity-type":"item","numeric-id":1091390,"id":"Q1091390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$4F58B640-AE6D-4D69-B5B3-58C9E09282D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc9cf2e32d4b3b37fd1f5f62ceb8927c1f56025","datavalue":{"value":{"entity-type":"item","numeric-id":1135835,"id":"Q1135835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$F9669E4F-CE5C-4217-83A1-757A13166543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52782ddb587ce85e0607f77083e0fafd01998be","datavalue":{"value":{"entity-type":"item","numeric-id":516253,"id":"Q516253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$22EB56CF-1278-4F0A-86CC-658D1BE2779D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eeebf0235fcff88fc3bb17a20f2d20201fb8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$40860613-5FE9-4057-814D-ABFD63C28637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$959A2438-1528-444A-B2A9-28FB649BB1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$CC5E8860-B645-4B70-ACFD-B4B24E338CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b639cba4135cf63c741ea53febe1888956d5b23e","datavalue":{"value":{"entity-type":"item","numeric-id":2865745,"id":"Q2865745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$D43E85CB-2051-4214-875D-3E36A325A715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f19f5a9cf65cb1163937b6da8d45692106928951","datavalue":{"value":{"entity-type":"item","numeric-id":5920562,"id":"Q5920562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$2C21445D-B73B-4EED-81EA-8A1092D63ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0143976a519a40832ae7b581629a269b0ecb7957","datavalue":{"value":{"entity-type":"item","numeric-id":5426521,"id":"Q5426521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$D02E2314-E3B9-44A4-ABFC-F20B178EC8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec03794a3b63e5b2a2e1254e635207b43768d4","datavalue":{"value":{"entity-type":"item","numeric-id":1297037,"id":"Q1297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$BC8F1D6D-A16B-49FB-B2C3-CE3451A8F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4adde7ec94ea62cf01797e7aef1acadafd70de0","datavalue":{"value":{"entity-type":"item","numeric-id":5476855,"id":"Q5476855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$A262F079-807F-44DB-830C-719BD3B15DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d69c1905d7dc605044a3a313a46a02d1b067a42","datavalue":{"value":{"entity-type":"item","numeric-id":3008955,"id":"Q3008955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$BDD1887C-F3E9-4B7B-B4DE-BAA1E8904525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$01B48AED-E918-4021-BFB8-AE3CB5E55B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0a4f11b38eefcd793ce3a4ca44c9e1748311ac","datavalue":{"value":{"entity-type":"item","numeric-id":4650309,"id":"Q4650309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075432$B4F225EC-9AFE-4E25-A0A9-DCC5A257F1C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfea782e8ccf212788d53c8f4e477999d4fbba88","datavalue":{"value":{"entity-type":"item","numeric-id":3637280,"id":"Q3637280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100e91f726f784985937f0fc57ed7b17067672bb","datavalue":{"value":{"amount":"+0.8012686967849731","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":"Q6075432$90C0E93D-3D6D-426B-B6E9-B7D3ECC27947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991f0a0d01b0a98d538b91b6b4422d888fb4f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1886d216712e210829b0b9b5a085d6e4edeb4e","datavalue":{"value":{"amount":"+0.7594354748725891","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":"Q6075432$399860E4-655D-43B9-B630-0C779DD0A16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2617bf707a212d1b8a48113b17ba4ab530c91e11","datavalue":{"value":{"entity-type":"item","numeric-id":4906843,"id":"Q4906843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc31d6cb9b904ca152e9702f7b3774efee542c27","datavalue":{"value":{"amount":"+0.7579458355903625","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":"Q6075432$A5B54AA4-4B8D-43B6-931D-2842B3D7DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93608f2b5ad00911e44a14bf6ad14ca928b6b79e","datavalue":{"value":{"entity-type":"item","numeric-id":2950035,"id":"Q2950035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1244b880f6531199b37b838fbf831a01126635","datavalue":{"value":{"amount":"+0.7574470639228821","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":"Q6075432$3A26C6C6-9220-42B8-90B5-FE1B22D76125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5291b1d5bd13b301f5e4c4b467945271cf3860","datavalue":{"value":{"entity-type":"item","numeric-id":2804472,"id":"Q2804472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3da3506fa55d280f51c65c6ebd20029590e42ee","datavalue":{"value":{"amount":"+0.7542797923088074","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":"Q6075432$C46BB259-2886-4ED6-BC38-8522B0041AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6075432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6075432"}}}}}