{"entities":{"Q2013397":{"pageid":2024139,"ns":120,"title":"Item:Q2013397","lastrevid":57675666,"modified":"2026-03-31T21:17:00Z","type":"item","id":"Q2013397","labels":{"en":{"language":"en","value":"Decidable fragments of the simple theory of types with infinity and NF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6761617"}},"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":"Q2013397$7ABEF62E-B28A-4A4C-820D-391731941AC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ada323c2c63a08fa1f08d85305a90e5e987880c","datavalue":{"value":{"text":"Decidable fragments of the simple theory of types with infinity and NF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2013397$2726A058-38A5-4B43-9BAB-9876D48A0DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a094708d5be8125e10b3da48968f86e2b5d0e74","datavalue":{"value":"1417.03271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013397$3B307930-FFC7-4E45-A04A-3896F697E7F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4ad3944efef0c772c51c660a0acaf3d13098b1f","datavalue":{"value":"10.1215/00294527-2017-0009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013397$725173DF-AD70-45B8-BF97-49D6E82D2244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013397$F784C7DD-B708-40F0-AC49-87E46ED8C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7d2f4d9fec38e3b8a27aad0056f3fb4e99b856","datavalue":{"value":{"entity-type":"item","numeric-id":628797,"id":"Q628797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013397$D1922B7E-0575-419D-AE9E-BD733AB08FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a704e1dec53e1562db4a4c9c06afeea110d0801","datavalue":{"value":{"entity-type":"item","numeric-id":684227,"id":"Q684227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013397$B35F3292-61A2-4125-8676-BE66B85CBF09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013397$78239CE4-D0A5-497B-A4D4-FD02DE5A1577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df0e235d1b1d733bcc53fdadfc8ec0d6b69c89be","datavalue":{"value":{"time":"+2017-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2013397$6AE682B3-CC34-41B7-BBD7-3F74581F707B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd74dfaa3be0ebb5fe27f72abd4ec51f57ab6cf6","datavalue":{"value":"https://arxiv.org/abs/1406.4384","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013397$B67CFF45-D1D9-43BC-9376-8578E4E6C39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e28b4aafd444b65bab445aefae637bd13e06725e","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1492761612","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013397$41AF5F05-710F-428C-8810-118EAB3FB34B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013397$A86D1C5F-1230-48BF-9E7A-6DF9F6DE6AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013397$C883888A-B809-4762-A5C2-9AD6C69F5C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013397$FE3E95B1-A76C-4F14-820B-F0159B544579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46345a4a2522655fbbb1cc6756df161a9fd800a5","datavalue":{"value":"6761617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013397$650CAEB4-6AFB-4E45-9723-8BAB8D908A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20149c362eda4537f15c3a0c5fa8df15ff7e7789","datavalue":{"value":"simple theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013397$455C3227-8AE9-49B6-9406-A2999051F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f68ec1eb9f8ccdb52f7f2f83496017778ea255c","datavalue":{"value":"Quine's NF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013397$76B6A9AB-D23E-49AA-ACA5-9170FAD12526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52661e2b0081383008b515a56fb65ec03d9ce420","datavalue":{"value":"universal-existential sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013397$5BD4576C-17D7-4D40-9C2E-CFEE7AABC8D1","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":"Q2013397$E274E659-A287-4A07-8199-ED782E5CF88A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c1d23394605d45589f57021cd49cbcf44ba9e5a","datavalue":{"value":"W3103978466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013397$A3D97256-32CC-4574-815E-7D1213FD7D39","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":"f3f6cf6bac55c75b847858199a7a242b3675d17a","datavalue":{"value":{"amount":"+0.8114328980445862","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":"Q2013397$B77F19EB-F05E-42EA-84F4-A05020E5C875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200d633d135bcf97a440ed1cc4e8dd9f0ad61e1f","datavalue":{"value":{"entity-type":"item","numeric-id":2363207,"id":"Q2363207"},"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":"Q2013397$510F74B3-C56A-4222-92FF-5A020E104E67","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":"b425a5a1ffe9dd2c4880f261a82c467945fc3de3","datavalue":{"value":{"amount":"+0.7292219400405884","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":"Q2013397$D8CB355C-48AE-4AAC-8055-4E076344082D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"832b3fe652301e2721fc59c1c9f9b22180536636","datavalue":{"value":{"entity-type":"item","numeric-id":3333034,"id":"Q3333034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a556517ca202d20ef381a0cb1406a615b653189","datavalue":{"value":{"amount":"+0.726893961429596","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":"Q2013397$DC377712-646D-414F-8574-A82F33D82BDC","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":"e55c02a2cf45000cdf4ee6efe2f2e4757d002909","datavalue":{"value":{"amount":"+0.7227634191513062","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":"Q2013397$1494FA95-D68D-4C7B-9788-D1C3D7BF05C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2013397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2013397"}}}}}