{"entities":{"Q1297027":{"pageid":1307777,"ns":120,"title":"Item:Q1297027","lastrevid":70619022,"modified":"2026-04-13T15:46:33Z","type":"item","id":"Q1297027","labels":{"en":{"language":"en","value":"Proof and canonical proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1320627"}},"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":"Q1297027$0C5AA0CF-3A2B-4740-B547-D1585D27AB06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e47184e44b62f33ff63ea442bdcb72c7bfc4a2f0","datavalue":{"value":{"text":"Proof and canonical proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1297027$E89C2828-AAEB-4207-B7B8-C8A3B88F7005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32f8ec3c54847cb850b990ee634edea919d42139","datavalue":{"value":"0929.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297027$4FF8D593-01D9-4D4F-8BB4-21C28A816D38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7a70b5c73bfbe3f38f19804e86b90ae3d382b76","datavalue":{"value":"10.1023/A:1005067014400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297027$9F5B9E4B-DD7C-45CC-9987-724F5AF11ED7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e5679b7771e57b128212f011391518172d174f","datavalue":{"value":{"entity-type":"item","numeric-id":1297026,"id":"Q1297026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297027$EC711783-544D-41AB-A413-B8C3621683A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297027$C3D0F64C-6D1A-4E1D-B4FC-159A166F7DD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51039c976debe490efbb58219dc624ba4b5e99a3","datavalue":{"value":{"time":"+2000-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1297027$3093632C-18E8-4A1C-9B8C-3CFB3E9AD4C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297027$0543C813-DF72-4B15-9AA9-23F59E059BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297027$BCE67B1B-9F28-419C-A1F2-96049711C88E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f17732004005769023e5d8f0ac29b4055868dede","datavalue":{"value":"1320627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297027$6B45D11E-C657-4F18-828E-0AD64FDA79FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae5cb589c1ace243c9b35c47023ffccf501d4473","datavalue":{"value":"anti-realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297027$18AEB33D-8D90-4524-BE65-2B1D4543986A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1ec4723a4db7033d8341bd9e31a3fdc44990f5e","datavalue":{"value":"theory of meaning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297027$0126D333-6EEE-4D3E-B03B-E0876FF7A909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297027$90E32885-F353-455F-B660-A157B4A5E57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601bc0c4370d01ebd72c41b456b0bc5c249da485","datavalue":{"value":"normalized natural deduction proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297027$C6AA34D1-17CD-4E0C-866C-E8432188B910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666f5ecf59d687018bdd394821dceefa1231041b","datavalue":{"value":"canonical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297027$E894A7DE-8C96-44BD-8C02-868FA83FE160","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":"Q1297027$90233E17-F6AB-49B7-97C7-794BA9EF1E01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148cc68d9abe26bcb96784260767a8649a354d3b","datavalue":{"value":"https://doi.org/10.1023/a:1005067014400","type":"string"},"datatype":"url"},"type":"statement","id":"Q1297027$EC03BABF-A900-4B6A-90AE-8BDACDFBF659","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c75e1b2287b0de075ce4e555b80710ac2cb3f7","datavalue":{"value":"W102677591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297027$56D0C13A-4FB0-4E6C-892B-58C5A1980223","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec65d38081e1cc0f00db2b33111207b70074c813","datavalue":{"value":{"entity-type":"item","numeric-id":3178042,"id":"Q3178042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abd1ebecf329cfd3d74b5012968ab844127008f","datavalue":{"value":{"amount":"+0.749354362487793","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":"Q1297027$A6B0F6D6-D65D-455A-BF4F-A42BFDFB2C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051190af40fc00ec70b3cd96de779a20a70025be","datavalue":{"value":{"entity-type":"item","numeric-id":2339006,"id":"Q2339006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87540f117c3f866ea05dedf12e85b43b7d79c793","datavalue":{"value":{"amount":"+0.7336865663528442","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":"Q1297027$FF47531E-2060-40D8-ABFE-4C9A3567B911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf330bc6cd49f1af96a18b8dfe6c0bd198fe13cb","datavalue":{"value":{"entity-type":"item","numeric-id":3114251,"id":"Q3114251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30adb0a73934174079052946f443a5c17d193de","datavalue":{"value":{"amount":"+0.7191922664642334","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":"Q1297027$D5D10540-0E18-40CE-BDF2-530EB147078D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0de4456a36339b1476230c88892eae0108e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4824968,"id":"Q4824968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ade0cb3ab24c6c62ae33ed536acf7fb05e5bbf","datavalue":{"value":{"amount":"+0.7144083976745605","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":"Q1297027$45BDB383-107B-4C5A-8DC1-B2F1B6F213F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79c3fef929a1898047c75bd15de958fcaf7e93","datavalue":{"value":{"entity-type":"item","numeric-id":2268776,"id":"Q2268776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741fef659406de09bf6f6ea9a88334bce8f257b2","datavalue":{"value":{"amount":"+0.7073171734809875","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":"Q1297027$DB217CF5-7513-4718-94F5-DBF6ADBE4967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof and canonical proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_and_canonical_proof"}}}}}