{"entities":{"Q3426575":{"pageid":3437278,"ns":120,"title":"Item:Q3426575","lastrevid":80515634,"modified":"2026-05-06T16:22:32Z","type":"item","id":"Q3426575","labels":{"en":{"language":"en","value":"A Reduction of the NF consistency Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132676"}},"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":"Q3426575$34C2FF4C-B27D-4091-A6ED-8BF47265BFB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9477c6c72970dd64ab40d7c674109c5ac19a1e39","datavalue":{"value":{"text":"A Reduction of the NF consistency Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426575$205AEB29-0844-4409-AA27-09F8B09930BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8129bbeaa916d9547e86e690815b12acf299950c","datavalue":{"value":"1116.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426575$A1A1AED9-C171-4B40-B165-9A0761A5E751","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426575$FC915023-FC50-47BD-BFA9-F8791060EC96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426575$D4277672-8086-4BE3-BC7A-792C93B8227E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426575$31AF63C2-B772-42DD-BDE5-B97C3DDBCB55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"862b320108ae6f90c96ad7306a8618c31953b122","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.693.9989","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426575$9AE044A0-D8C1-448A-82A1-766D975CDFD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426575$3FCDF32F-B929-4639-99DC-A00F045F98FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426575$8BAF5812-2452-4517-8A7C-02BC0E2B2886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cba6e6f9aa1083d12349e0a391bdf7593683987b","datavalue":{"value":"5132676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426575$E89E774D-FD0D-426B-BAD2-3F160786C75D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426575$8A92AA57-8103-4E56-9BF7-8D23F0413D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426575$7336F2C1-8052-42E7-9D55-FB46D08C0626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaebfdc0725d1512838952e09bf6f2a6c51073a","datavalue":{"value":"theory of simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426575$725BC5E0-49D9-4FFE-804A-1F02827929DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5e2cdb3740078029d75e39a51fbc4643a9c5fc","datavalue":{"value":"type-shifting automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426575$0A6AF389-28F1-404F-AD65-36A8FC8792D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426575$3FBAC783-37BD-4C40-984D-11CE1DA1B580","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":"Q3426575$9AD52791-D30B-4BAF-B59B-95E807CFD365","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4eea9c41bddfac8fe8e9de896e5996d2aab39451","datavalue":{"value":"W2125884377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426575$866BC72A-524A-4BB8-B7D7-33D1CD1E9BF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20df0b5ad6088fa295387ed8bc632fc2f41ef3b9","datavalue":{"value":"10.2178/JSL/1174668396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426575$1E784718-78E9-4514-BDDA-848105CA185A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee796faf2ef2070f29395030e1e623047b48735","datavalue":{"value":{"entity-type":"item","numeric-id":4391434,"id":"Q4391434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f834c1ec90cfbffed10306b548f44f1374d6262","datavalue":{"value":{"amount":"+0.8003605008125305","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":"Q3426575$C9E33D5C-1419-45A4-B445-63494B8C8E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587906763b9be2b528ae7c3b1dc0bbd1f1ae1c28","datavalue":{"value":{"entity-type":"item","numeric-id":2255737,"id":"Q2255737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f834c1ec90cfbffed10306b548f44f1374d6262","datavalue":{"value":{"amount":"+0.8003605008125305","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":"Q3426575$A7B8BC9C-92C4-4A46-A9D8-0DEAE0E5BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c247ed047f6fd188719938065ce2c1a58ff7d0d","datavalue":{"value":{"entity-type":"item","numeric-id":638501,"id":"Q638501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4c5773f99569cfa95e30afc7b56841e6fc3f67","datavalue":{"value":{"amount":"+0.765764594078064","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":"Q3426575$2A85178F-9853-428F-AE87-DF1B9090E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990bbc5c7d660bd1e437705d041a6f85054adb32","datavalue":{"value":{"entity-type":"item","numeric-id":3581799,"id":"Q3581799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e804790a137d209539a07ae47db3524d220c959e","datavalue":{"value":{"amount":"+0.7621679306030273","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":"Q3426575$B934856F-3906-464C-8865-169BCB50749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ca262a8fb9d273c3be6357dd3e146801ad7c42","datavalue":{"value":{"entity-type":"item","numeric-id":4227868,"id":"Q4227868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f0708909ab989acfc0fc06429c5b87f2425fd6","datavalue":{"value":{"amount":"+0.7604123950004578","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":"Q3426575$6B93C06C-1840-47F6-A558-7968ED86019B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Reduction of the NF consistency Problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Reduction_of_the_NF_consistency_Problem"}}}}}