{"entities":{"Q960861":{"pageid":962709,"ns":120,"title":"Item:Q960861","lastrevid":50941271,"modified":"2026-01-15T20:47:29Z","type":"item","id":"Q960861","labels":{"en":{"language":"en","value":"G\u00f6del's system \\(\\mathcal T\\) revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5687505"}},"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":"Q960861$594FA244-70D3-490B-93EB-15DCD07D6399","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb2f4ae71fe4d2e0194c416f76a2799ca3b33e0e","datavalue":{"value":{"text":"G\u00f6del's system \\(\\mathcal T\\) revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q960861$1D573874-4020-42FF-884F-F59C3949A038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff520be0cc283ae0dadbd077a7cb5e3e85497755","datavalue":{"value":"1191.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960861$0FDB2981-5D4D-42BA-9936-AB0687DDA92E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb09ce379517ae0e0c141c5fee079c01b864dc7","datavalue":{"value":{"entity-type":"item","numeric-id":530850,"id":"Q530850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$9D81D66E-144B-4781-8031-A71E9687A9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$1E55C78B-42F2-49F6-BCB0-96045A22F2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caf918ebfde63ac64127671232bbb1ceaff1199","datavalue":{"value":{"entity-type":"item","numeric-id":656849,"id":"Q656849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$C3359FD0-7B09-4836-BEF0-1905F2BC1DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a04798673cdee8e131074b158bbd965428ba13b","datavalue":{"value":{"entity-type":"item","numeric-id":656850,"id":"Q656850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$C81AC08E-57E4-41CD-81D3-81BC8FBC5574","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$22AF8610-CB21-4BAC-AA84-817805C31D93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7779b9b8e663f6e735902e827572a0b1b55abb","datavalue":{"value":{"time":"+2010-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q960861$AEAEF0F8-10CE-439B-A7FF-6394F6F2EE97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960861$414DCE6E-21D7-4259-9228-E91FBF413208","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa497bef37bbae3dfeb77eb436630389cae68fe8","datavalue":{"value":"5687505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960861$79AC9BFC-E182-4366-90F5-C79AEC47CC2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q960861$CE8957E6-F3DF-4243-8F14-46D3C2CD9C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"188c44789aac6cf116f0c8f0ea49f1876628416d","datavalue":{"value":"system \\(\\mathcal T\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q960861$1A97C473-25F0-401B-A07B-4EC8E2EF7C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a68f1cad860d547535af262ab64b5ee5d1af5d3","datavalue":{"value":"linearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q960861$776CBB72-0F71-4EB9-9614-4EBBECE15E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b73aec65963f0a41bb3f779d52146c86c90f8b","datavalue":{"value":"closed reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q960861$31453672-F675-4393-AC5D-5711757DB22B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2a74c523f453d5d9063194486bcb383c672e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":20978,"id":"Q20978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$5525E4B2-674B-43F9-AA56-1B7CAFBDF1C9","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":"Q960861$8B95EC42-E59C-4E02-B23C-14A1F3A5BFED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6213bf489eca4ba96ea2ca7aaedf27724655a42f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.11.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q960861$D04752DA-C993-4413-A3B7-946184EE39A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cbd01b9075dd99ad1f7ffe94f08c866215b94d2","datavalue":{"value":"W2068709824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960861$D6D6A060-AC23-4FED-AFA4-BAD2F37AFE27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$88BBA7FE-8F09-40C3-BB31-2F7020E1209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cd542f350018b04db54c6b895e6193b2dbef3c","datavalue":{"value":{"entity-type":"item","numeric-id":3613332,"id":"Q3613332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$543987D8-606A-4482-98BC-471A9D390828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6937667bcc07d0603799d9d648d4a9a7e81037","datavalue":{"value":{"entity-type":"item","numeric-id":2866800,"id":"Q2866800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$F68FFA77-3351-44A0-8DF4-81CC8C01C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565d9e1f0727ced8725d3359529f4dc1e41c9c19","datavalue":{"value":{"entity-type":"item","numeric-id":2566028,"id":"Q2566028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$B3374911-53E1-4495-9C5F-F91CF2B07279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$E82A813D-0C9E-4D06-B3BE-7FD288B1125C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c5f7f41023c17a654a9c115ffa0acebf3cea74","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$EAEB3979-32C0-48A2-92AB-CABCEA3B0645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08e2dc1c427cd45e0eb44edcce51f432eb4f96f","datavalue":{"value":{"entity-type":"item","numeric-id":5308440,"id":"Q5308440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$60D4E1E5-5BAB-4DF0-8F51-1E473BD0B73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$40CE62E5-92FE-4528-A0C6-3ACE373077A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aba331888ed53a4ed165af95f5e9757382bf85","datavalue":{"value":{"entity-type":"item","numeric-id":1129266,"id":"Q1129266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$3B4A6412-1DE4-4F86-A693-D61D22A7BE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0c67870c1a5e0259aaac79ff002e2c719f79ac","datavalue":{"value":{"entity-type":"item","numeric-id":4945227,"id":"Q4945227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$9AA818AF-BDDC-41D3-B65F-D008FE8A7100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da88094cd0f8f7b2372d67f2718a6f39c385893c","datavalue":{"value":{"entity-type":"item","numeric-id":4675772,"id":"Q4675772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$83CB82BC-E92D-4FA7-A905-E31B4472E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$93F1767E-9420-4941-B982-431C7C404D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$1A96C1F0-7C6E-4509-ADA9-38297E97B0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$BD2914F4-4774-4E2C-AEEC-8D48550001F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$856799F6-88FF-431F-AA54-F09F1B6BBDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$FEC1808E-43B0-4775-B9C2-06373ED8FFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093fa3fbfb32f6d1d937510e5cebefcb111743c","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$33675C95-0457-447F-AC24-24BA39769004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$6179BC9D-B62C-411E-A7DB-BFE51779151A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$96C2EE91-12A7-4A0C-B5D0-6A359A784552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$DCFE9E40-0513-42D0-962B-ED72525101F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$E03ABF06-BEEB-4C6E-A94A-C0F29C17474C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90865b1c8552ad64f20c3edbd61195665c4a9e74","datavalue":{"value":{"entity-type":"item","numeric-id":4764609,"id":"Q4764609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$8FF83125-D16E-4BC6-B1D8-62A10C49B825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039d97201652c4283dba241fd4e1b87cdbf197b5","datavalue":{"value":{"entity-type":"item","numeric-id":1320337,"id":"Q1320337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$1B87FB11-8969-4CC8-B1A6-85C2EFF1E355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$FEE46C42-2D58-49D0-9ACA-AAB16FD3FAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960861$FCEF0855-A42F-46CA-9B3D-6B2D3EB8E6CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d26bdf89ade943daf59f91f117139dba05c67008","datavalue":{"value":"10.1016/J.TCS.2009.11.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960861$F133A853-0838-4A25-B737-6651A48F4DBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1227548dbc16685cfa84039b9c1f429bd4f0eef","datavalue":{"value":{"entity-type":"item","numeric-id":3613332,"id":"Q3613332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7024ba06928674abaa9e7a0d49ad13e0c02ed439","datavalue":{"value":{"amount":"+0.9090681076049804","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":"Q960861$4A0CB25E-C676-4381-B10B-61128CAAFB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d701989086e07248ff8b78c9a7f95b443937c8a","datavalue":{"value":{"entity-type":"item","numeric-id":656851,"id":"Q656851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67dc582306f906ec172e8fa5147d038dedf8108","datavalue":{"value":{"amount":"+0.8438862562179565","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":"Q960861$22FDB6BD-51D4-4AFB-938F-6B79CD23C4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a0c1d0aa0e989b68c1db33dc3d47478f19867e","datavalue":{"value":{"entity-type":"item","numeric-id":2866800,"id":"Q2866800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a889cff790d70c32f85545e0a450fbdb73282dfe","datavalue":{"value":{"amount":"+0.8056277632713318","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":"Q960861$A1BD4BB8-B23E-492E-9416-A59669812D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b0d63d47453a20d6373e1b439c8f02b463447ba","datavalue":{"value":{"entity-type":"item","numeric-id":5758046,"id":"Q5758046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d523df2866a09a17882b6620b0b3e80ef893cbc","datavalue":{"value":{"amount":"+0.7993241548538208","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":"Q960861$B52595F9-F5ED-43C9-8CAB-DA7C50DF5E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b693766587151c4b02cc0bc057f231612e9592f5","datavalue":{"value":{"entity-type":"item","numeric-id":2873683,"id":"Q2873683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a50b1a940959e84245c3f0f3cb7d469a8ac757","datavalue":{"value":{"amount":"+0.7718471884727478","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":"Q960861$022D7B4A-4955-4112-9DE3-3447676406D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:960861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:960861"}}}}}