{"entities":{"Q2363207":{"pageid":2373950,"ns":120,"title":"Item:Q2363207","lastrevid":72605445,"modified":"2026-04-14T06:02:56Z","type":"item","id":"Q2363207","labels":{"en":{"language":"en","value":"Increasing sentences in simple type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744693"}},"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":"Q2363207$FC31C9AC-64C3-4F2A-890F-E21EA037955D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f22ed26c58c614c40b7efbf6e94138f731412507","datavalue":{"value":{"text":"Increasing sentences in simple type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363207$158B2C9F-4AA8-4A87-AA4C-21FBE234117F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eee31f2dd983bdc1c591f29a9add63ff3ef63192","datavalue":{"value":"1422.03114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$B2528127-662C-4A98-99A8-21096FEA4905","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77cece6e443c94bfa3579a26802bf8cc99d820a5","datavalue":{"value":{"entity-type":"item","numeric-id":2363206,"id":"Q2363206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$E56130A2-9B95-4BE2-94E8-16D3E1ABD128","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$347C0CBC-516C-49F4-AFFF-EDCB7621F496","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363207$465AAC1E-E317-4EFA-8E79-2B4BF83FE768","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$B52256F1-ED6F-453E-B390-DA1A62AE8079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$6EDE2398-7415-4210-BC0B-095F0BC0E45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$3ED51CEC-8115-4A33-8382-B31FD2663611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$A6AF0349-3DA7-41F5-A41B-756E9440CC8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6735633cbb94438d3a06645e70771618ec3083c","datavalue":{"value":"6744693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$682621BA-4392-4F5F-9889-877A43752946","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363207$208DA549-F554-4241-AAF4-C1852350F75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c0edfa984d51f88f95da89e4ecd6fa0cbd2745","datavalue":{"value":"new foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363207$3C918946-9F76-472E-89B5-014FBCE85C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363207$2290AA0E-9BEC-477B-B8F6-3AAAFA97409F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dece2b67a16f221be015e3ceddb4de928543fdd9","datavalue":{"value":"ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363207$1EDC230F-543D-4270-818E-517E9399C4C3","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":"Q2363207$A07F5286-9B1C-47D0-A413-29123369FE5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bf581491fb655553a7c9e5227a7cf940d142cd8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2017.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363207$0BB05D39-E547-4D86-81E1-5EFD31771BFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34d3abd821f6816a898948cc56a282aacd963425","datavalue":{"value":"W2619103634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$F6721A05-4FE0-41B3-8128-ABE2EA7E87D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3073970392f71bd1c5b421ef7105f20cf03692","datavalue":{"value":{"entity-type":"item","numeric-id":4088819,"id":"Q4088819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$50B6E4E1-2529-4D72-B7A6-374AFE050C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$BD41DB87-A114-4627-A2F8-BD2EDBF8D4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c58612d318991d4daf764f5c2ca31f6e429a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3947653,"id":"Q3947653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$0CAC3A50-D78B-468C-A6E2-6E90E3797424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ca5b9e626e3801fd30c9669f5f77a1bbf391eb","datavalue":{"value":{"entity-type":"item","numeric-id":1187539,"id":"Q1187539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$725D9C07-B6C4-4584-B51D-24A9E71A664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f8c64017ebfadfabc9db0b86b4d1a4bc1751fc","datavalue":{"value":{"entity-type":"item","numeric-id":2013397,"id":"Q2013397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$6702CD88-F934-49F9-A18D-1DBA523568FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$BE19BEAE-F630-4543-A64A-526F5947C714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437a095343f45751cd239e6ebbcf4f254e36670f","datavalue":{"value":{"entity-type":"item","numeric-id":3784063,"id":"Q3784063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$91B8FA07-B5EA-4EFC-ABD7-D6B87D5FD88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc199417ab3e7b2dba8b9fd027cdc242002f306","datavalue":{"value":{"entity-type":"item","numeric-id":4850035,"id":"Q4850035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$9F7865F6-C23C-4769-89E3-DAE14D266D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e8f25a14ef3b4dc7dcf12d3514e9d10fb6c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5672900,"id":"Q5672900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$F9D7B748-443B-464F-AD26-893FC98B5E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a7d951f39d53c3e606760427f9f6805a1e9307","datavalue":{"value":{"entity-type":"item","numeric-id":3984422,"id":"Q3984422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$19329F38-020A-4C71-8517-019CB35C626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$26A64D58-FE0F-4BB6-A17C-DF8024148C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec42b54e11282096e37098fa4c6b250db5170a6f","datavalue":{"value":{"entity-type":"item","numeric-id":2363207,"id":"Q2363207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$C5F7679C-478D-4507-BD14-271FF3EC71E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d892c3cde946be602214ad80068bc8293a9771ac","datavalue":{"value":{"entity-type":"item","numeric-id":5537402,"id":"Q5537402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$834106FF-3989-47D2-AE9F-F9F942EB2438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e7192f2231d3dacf92c5bd4a92fe452de99a6f","datavalue":{"value":{"entity-type":"item","numeric-id":3426575,"id":"Q3426575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363207$2A4F04DC-FBCF-4135-BFDC-8A3FB4984739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca4e0bd07722a22ccaed9d3c92443f138a686ed0","datavalue":{"value":"10.1016/J.APAL.2017.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363207$57F6CFC8-9313-4BE7-865E-C91D81374B0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e79fa3850e95b108a7a4c20e82bc2e2925c2e97","datavalue":{"value":{"entity-type":"item","numeric-id":5108113,"id":"Q5108113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9d423efb32f9fb950f01b5e9ceb3f37627f980","datavalue":{"value":{"amount":"+0.8632676005363464","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":"Q2363207$2118AEE1-4064-4FF6-9074-CB262C03487C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6241cd6d5a0029d1dccdce8a5f120261120426e6","datavalue":{"value":{"entity-type":"item","numeric-id":2013397,"id":"Q2013397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2beddc79987a7ace69dc83885121b7ae0ad744c","datavalue":{"value":{"amount":"+0.7842724323272705","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":"Q2363207$7D6D2AE4-4EB5-41D7-954C-1800F18B669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9211f2b2a09487d8e208d247a83a054e6596ed8a","datavalue":{"value":{"entity-type":"item","numeric-id":2710614,"id":"Q2710614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0bb3b14af63f143194d2ff710022cfb37ae1fb","datavalue":{"value":{"amount":"+0.7260296940803528","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":"Q2363207$085ED0FA-8DC7-41E5-8614-701CEF5A7A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010acea538bb9c6acecc4f8c1309037c9a25a492","datavalue":{"value":{"entity-type":"item","numeric-id":3320364,"id":"Q3320364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c07c270753a2c1ce1ee5700a765b9bd6f4550e0","datavalue":{"value":{"amount":"+0.6988138556480408","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":"Q2363207$34EA66B6-E793-4DDC-9591-BE7E0804ACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871cf23a0419c6c45ea7f33de9f3af529f09052a","datavalue":{"value":{"entity-type":"item","numeric-id":5937851,"id":"Q5937851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c684f277cf9a43145f7b84a37b5c0f029d76b8b","datavalue":{"value":{"amount":"+0.6958034038543701","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":"Q2363207$98DF4008-A887-483C-9804-2623C5C68BDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Increasing sentences in simple type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Increasing_sentences_in_simple_type_theory"}}}}}