{"entities":{"Q3317100":{"pageid":3327808,"ns":120,"title":"Item:Q3317100","lastrevid":80801180,"modified":"2026-05-06T17:01:49Z","type":"item","id":"Q3317100","labels":{"en":{"language":"en","value":"EINE \u00c4QUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847381"}},"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":"Q3317100$B7765A5D-2425-407B-AC03-E8AE04D2BA92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a11e3ace6af3571ea20a42280c28c864d99c9813","datavalue":{"value":{"text":"EINE \u00c4QUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3317100$1D9AC468-7175-47C2-84EC-B0249852D0E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8a1b3da01ca1799fe9d2cf587cfbad2354c5c8e","datavalue":{"value":"0534.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317100$B7D0EFF6-2691-4786-B260-E598D4D51249","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffe8f018a2800bffb24b31f9c99d5330f51ea42","datavalue":{"value":{"entity-type":"item","numeric-id":3315492,"id":"Q3315492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317100$EB3B7C2E-3DD0-4504-82A3-74693A3FDF5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317100$D50C6E30-DAC5-4677-A971-BDA97ED630E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3317100$74DF6242-77CA-41E4-8BB5-BA7E7D3364CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317100$375A8543-691E-4AE8-BA65-FCBC92476EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317100$17202518-5D3A-4A6E-99A8-44DA2001E868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01bf76c79a0c274a5055335a2a33c4d316e2d6f","datavalue":{"value":"3847381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317100$D7361F3A-7C0B-4A5B-AF52-E7767F2DAB96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05720d8b35406692221454f8901bd3f5ef783484","datavalue":{"value":"abstraction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317100$79AA8E6C-BE84-41FD-B256-616B9ECC662F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be94c12fd56291db3ef318ef7418bebb165fa31","datavalue":{"value":"Aczel-Feferman logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317100$F2D2E8E9-21CC-4D82-A003-203D0A4137E5","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":"Q3317100$4852F6C3-597A-4C92-80ED-E3C6C02BE143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15f422c1999f1375cc5048032367358907b556bb","datavalue":{"value":"https://doi.org/10.1002/malq.19830291103","type":"string"},"datatype":"url"},"type":"statement","id":"Q3317100$AAE66D1C-15F4-4963-888C-FF65A4184DB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6287da2ad9986ffe6a5f7ae8c139de6101a206a","datavalue":{"value":"W2060257269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317100$7276BACB-D0F4-4424-90FE-70121FCBA1AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"653ccb8754e980d348a227d4949773144b519856","datavalue":{"value":"10.1002/MALQ.19830291103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317100$B3BB248B-8748-4D36-B5C1-D3EAAA71922F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d5cdac481aab1d0ee05f0b1f7ed0c1c79c873e","datavalue":{"value":{"entity-type":"item","numeric-id":4853337,"id":"Q4853337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121df6ffe6e2dce5e595d91060c4dd8cc2928dbd","datavalue":{"value":{"amount":"+0.7651239633560181","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":"Q3317100$3559D976-B4E5-4D7C-B170-82183B827CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4840202ea9df4e6669182ff5e961eb7c36de2415","datavalue":{"value":{"amount":"+0.7003675699234009","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":"Q3317100$2D85BD10-7603-41D3-84B6-4CFE8FA66619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263c5720734dedbd12214ef280a85ae4c31f5e35","datavalue":{"value":{"entity-type":"item","numeric-id":3677757,"id":"Q3677757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8787be11ba113f6027fc0ed3a019cd452c2c804","datavalue":{"value":{"amount":"+0.7003496289253235","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":"Q3317100$9BE63761-0E05-4960-A6CC-634F34FEDE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0f02cebc808e932374de2516e417f772819449","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbaa9f9d0dd35c7bd7badb09078182a2102184ff","datavalue":{"value":{"amount":"+0.6913297772407532","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":"Q3317100$40C96779-87FA-4B78-AB3E-C709EA44B8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d99b50a4918d74864bb2383c5376fedc0335b82d","datavalue":{"value":{"entity-type":"item","numeric-id":4007807,"id":"Q4007807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7bbc2a7e04fbb442d736f0e7735897d43a6ec87","datavalue":{"value":{"amount":"+0.6912535429000854","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":"Q3317100$44C72D46-B4FB-4DCE-9DED-26DE6D6055D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EINE \u00c4QUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EINE_%C3%84QUIVALENTE_FORMALISIERUNG_DER_LOGIK_VON_FEFERMAN_UND_ACZEL"}}}}}