{"entities":{"Q763348":{"pageid":765197,"ns":120,"title":"Item:Q763348","lastrevid":64149858,"modified":"2026-04-11T17:58:11Z","type":"item","id":"Q763348","labels":{"en":{"language":"en","value":"Syntactic foundations for unawareness of theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013499"}},"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":"Q763348$7CBE3E38-A4D0-4A8E-B366-F6535B75FD99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e1035601ebaf507091607c0a0d8f9c02015fb05","datavalue":{"value":{"text":"Syntactic foundations for unawareness of theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763348$DAAADA4A-3EA3-4A74-862F-21936A135A2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0842735c34d2787b33de7f6ed7487ebb756c46d","datavalue":{"value":"1274.91366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763348$1CDA15ED-6DA8-411E-8E7B-4F8582D5B20D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acdee5dba017e0955d2ae0b53584ee0df642c537","datavalue":{"value":{"entity-type":"item","numeric-id":290151,"id":"Q290151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$27B63B88-BD12-4CF9-AAEE-B2C4CE8025EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640b750a42eeaae96a384daeb4b1a36e8ed44c62","datavalue":{"value":{"entity-type":"item","numeric-id":153958,"id":"Q153958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$EC5EC82E-6DBA-476E-8D60-470E1072070A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763348$D622071E-E2B9-4D32-A8EB-DBE0CDC7CD30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e0509b125e1651b9f65c7310637c263e35564f0","datavalue":{"value":"https://openaccess.city.ac.uk/id/eprint/21339/1/syntactic.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q763348$1E880DE2-E47C-44F5-9B30-CFC274FE8F2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19d49587a3f1b71cccf676e2d5f85b3c8d635b6c","datavalue":{"value":"91E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763348$4E87B2DB-187E-4AF6-BE04-B08E60D74A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763348$CF93E5AA-9288-4659-A5F4-8AC99D076675","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d70943f582d77e2451140e1d5e12985dbd734c7","datavalue":{"value":"6013499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763348$59CAC043-521A-493F-88A9-C5B5C9D00372","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e819dc44201b203ecaa56f0adc11a3d8c5c38a4a","datavalue":{"value":"unawareness","type":"string"},"datatype":"string"},"type":"statement","id":"Q763348$E52BF9B4-B9D1-47DA-8FBB-0AAF0FF30EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fcc5187138dbc1674a065bb674122a597aba1c","datavalue":{"value":"uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q763348$291855D9-92F7-4A44-8277-301BF76D993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q763348$14386081-3BDD-4E06-A4E8-E1EDA113E60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2f1745fa2ab6cf2eff234e8c81813656b7397c","datavalue":{"value":"interactive epistemology","type":"string"},"datatype":"string"},"type":"statement","id":"Q763348$32479F5D-A657-452A-B536-A073903EAD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q763348$8FCE9C57-325A-4B8C-A2D6-F35FCB3BDFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217b7e8bd9e018d4d8b1207ee71f8a4c72d3ff60","datavalue":{"value":"bounded perception","type":"string"},"datatype":"string"},"type":"statement","id":"Q763348$61E7BF52-176B-4E33-9F33-07C515F8B49A","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":"Q763348$1FA78F33-3042-4C4B-9205-3F8B296C0A48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24d070214d74c00cb1f7db922f7a758b1455e245","datavalue":{"value":"W2008376888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763348$B1DE50BD-14B4-4F43-9FB4-BA89FD17424D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4a2124b44917ed5af7608dc27b43c0e09bd31a","datavalue":{"value":{"entity-type":"item","numeric-id":1806326,"id":"Q1806326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$66C50C80-52CD-436C-8CF9-6DAD18EBC38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$A2BE25B2-B621-44C6-8D8C-E60212C73B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248f7d2475518af93ef629c15df88cb09415f184","datavalue":{"value":{"entity-type":"item","numeric-id":422356,"id":"Q422356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$DA35C6D5-CE21-4ABB-8164-6E30149C995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8e7501e8612876bf1a399446293da2ad1c126","datavalue":{"value":{"entity-type":"item","numeric-id":4530907,"id":"Q4530907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$1B8826B4-81B9-4D49-9888-2D9624AF7EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$AFB2972E-4EFD-4861-B16B-2C75A558D437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$49845C82-373B-4418-B1E1-2EA9548CF7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b001288089c4594bd19cb6f7d4246f7b0737e2","datavalue":{"value":{"entity-type":"item","numeric-id":380866,"id":"Q380866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$3080211F-DB57-437A-8ADC-3CCF82593286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576f1a69caa87c5e45d60d1f81724b80645b87e3","datavalue":{"value":{"entity-type":"item","numeric-id":1941973,"id":"Q1941973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$67B9CD2C-5D6C-4FCE-A523-2A15E185E34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15ee4074263eeba695becf6aa2b93915cc15cf","datavalue":{"value":{"entity-type":"item","numeric-id":700078,"id":"Q700078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$C2F5B244-CB29-4867-9446-11C6419A3B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2edefc034ef52a86daf8fb1f80dfabf7c7ea79","datavalue":{"value":{"entity-type":"item","numeric-id":2251674,"id":"Q2251674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$8CE578A2-2BE2-43F9-A760-EF9D26A3835B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055b8565c8d1ed8785d6f5059f46fb271423f9b4","datavalue":{"value":{"entity-type":"item","numeric-id":2483127,"id":"Q2483127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$939F4F27-DEB0-4C64-820D-79AEF5229FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09a1c5cea0f56f610a7f90ce9014062ce9fcad8","datavalue":{"value":{"entity-type":"item","numeric-id":854931,"id":"Q854931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$9B1C3F12-E9D0-481C-B66E-781A06317AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6326178f878a3e514b96e91054844e54943151c3","datavalue":{"value":{"entity-type":"item","numeric-id":380905,"id":"Q380905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$3F55BB74-5746-41DA-8FB7-19415183ECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e083582df737e52f723ea6a436dac092b4bd0467","datavalue":{"value":{"entity-type":"item","numeric-id":2483132,"id":"Q2483132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$76381AA2-428A-4DC6-B77D-AE27534FC3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb6a7bd230008bdcb107765e10e8f09565f62d","datavalue":{"value":{"entity-type":"item","numeric-id":2436296,"id":"Q2436296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$FF593EBE-7EF9-4333-BD36-206BBA75F3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c619dabed1b68319fce8cca4cc307d5157422f","datavalue":{"value":{"entity-type":"item","numeric-id":1017778,"id":"Q1017778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$52FF31E0-D460-4188-BBA6-22040EF8ABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ec34fb19343e1427fc4bad46d8af5510cee2f6","datavalue":{"value":{"entity-type":"item","numeric-id":1330014,"id":"Q1330014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$DB030BE7-7010-42CA-BE83-84C0AEF438CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1367f388e195087772591f88ec3f8db8734f2e4","datavalue":{"value":{"entity-type":"item","numeric-id":1294038,"id":"Q1294038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$BD9EBDF9-43B5-47C2-A9C8-EB931F6AB1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304f6fa420e6d6c0d07a5537b4b304a54f59ca1e","datavalue":{"value":{"entity-type":"item","numeric-id":1266866,"id":"Q1266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763348$F9FF0A1F-3F33-43BF-8143-F202983E3782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc0b0b62f11aedbf1da7c4eb764ee0a9a7f1405","datavalue":{"value":"10.1007/S11238-010-9218-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763348$6E93BD18-5760-4790-ACB5-5E26A10B5251","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0dcdde605aa90629c38b36b3ad38abf2751e35","datavalue":{"value":{"entity-type":"item","numeric-id":1941973,"id":"Q1941973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913fb167c8c3dbe209dc5d2295e0882bfe4c302b","datavalue":{"value":{"amount":"+0.8110846281051636","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":"Q763348$E0190E9D-BAF6-4024-BC67-75D2129A8AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86d4b021173f421a6361964a4122b60f22a575e","datavalue":{"value":{"entity-type":"item","numeric-id":2483132,"id":"Q2483132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738eb834be61b4574f220c8063b94722d9993404","datavalue":{"value":{"amount":"+0.8097460865974426","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":"Q763348$0C672DA8-19A6-4679-970C-0EB91F3143F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08722d4f6757a73dd058d0aeb2d3afe0bb5ad64","datavalue":{"value":{"entity-type":"item","numeric-id":1330014,"id":"Q1330014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03096b0a0a0f600565eeaaa3e56d507a6b3f2ea","datavalue":{"value":{"amount":"+0.8023810982704163","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":"Q763348$39BFDBB7-A895-4DA3-A1C0-E636C58C5B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1b8a6e950e8e6f6dd2fc94cbec970c6e4e369c","datavalue":{"value":{"entity-type":"item","numeric-id":5015389,"id":"Q5015389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b76051728b620209d1efeb6848c87ba0d32d6a","datavalue":{"value":{"amount":"+0.8023809194564819","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":"Q763348$C24B009F-318A-4EA7-8F22-C7584D381BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bf06b41764e13621c42a046a6723d83872fd4d","datavalue":{"value":{"entity-type":"item","numeric-id":1294038,"id":"Q1294038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419da95a4a4311fcdcc4611897260599dcc2ff33","datavalue":{"value":{"amount":"+0.8012559413909912","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":"Q763348$96FD62D2-DCB1-4093-8A70-3E965CD3ED1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic foundations for unawareness of theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactic_foundations_for_unawareness_of_theorems"}}}}}