{"entities":{"Q2454548":{"pageid":2465291,"ns":120,"title":"Item:Q2454548","lastrevid":44122503,"modified":"2025-11-20T04:19:17Z","type":"item","id":"Q2454548","labels":{"en":{"language":"en","value":"The temporal logic of linear time frames with inductions axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6304319"}},"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":"Q2454548$28F107AC-AB3D-458A-B34A-313FEC5F39A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07c35031d630f630b3a9bb82b2fb17ee319a8b36","datavalue":{"value":{"text":"The temporal logic of linear time frames with inductions axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2454548$75B3AD6F-1E57-49D6-B30B-C6F9CB68BA2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512dfd33a5bd8537597789b2b5763803af19c9a8","datavalue":{"value":"1299.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454548$484710B2-D83A-4DC9-8482-D3905298628E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454548$15867CCD-7EE2-467A-AF8F-FFD65E3082E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cf65a0a15e4a2557d19b62b796c4a79890f2974","datavalue":{"value":{"time":"+2014-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2454548$7668631E-B3D5-4DAE-A589-54D432D51A40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9f68f90d2866f57bd0e1707ee020794ed9e428e","datavalue":{"value":"http://semr.math.nsc.ru/v6/p312-325.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2454548$A997D0DE-0A51-483C-877F-1B6D022140C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454548$D2333497-9AC1-4A24-8A1F-160AE18B8752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454548$8F4EC87E-3D3E-4FC6-8A50-010ECA9A9777","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06d0e65e97f71d0075b081cf8ebe507dd2db93dc","datavalue":{"value":"6304319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454548$C14BF7FA-4A9B-48F5-A5B0-BD6471EFEF5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454548$C3957A56-9A17-43B7-A61E-D936AA8B321E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454548$DCDE62FE-AE18-4A54-B9D7-E2444BF7458C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454548$77A1DFFB-089E-4EBA-A9DE-10E4E14CEA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454548$688D2412-6CF6-4E14-AE9D-8A1F37E9A138","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":"Q2454548$7B1B10DC-5968-472A-BB67-5AE718D1B493","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454548$11790314-7A2F-4B2F-854E-AF204DAF4F91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458990f8b2b8b6df21dc278fc75c1cf9454a8693","datavalue":{"value":{"entity-type":"item","numeric-id":890830,"id":"Q890830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73947a3389e979432d60919010d58899c4431b11","datavalue":{"value":{"amount":"+0.9738258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$C6354B8A-1237-44B9-90F7-129FBC7BC58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78fb1e069c9b588058ed0cc349e5d4e9f1a7cbc","datavalue":{"value":{"amount":"+0.9567457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$D4B6C127-AA51-40DB-B40A-49C9D637BE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d967bbe30a6fa2416ff346739af9b76b15b4f0f1","datavalue":{"value":{"amount":"+0.9413762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$B15263D1-45AA-4486-B5DF-562D5007807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a268163365589a0d288d821dc138c43e323937","datavalue":{"value":{"entity-type":"item","numeric-id":2563451,"id":"Q2563451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c841ceb10ec4da493da144a3f228d9def764d3b4","datavalue":{"value":{"amount":"+0.9324953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$3053D56B-A923-4D89-A510-C3D76B119C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d68bab9dff8f678e81cb02f737ec1ea919d151","datavalue":{"value":{"entity-type":"item","numeric-id":3783270,"id":"Q3783270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1016db4d7e4821d98e84a0645c4816c7a1bb846e","datavalue":{"value":{"amount":"+0.93115044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$FA8EA352-79BD-4FA5-9E41-B0FCC800C110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530aed3dbbb0c8414ef5ed09e059bf91c513f278","datavalue":{"value":{"amount":"+0.92774606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$6C76E779-76A9-4A81-B850-F17A2A4D6078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaeb9e886b9a233a9140d2984ab0b8f04aa9736","datavalue":{"value":{"amount":"+0.91973114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$3DF3CF77-4C28-4304-BFF1-91AFD59C7B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07fb49ff31210e18a420b5d04c344f1b9cf97b9","datavalue":{"value":{"entity-type":"item","numeric-id":2630564,"id":"Q2630564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553a06240fbd873124bba3e93858931b7afef78b","datavalue":{"value":{"amount":"+0.9187465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$9B858EB5-400B-4136-BFB7-B48F44DD5597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49de47c9c87da127f0f5d651e80ac465e431332","datavalue":{"value":{"amount":"+0.91809213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$C6E02725-FA3B-4D5E-84CB-98DF6A9541C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a9ba5e94655a498d66739a2d094514842c1d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767162,"id":"Q2767162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66265a7a4e25b10b93d0c3ed895cfbf53f5cf9d5","datavalue":{"value":{"amount":"+0.9141505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454548$27E7AFC9-9C80-49A3-8AE8-D6E48333EE5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2454548","badges":[]}}}}}