{"entities":{"Q5855755":{"pageid":7885306,"ns":120,"title":"Item:Q5855755","lastrevid":97444253,"modified":"2026-06-05T14:46:49Z","type":"item","id":"Q5855755","labels":{"en":{"language":"en","value":"A note on derivability conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7326440"}},"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":"Q5855755$9EADFADB-7B99-4B37-8BAE-AA62507A1E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c009a1d6e8c7cb5f87cca215317b262680ad086","datavalue":{"value":{"text":"A NOTE ON DERIVABILITY CONDITIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5855755$42544093-6EB0-4A4A-8DE1-075482B7D070","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b03d454674079793d8d1e7c389397aad19ef519","datavalue":{"value":"1473.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855755$1978006E-7513-4578-92AA-69E050FC9095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$90723A61-26D0-4A24-8FA9-B0135E009833","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99cd72c3f8b23bcffeda78059e62d8c3df9cfa03","datavalue":{"value":{"time":"+2021-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5855755$AE542DCA-5D12-48C9-B971-E6454F1827B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"318ff8e4485139b173e22cfb251428ddfe190735","datavalue":{"value":"https://arxiv.org/abs/1902.00895","type":"string"},"datatype":"url"},"type":"statement","id":"Q5855755$D4DBECB3-F95C-4000-869F-12AD8F385931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855755$62F7DAE5-5438-4751-B69E-DA8AAEB7167A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855755$C96D388D-698C-45B2-B117-AE073CE5D8B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e3636c5ff76649a11e08075c2a576f227a73a33","datavalue":{"value":"7326440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855755$11C0136C-7B7F-4257-903C-0D24EBC9304D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855755$2822A04D-6EE5-445B-8237-F3A3F36B78D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af6f5a843a99f5a1eb02f1424ec2d67664ff9d67","datavalue":{"value":"derivability conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855755$1A4CC2DC-0C38-45A6-BD9B-293FE3024007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25bf495049639b24d33df0d3cc3004651edbaf1","datavalue":{"value":"provability predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855755$748C0117-39E0-4BA0-BB3C-81298E68C16F","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":"Q5855755$16E0E7E8-E0C7-41C2-ACD0-24CFEE2BA064","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2cbf65b5c48b8da58bee16acda4e09b909858e7","datavalue":{"value":"W3098929795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855755$76F49B8B-409C-41CA-A7E3-5BD982651EBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b226e1cf53a11b2b23cbab3932c50f8cdfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$D72342ED-0BA7-43CC-BF05-D80EA9AFE9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003cabfda8dbc08b7fe4967e6f584f98e1dfcb30","datavalue":{"value":{"entity-type":"item","numeric-id":1204765,"id":"Q1204765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$03D7C517-5605-4435-9E7D-A8395A88A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dbf8dfa5bc399ec3c3b82f7d186f6542ccc3ef","datavalue":{"value":{"entity-type":"item","numeric-id":3677759,"id":"Q3677759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$C9F18EE9-E4EE-43EF-8822-3BED72E7D3DD","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":"Q5855755$854711C2-782F-4B2C-9C0B-B3B2D51D831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$B2369472-6F2B-4E32-AC13-EA4A992F375A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$484A88AD-ABE7-4CE2-B82D-1516511A6021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$E5BB501D-36F4-4B45-8DD0-42FFFCB108C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$2D24F8A8-2E58-463C-8830-73A47BCB33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914e96ea34bbc5fad7d5203a5493140eddfb6d54","datavalue":{"value":{"entity-type":"item","numeric-id":4401433,"id":"Q4401433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$61482B2D-2E3F-4718-A931-5BCB129D78E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$6C9BF104-8303-4D9A-8587-5A9FBF0FEDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$7BD1CBBE-AA5A-47AF-995D-2A0B7867E0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$8CE61CB1-B0C4-465F-97F0-163BEA2376C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$D45F3FB5-8FF2-4305-9CFE-DCC34FCF5E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6090a34cfdffbb5f68ab89f159a5f9836ac9847","datavalue":{"value":{"entity-type":"item","numeric-id":4190631,"id":"Q4190631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$0796DADE-6505-4B12-B71A-A1040C8DFB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc73e23839d9fe8f09566ce9fc5a96bdd2a7e59","datavalue":{"value":{"entity-type":"item","numeric-id":5523665,"id":"Q5523665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$094090C5-171A-4EF3-819C-9DCDA92FCF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e2c891a261f942495047beb365a06a874147652","datavalue":{"value":{"entity-type":"item","numeric-id":5902234,"id":"Q5902234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$4B5EF073-CF70-4699-A4D6-A071A5BA25F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$719B1CC2-0B65-4257-8B2B-48A7E06B165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$48877782-407E-4035-87E4-A3EC453D433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422b7394df51a55da190745407fa9a5bac9f6bf7","datavalue":{"value":{"entity-type":"item","numeric-id":904144,"id":"Q904144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$4A11A34F-D151-4E9A-A0BF-13B547E1BB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37acd84a9fbd43ed4b7df1edaa382f9ade2f0cc","datavalue":{"value":{"entity-type":"item","numeric-id":2470037,"id":"Q2470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855755$A5B8A697-598C-493E-B3AC-7453399F2EA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78f3f30d722f3fd6bd8878ec1a94a8cce814854d","datavalue":{"value":"10.1017/JSL.2020.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855755$F516581D-3359-4AE0-B0AC-8D63CAB9231B","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":"Q5855755$1019FC91-E606-46EB-BD66-9ED721DB0D03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fd75ca840411221df333a0e226d1f0924cfe06","datavalue":{"value":{"entity-type":"item","numeric-id":3705451,"id":"Q3705451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b9869783d976952fc1eec10053598952da5aff","datavalue":{"value":{"amount":"+0.7944207787513733","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":"Q5855755$7905437D-2136-484D-9D88-7DDBBE0C87FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0632a28dc0b9d8425f0ed7eddc60b96288f0fe13","datavalue":{"value":{"entity-type":"item","numeric-id":5224682,"id":"Q5224682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bed7d98aa46e649f0df5d7d5e7fb4b9cee29a2c","datavalue":{"value":{"amount":"+0.7722461819648743","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":"Q5855755$F0B3C3FE-86F7-410A-9214-CE9599FDF834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c140527b678913bd7bcc0053075e149952f0ed","datavalue":{"value":{"entity-type":"item","numeric-id":5890415,"id":"Q5890415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725633a72c7914d04b32037a3af3e42a5088f696","datavalue":{"value":{"amount":"+0.7663795351982117","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":"Q5855755$940045EA-A06D-432C-BDFD-1D676BADE7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374690f1db89fe0a3707b8d3b0da26185004bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42067bf479b37834353dd21619bf3820e5909a6b","datavalue":{"value":{"amount":"+0.7577518820762634","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":"Q5855755$628ACD04-AF2F-4CE2-9C53-2E6C974F671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d315f38f49e8f92be4b6b844579b3272c0712d4","datavalue":{"value":{"entity-type":"item","numeric-id":2834879,"id":"Q2834879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87adb433e356efeb14400e402c21bc558881756","datavalue":{"value":{"amount":"+0.7507868409156799","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":"Q5855755$9B8DCCE0-6DC6-4C32-8915-9F42F7AB580C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on derivability conditions","badges":[]}}}}}