{"entities":{"Q2042738":{"pageid":2053480,"ns":120,"title":"Item:Q2042738","lastrevid":57641220,"modified":"2026-03-31T18:27:17Z","type":"item","id":"Q2042738","labels":{"en":{"language":"en","value":"Interpreting the compositional truth predicate in models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7373428"}},"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":"Q2042738$C8B8BF18-811A-4C9B-9C91-2100294BF580","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c724a9f92a2309a859a8a2c1bd48e37f7c402e6","datavalue":{"value":{"text":"Interpreting the compositional truth predicate in models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2042738$CD0F2930-2B45-49D0-8B15-CB6D04EA3A9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de95221d43b9fbc5873b42084a5b7dc3b15bddef","datavalue":{"value":{"entity-type":"item","numeric-id":381005,"id":"Q381005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$25CB18DF-A33F-4C18-AAA0-D3D191D3A8C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$CD371838-92CC-4D0A-9F49-236B2E19D5A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb0774ad0c6f94c06a2b1f10711f7e11fbad627","datavalue":{"value":{"time":"+2021-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2042738$D28DAF89-C5C5-4B8E-A6A8-F512EB91AD47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042738$E4096C47-77B4-4877-8F30-E78465C8098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042738$D50A8B0D-4E50-4562-9944-27CB70A5C4BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e31ba726a697521745d6b592d9af4d7c786996f","datavalue":{"value":"7373428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042738$9A6AC391-BB60-4374-BF64-154ABF09FC3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2042738$1DC0317E-6E9F-4920-84E3-B54BD3D7A3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9356f7d1597ca1770e6570130c6b18ff4c13da06","datavalue":{"value":"satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2042738$861AC279-103A-47DA-804B-264885F120AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2042738$94CA4839-8385-4A3C-AFC5-F89A14266C22","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":"Q2042738$088AE986-6E70-40BA-BE22-E606EB33AFC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f2f154ce696ec9153043cc076b87a83f4929b30","datavalue":{"value":"https://doi.org/10.1007/s00153-020-00758-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2042738$1EC783BC-B372-4F83-BD3B-BB3EF249196F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f01c2df7f9c0db13afef39304e0f7cffe743dde5","datavalue":{"value":"W3127052585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042738$FE656C6B-7A05-461E-88F3-B939E24042C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80af18a3782140809471dc5dbe8a13a584107e1","datavalue":{"value":{"entity-type":"item","numeric-id":975779,"id":"Q975779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$2263C20C-2B78-4605-9910-9C559103DC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013537112bf377ff7d74aabe0999ad73acea8623","datavalue":{"value":{"entity-type":"item","numeric-id":2284183,"id":"Q2284183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$34DB1589-6CE8-48FD-B4A3-64257D39F1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$0B6B9DCD-A71E-4789-B5D2-F604CC43437D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$A1DCED8D-2245-468F-81BB-ECEBD6F8D4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e0d47923b2a2f389255e7e62cca04e46ab1480","datavalue":{"value":{"entity-type":"item","numeric-id":1182694,"id":"Q1182694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$C16CBF7E-7B81-4761-B837-BFF05DEF0923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$9C55ACEE-B505-4018-AFB4-C2AA82E08CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e85a3e12be6bf3b070103085c7ee3eb057acc6","datavalue":{"value":{"entity-type":"item","numeric-id":920081,"id":"Q920081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$78DC9FEC-4C3F-4182-852F-42E79F0CF46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbe761ae08f93ee4eec33760284b7fcf9bcb766","datavalue":{"value":{"entity-type":"item","numeric-id":3450806,"id":"Q3450806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$711D86BE-085F-4355-B79D-C9147CA2E3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a1313ed254efcde5f707e2ac2d8b471e576f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5551148,"id":"Q5551148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$0423B3EF-7536-4ACF-861C-EB553827C3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb0963c76aacc5a544a50d626e5e6af3999b5e6","datavalue":{"value":{"entity-type":"item","numeric-id":3786482,"id":"Q3786482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$D7EEB7E6-ADB5-4298-A76D-043E01BFCD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0dcfb8f3c0701fa372b24757963fb696d9261da","datavalue":{"value":{"entity-type":"item","numeric-id":2537964,"id":"Q2537964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$78372092-3B57-41AA-BCFC-A78DB3D52AE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14616c68636cd3af557fdc3b11ef339479b5cd9f","datavalue":{"value":"10.1007/S00153-020-00758-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042738$9774D060-FF81-40FD-928D-9BD8A3440246","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52fa787b383c38c8edba9cb545287007448a7b3","datavalue":{"value":{"entity-type":"item","numeric-id":2284183,"id":"Q2284183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e53b577cb711cb7613277bc02b12ca81df6331","datavalue":{"value":{"amount":"+0.7539838552474976","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":"Q2042738$8AE2E2CF-AF3B-412A-9404-EA41512F92F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fd6f9e1794763129810d689204db3cfc12f992","datavalue":{"value":{"entity-type":"item","numeric-id":2662691,"id":"Q2662691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf04c65ca6d200882fae27d6b4edb56d89bbff7","datavalue":{"value":{"amount":"+0.7420172691345215","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":"Q2042738$45932B50-0255-43CF-A9C5-E8B0C71CD561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de294f3d1fe73d2cdfd5856296a4f582b46f0cc","datavalue":{"value":{"entity-type":"item","numeric-id":5019780,"id":"Q5019780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e166ec5eb700cc2535c06f18447e47756ec8423","datavalue":{"value":{"amount":"+0.7358654141426086","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":"Q2042738$34E1B081-A148-4F73-8BE5-DFBC49E65CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1441ddcd38c4948253de1c29128ef26c2de37994","datavalue":{"value":{"entity-type":"item","numeric-id":3820599,"id":"Q3820599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbc93b5972344e6753390b468f447425c25cf6b","datavalue":{"value":{"amount":"+0.725829005241394","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":"Q2042738$9395FEA5-0009-458E-8E80-2D16191CE8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae8117a4cdbda982caf4d182d04c88e3b79a5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5737967,"id":"Q5737967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4c63ae93ad68c8ba122b7bdefb2d91c2a5ba3f","datavalue":{"value":{"amount":"+0.7235137224197388","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":"Q2042738$CF9B12E5-BE32-4C14-A4A5-616C5281AB74","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2042738$5BED72EF-711F-46E1-8E44-0EC00F3EFA4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2042738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2042738"}}}}}