{"entities":{"Q2957971":{"pageid":2968690,"ns":120,"title":"Item:Q2957971","lastrevid":52732061,"modified":"2026-01-23T09:24:59Z","type":"item","id":"Q2957971","labels":{"en":{"language":"en","value":"Displaying updates in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679297"}},"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":"Q2957971$CDEC82F5-AB2F-4E1A-88E5-40DA9661D4DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e5a4dd3307940b9f3a607158ffef49f2f53ac4c","datavalue":{"value":{"text":"Displaying updates in logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957971$6942DD0D-DC57-4E42-8CC5-10A63974411C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df1d86397e94799d7eabcf543389efd6bb4eae80","datavalue":{"value":"1403.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957971$6B95C628-DE95-422D-9929-D5E99E528A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389e6ea4076c71ded9da78395df572fa791aeee0","datavalue":{"value":{"entity-type":"item","numeric-id":497426,"id":"Q497426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957971$F39D1A0B-9813-4BEC-AABB-6EBFC08BB51B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"815303437f00d43bf102b8558cec57c99154e522","datavalue":{"value":{"time":"+2017-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957971$CA36311F-3940-42F4-AFA8-591BBAE823A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01a850538d3ca1ab4b104191f374bd99e92c9d08","datavalue":{"value":"https://hal.inria.fr/hal-01476234v2/file/JLC2016-Part1-DiplayingUpdatesInLogic-Corrected.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957971$6D4F272A-800C-4026-B80D-EE875F00E1AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957971$A4893508-913B-4F0F-98A0-347FCE2F96B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957971$CB6F3E7C-5F96-4D1A-AEF8-B67C20EEA03D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17d9c5c012c2c20153a3a7901d4268218800db59","datavalue":{"value":"6679297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957971$780602D2-D47F-4282-AF9F-D4D85593B24E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957971$8E75D1D6-01A1-4A52-A977-9DE138D27E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957971$35AE71E9-261E-4FBD-96AC-39AA16155B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c61da4d0f953ae6ac684ebed199df1260b610dc","datavalue":{"value":"update","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957971$5D1665A9-1383-4696-AEC5-7F02EDEA160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957971$DA01DDB7-684C-47F8-9B9F-C642F0AD9C8F","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":"Q2957971$12D0A2F9-7007-403E-B85D-6AC49E5C66FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94bf92aa25a24ae9f8be4b7fe849d7dce0966873","datavalue":{"value":"W2311374999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957971$D16019EB-2183-496A-AB59-44C1EE8CDB0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea47ed23d0b5fdf5e734b468e976c18b561ba7e9","datavalue":{"value":"10.1093/LOGCOM/EXW001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957971$6D5D3A88-F040-4E86-A254-48204D71E5E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957971$387ACF8C-C2E3-425C-B760-F141ADE6401C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efbbc36b9d91a820558fe330a8c1a16a8e53998","datavalue":{"value":{"entity-type":"item","numeric-id":2957972,"id":"Q2957972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb98ac36bdec62184e91bba629c54c1783b9acf","datavalue":{"value":{"amount":"+0.7330192923545837","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":"Q2957971$A80BFD05-2C17-469F-B022-3CAEE7C56A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7766c191d235d4bb77b01c4e56693ab61a07863d","datavalue":{"value":{"entity-type":"item","numeric-id":4221769,"id":"Q4221769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4776fedfb0f9b55e3f5ca0914fe113f2363d837d","datavalue":{"value":{"amount":"+0.7151349782943726","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":"Q2957971$6A884C9C-799F-49E9-A5AC-AC4AC772A792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db9315f74ad688f4653529dbb30506adff2437b","datavalue":{"value":{"entity-type":"item","numeric-id":2957968,"id":"Q2957968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790c07cb68e3bebb9b02f6c218d49f7337f77ecc","datavalue":{"value":{"amount":"+0.7148216962814331","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":"Q2957971$B0D46E15-9AE0-44B2-B054-D7E43A973FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e876024dbc54cda64c612c20cdecd65ca7a145","datavalue":{"value":{"entity-type":"item","numeric-id":5249692,"id":"Q5249692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c40ef23caf1f111d037525513896e276100e90","datavalue":{"value":{"amount":"+0.7117096185684204","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":"Q2957971$9F105430-9D60-4359-801F-6688987E9A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e3031cafb0aa55ceef5282190132499a8687e0","datavalue":{"value":{"entity-type":"item","numeric-id":2421521,"id":"Q2421521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7da2f5bbb4404de90074ad9b0b32f3d6acb78be","datavalue":{"value":{"amount":"+0.7006320953369141","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":"Q2957971$D0C81E2D-4F6A-47BC-B5BD-26DFEABB9B90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957971"}}}}}