{"entities":{"Q2499296":{"pageid":2510039,"ns":120,"title":"Item:Q2499296","lastrevid":49892332,"modified":"2026-01-11T17:15:48Z","type":"item","id":"Q2499296","labels":{"en":{"language":"en","value":"Note on some fixed point constructions in provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5045640"}},"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":"Q2499296$6CCFEB30-B7F3-4AAA-AEF9-E3B04D667180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"878ccf9fbf77dbff3584923464fee511de631cec","datavalue":{"value":{"text":"Note on some fixed point constructions in provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2499296$88F19D50-413A-4BFA-84A8-4D1FE1BD3815","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"849deed7d0777009a659491d477535f7136f7168","datavalue":{"value":"1101.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499296$39B99FE0-6BC6-44C8-BAB1-CEC07342666F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499296$F4C5DD77-E84C-4DD9-8A06-01E419C6E0EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d16893a2881e21dd54b3d85e13a15572e7a543f","datavalue":{"value":{"time":"+2006-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2499296$11FA2E4D-757B-47E2-AD6E-E54D5FD89402","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499296$E989E842-167F-4EFB-B063-6F567841A9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499296$EF22E393-4C4C-4E81-94C8-4ABB37EAE313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ba84a0562c84103620ea4f23742d40a96f34d69","datavalue":{"value":"5045640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499296$6C9F15D9-16C8-4C91-ACDB-73DB1A683B02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499296$5BCAD677-8716-49E7-977C-983AFAB313B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499296$2AD94EA4-851E-4D98-B88E-EC8B507EE6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ee15ba6e7c030cc2bbc7fec4fb85dbe0f2e245","datavalue":{"value":"Sambin's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499296$90A0CEB1-F1F3-4DDD-A7FB-23CDDD005907","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":"Q2499296$8D57A4DD-FB79-4878-8275-A39075329A73","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bac309605d832f3093b171641bbcff497155132b","datavalue":{"value":"Q56391245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499296$2CD098A5-1FFE-4DCE-8AE2-261FE366CAA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49fcd5e3f1b91c39a38bf98184f273fbada4613f","datavalue":{"value":"https://doi.org/10.1007/s10992-005-9013-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2499296$4403B366-56FC-483D-8E5E-67B58CA69FC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ece739b315cfbb8f43118f1811d32476e2ca5f44","datavalue":{"value":"W2072686503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499296$6E3231AF-AD57-4556-9395-51EFC30A2D18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499296$981456A0-97E0-414E-8403-F7CA8A9FA650","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":"Q2499296$09AF40EA-D76A-4876-BB9F-56425288548E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595b7b0cc1308645e9228de4db63359ff976521a","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499296$4C6E7514-4FF9-43C6-B255-DFCB066CB750","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":"Q2499296$DA5A0D64-A975-4CEE-961B-702A6226711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499296$C935DFB9-7A49-47F6-9B5A-27CB238366E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21d888cc4606f096ff619e6a1c41b63cd6e03358","datavalue":{"value":"10.1007/S10992-005-9013-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499296$0AE25DB2-61B6-4902-B6ED-4650CA6F6D9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162e0d084645b340ee4f43a1c5c928641727f27a","datavalue":{"value":{"entity-type":"item","numeric-id":6481406,"id":"Q6481406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499296$E6203555-85E1-4886-AE8D-A690D2B9672C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b67b12cd1d856dd5ae4b4877372e09d2c81a10e","datavalue":{"value":{"entity-type":"item","numeric-id":923072,"id":"Q923072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54919a86088620a259b5d259c7aa3cc3c20d684a","datavalue":{"value":{"amount":"+0.8874800801277161","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":"Q2499296$C9913483-D38F-4E7B-BFAA-9B003C607544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88dae3bf47b81c8fd513fcc0e91eea118f170b10","datavalue":{"value":{"entity-type":"item","numeric-id":2134275,"id":"Q2134275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee9d8a1aeadb9b877a1d009ef341f01ecd2c4d6","datavalue":{"value":{"amount":"+0.828108012676239","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":"Q2499296$C4B54145-E492-45F6-80C1-2B33F5886F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c3ce0036cec035e2e5ad563e37f8d5a90ca09e","datavalue":{"value":{"entity-type":"item","numeric-id":749521,"id":"Q749521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a8ce304d8eaafb4c802927758cb339958ea939","datavalue":{"value":{"amount":"+0.812498927116394","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":"Q2499296$B60F4F44-CC1D-4621-B035-EB4013A30E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e707c12fcbb87f94769167fa7baf7550858bd7b9","datavalue":{"value":{"entity-type":"item","numeric-id":1346924,"id":"Q1346924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816ff42874a80275d47af6c0d956b824d66bce83","datavalue":{"value":{"amount":"+0.804107129573822","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":"Q2499296$81182B64-0F0C-42EC-AF49-51EC4F6D724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689e5d64299b3be33f287bd23200fa6fdc7563dd","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2297a3f5b7225cf477a450992b069a327bd24983","datavalue":{"value":{"amount":"+0.7989310026168823","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":"Q2499296$BB17E6D8-9D80-4FA6-BF62-7C99601C6021","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2499296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2499296"}}}}}