{"entities":{"Q1893136":{"pageid":1903878,"ns":120,"title":"Item:Q1893136","lastrevid":46389759,"modified":"2025-12-24T16:49:58Z","type":"item","id":"Q1893136","labels":{"en":{"language":"en","value":"A simple proof of arithmetical completeness for \\(\\Pi_ 1\\)-conservativity logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769228"}},"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":"Q1893136$75220B7F-A6B3-49AC-BC9A-52CFBADD2AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a1b3071cced06e281094cc6a761609b91948006","datavalue":{"value":{"text":"A simple proof of arithmetical completeness for \\(\\Pi_ 1\\)-conservativity logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893136$6A231C94-EA24-4885-B21F-83CC26B325E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c193a50913e27a0bb6c6fe12b295b463576f2eb6","datavalue":{"value":"0822.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893136$71B81749-B848-415B-897B-A26A14FFABEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$77AF1F8D-2B1B-4DC5-87F1-69F13AD7AF9C","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":"Q1893136$D8E3BE77-E7A6-470E-9E25-193E86E2CD25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893136$5DBB7B3E-9C2B-4ECF-B6C5-7AB8827B5FCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893136$2C26ECDA-E558-4748-8883-89C26E3122C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893136$79249448-43E0-4531-9F91-ADF405B7C127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5241be1b8799c7058cd44c9a73612678c83af5a","datavalue":{"value":"769228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893136$5C3C2764-9F38-4B22-877B-473C7F328F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8eea1cb31f8dff9bf0e0bee5d8488034745af1","datavalue":{"value":"modal propositional logic ILM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893136$1AE73666-0063-4618-B377-34A9E2F9DBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2454f3c771335e530aaed8430cc829389d29d97a","datavalue":{"value":"\\(\\Pi_ 1\\)-conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893136$2AE9D28D-069D-47E5-8F80-0F91B00DE01A","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":"Q1893136$660E6D3F-6C9B-4672-99A3-EB15106AE4FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94f64a01d5d8a2c260b6c74b7524fbbb2ed0403f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040511342","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893136$FDD5FC5E-61A8-45F7-AD00-9B877E813341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5c8fce374273c3fea376e4c5842c1e1f436d48a","datavalue":{"value":"W2047679686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893136$E8B03248-377D-4C38-A631-EC1CD8B48C4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$B33839E2-F79B-411F-A93D-1EBF60001C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$20F62EBF-6991-4F6E-92A4-064E3A4EF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ce780a1cdda837f99fdc2c5f742c3b4d868bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1207342,"id":"Q1207342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$F6E82D46-6313-4314-A9BE-929F9A7CD3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc79734aa7b49132ce491a5b8167b96cbb722b","datavalue":{"value":{"entity-type":"item","numeric-id":685075,"id":"Q685075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$0237FB9E-CAF4-4A4F-9965-E720738C5230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$99AFAB0C-6612-49BD-BD56-E5B8F01966DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af95d1a259dd7d81908c4ff6cd4aa7411c2937","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$00FDA56D-B55F-44C3-90D6-2075A81CACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69094de10a4adace17c337f42fc95786cce9146","datavalue":{"value":{"entity-type":"item","numeric-id":1144008,"id":"Q1144008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$81675B51-3570-4749-A1D2-53521DECA7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$3435516A-8692-4F9E-94CC-97E3EDAB7CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$53FDED40-D09E-487F-BC46-A293B3264FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ffed8cdd797523e656f7112e857187e4b2806e","datavalue":{"value":{"entity-type":"item","numeric-id":689212,"id":"Q689212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893136$7AEF0314-1D6A-41C7-9624-A1AF5BACCB9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebbe8ca83769ac8401953e6e64f40ee93f95c620","datavalue":{"value":"10.1305/NDJFL/1040511342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893136$81BE8AEA-EB12-47E7-96C2-A3F3F8E32869","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856299c454287684b15cd37b84b123a5ac6e5587","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c6de12f3c1c4cc9421371011a76dabe9bc51b4","datavalue":{"value":{"amount":"+0.8965088725090027","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":"Q1893136$5942286E-9932-490C-A1A0-DAFA9CAFFAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7808827ea3f3a6d41ce6ed3f9aa1249b66feef18","datavalue":{"value":{"entity-type":"item","numeric-id":1311428,"id":"Q1311428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b7d1c90e2560ff2b796c3b59d5acf1bc093c27","datavalue":{"value":{"amount":"+0.8720443844795227","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":"Q1893136$560C0AB2-10D5-420E-BBF5-2B7CBD02516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e31ba889099dcfdf7c9882a379edd06d370a485","datavalue":{"value":{"entity-type":"item","numeric-id":1182692,"id":"Q1182692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517c495e7897d35da78b6a57c631d82d688a628e","datavalue":{"value":{"amount":"+0.7877477407455444","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":"Q1893136$D234F1A1-0EB0-428F-8F1E-FA4D13585791","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1893136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1893136"}}}}}