{"entities":{"Q1259545":{"pageid":1270295,"ns":120,"title":"Item:Q1259545","lastrevid":42987038,"modified":"2025-07-16T15:38:33Z","type":"item","id":"Q1259545","labels":{"en":{"language":"en","value":"Calculating self-referential statements. I: Explicit calculations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3639617"}},"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":"Q1259545$9C407B5C-17BC-44F7-B5C8-00BF7CBC4E18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"342b5bff6eeb50db4889182d6f39ce77c3c72bfc","datavalue":{"value":{"text":"Calculating self-referential statements. I: Explicit calculations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1259545$5DB33C63-65D3-46F4-AEAE-EF1E533A229C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a505e8b35af9b0b52a6b9aeeff47f6e8ee64644","datavalue":{"value":"0412.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259545$5990F44A-3D71-4F8B-8A99-F31456B61932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"620774cac7c8979fec8ebc42c97b452cd4e6eb0d","datavalue":{"value":"10.1007/BF00493670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259545$0BAB9AB4-4D45-45ED-94B5-13C8DAAC35F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"381d66ce0d865d18f3a56597ab9de985aaa93f52","datavalue":{"value":{"entity-type":"item","numeric-id":1259544,"id":"Q1259544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$AA11766D-6A33-4A5A-A23A-0A487B9DC5F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$1E1C91D8-FBC6-43A1-81BB-D86C201E8562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1259545$5A8C7B91-B03C-424F-922D-73E4D9D412FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259545$26D6F052-2367-474B-BC24-E32E5E763E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259545$809C349B-7008-465C-803B-C28847CE3699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a75e42e9307cf013996479a70e2793b42e1068bb","datavalue":{"value":"3639617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259545$80653A44-97FC-4815-BA12-AD3393BA4AD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259545$80BF32BD-67DB-47DE-B477-2B08783B07B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d02600e9063ac0af721e097dc3cb185c03164e0","datavalue":{"value":"calculating self-referential statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259545$14ABEABF-E0F7-4A6E-ACC0-9FD7F7892299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259545$8A20AD57-1D35-4784-8CBE-92362635330F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259545$28A7696A-0FF2-4D16-ADC7-E31A751A6704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be9970eb02e9267efb391a7e47ce3ac18bdc238","datavalue":{"value":"diagonal restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259545$E5081C79-48B0-47A2-8789-E7BB70379503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259545$63C10DC4-5E40-4528-8586-6A01AD2B89DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259545$4AFBB1EE-A141-4A90-B8C8-C3B500CD49E9","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":"Q1259545$D5ABAE1A-E9F6-41E3-AEDB-CF21354CC082","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c73f57a842cb7334be9de90eb3dd1dd27b760b","datavalue":{"value":{"entity-type":"item","numeric-id":1222158,"id":"Q1222158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$EFDBF931-3A48-4DFC-A383-2A14C9780736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763bfa014de0a39be6e239dc0ac578fd8f7042fd","datavalue":{"value":{"entity-type":"item","numeric-id":1223285,"id":"Q1223285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$9510A4AE-7E6F-4C5A-974A-4FD60D3A9BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82101a0d47d940e7a610e83e81b3b494dea51ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1233018,"id":"Q1233018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$8F5B5BA4-2313-4B6E-AE93-37E144BFFA3D","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":"Q1259545$C109E7DF-364E-475C-9F8A-958030E88C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43af70bb6795581ccb850dd18d7028d9d327e70b","datavalue":{"value":{"entity-type":"item","numeric-id":4132522,"id":"Q4132522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$0A0F2E75-F103-44E3-8DBB-21A3F7D389A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$838EF927-C793-47E6-999B-507ED047AC91","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":"Q1259545$18A77BDE-86B2-43AA-936A-A6052BBC5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9b21eb96e11d20f783eee209a81a274ab0db64","datavalue":{"value":{"entity-type":"item","numeric-id":4775856,"id":"Q4775856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$C938478B-A779-43EB-B263-6AFE44801B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a01b953055c74a8dec25582f181fa0a844d16","datavalue":{"value":{"entity-type":"item","numeric-id":4121962,"id":"Q4121962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$D9BFD099-9B21-4253-8B77-F59299547C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1be4473dd04d762364ae568b2c783c9dd04a1","datavalue":{"value":{"entity-type":"item","numeric-id":5726696,"id":"Q5726696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$99D61890-5C55-40D7-B341-C4669643F206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$C3FF76F0-943B-4804-8084-50800089D4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817c4583d91f4e78f0cadd13e07028d8c677275c","datavalue":{"value":{"entity-type":"item","numeric-id":4091908,"id":"Q4091908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$B55DF8A1-B4F9-4A87-B432-A0A5305ACAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fba1797993678b2bd81fab8f2e31e8575d37b7","datavalue":{"value":{"entity-type":"item","numeric-id":4143285,"id":"Q4143285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$5A2AA68E-368B-4D06-9413-96491248738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259545$A33D77FF-0D40-4E07-9002-22E619B8EB39","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":"Q1259545$8E9A0AE6-3078-4005-B510-DAAC2189CA7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75849521c18b04fb04927bcbf0a736951ee5046a","datavalue":{"value":"https://doi.org/10.1007/bf00493670","type":"string"},"datatype":"url"},"type":"statement","id":"Q1259545$E3B5FE09-3FED-4F94-A2BC-B2B6BB17F74F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb391e0dc5c4a4c8c5ca9bc6be28a8b06501ba2","datavalue":{"value":"W1969438823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259545$86B448E3-AD0A-471A-9411-1151FB15D5D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1259545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1259545"}}}}}