{"entities":{"Q2940164":{"pageid":2950884,"ns":120,"title":"Item:Q2940164","lastrevid":52180946,"modified":"2026-01-21T02:46:57Z","type":"item","id":"Q2940164","labels":{"en":{"language":"en","value":"Interpretability logic IL does not have finite subtree property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6390875"}},"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":"Q2940164$0CCA4F05-8489-4BB3-A814-0B3629BF7CED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b0f7c92ac3dfbd4fd51294e0b209147a55f79df","datavalue":{"value":"1312.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940164$B58A82A8-79AE-4F81-BDEF-244F79AEFE9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fbedcf5dbd70d2cbfc902731862a2b2a8291b9f","datavalue":{"value":{"entity-type":"item","numeric-id":361869,"id":"Q361869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940164$7286E39F-CFAD-48B0-B360-1F3301E5BD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0adf3c00216a49ea198818eaf1e832ec99c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940164$984A9DD3-FDBF-48EA-8235-FED9BD61562D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2211b1c56e0df95e4176061da2a32e641c42598","datavalue":{"value":{"time":"+2015-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2940164$6A5B1EF1-1509-4BEA-81E8-A32415B44124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1234829cb1c303dc583581f9b6dc623e831e0c69","datavalue":{"value":"http://hrcak.srce.hr/file/188441","type":"string"},"datatype":"url"},"type":"statement","id":"Q2940164$E9927724-E5DD-44D2-ACC1-2354CB62B84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940164$19267A17-6C82-43D1-B150-A8B63F1DEEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940164$375EB09B-05AB-4E49-ADED-942B997ADF46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76e6a88f9c276a9e68c4f2b02c4dd9864b82ac84","datavalue":{"value":"6390875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940164$898A1D80-7604-499A-BB0B-F29663CA1DFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940164$07011F7D-7A33-4A0F-A01F-AB16F6D45ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ca3f35911ab8dbbf0b25e7edb55e36f49ba01","datavalue":{"value":"Veltman models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940164$A79AD303-1F2E-46A2-998F-6D5DD86D36FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940164$6C3F19E3-BE47-4B46-933E-BD0FB1343AEA","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":"Q2940164$51644937-D334-4A24-AFA3-E037D59EA75F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd2e39593f621fb2032781b685bf12122a2e467","datavalue":{"value":{"entity-type":"item","numeric-id":6047678,"id":"Q6047678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63881154648aa80f70ecf79656a2769cdc3bf2f","datavalue":{"value":{"amount":"+0.7596878409385681","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":"Q2940164$5714A63F-388D-42AA-9297-76AC71805C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a95a7a312638f6083a96031fa9cf55fb684d65","datavalue":{"value":{"entity-type":"item","numeric-id":4329232,"id":"Q4329232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d160bd6fd98a61c71aa235ca46d3605acd23b5","datavalue":{"value":{"amount":"+0.7522581815719604","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":"Q2940164$FAE45686-EB67-46F4-A4D7-C8C652E3D86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd215c84838e4b20b4161dc7bd87c2837d9cc083","datavalue":{"value":{"entity-type":"item","numeric-id":867400,"id":"Q867400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124d04e3c6bff357cbe078b4cce3a7ad2d14b673","datavalue":{"value":{"amount":"+0.7520363330841064","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":"Q2940164$1360188B-0408-473E-8F0B-27ECA58FF090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fe67be56c8c4ab6c17dd947c3b639d69e286ee","datavalue":{"value":{"entity-type":"item","numeric-id":3015294,"id":"Q3015294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0138f52df7661fddf8d9ee9bb155f9d31eb1a3","datavalue":{"value":{"amount":"+0.7505066990852356","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":"Q2940164$C7057013-B8FE-4AF3-8969-3D8453EE4ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde959c3e1459709db24a53cb30b857b3f6169e4","datavalue":{"value":{"entity-type":"item","numeric-id":5095629,"id":"Q5095629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d853b492d71ee2c4eaccb0ba9db487f15a10d2","datavalue":{"value":{"amount":"+0.7485047578811646","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":"Q2940164$28471596-3D98-48BA-B859-99E8F3C213DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2940164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2940164"}}}}}