{"entities":{"Q3509053":{"pageid":5538957,"ns":120,"title":"Item:Q3509053","lastrevid":50397272,"modified":"2026-01-13T23:27:47Z","type":"item","id":"Q3509053","labels":{"en":{"language":"en","value":"Conservative extensions in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5295710"}},"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":"Q3509053$93A89C9C-D4AF-49C8-9AC8-47331C5B84E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64ee686c37017a0380528dc6f3c48a77141b4ad5","datavalue":{"value":"1148.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509053$DFC46CA3-92F1-43B4-9EA6-211B31BF4D38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509053$50AFBA6C-8A10-42BF-8D4E-45965648BC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509053$400DB4BB-EDB7-4C82-B9C1-1D0CA3299254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509053$B9AEBB24-C353-4489-B74C-E3660E5656C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509053$3876078A-AC11-43E7-9CC5-2694AA86A88D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3509053$8FC0DA65-C110-4DFE-A425-E4D202FB508F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509053$D315B37E-7AEF-4C1D-B83E-700D4EBF9BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509053$9D60937F-7694-4DD7-8E3A-C5FE212F3598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509053$24947052-213E-4F0D-9D74-1C9128573C84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"715871e196e128c93e5c0ca83fac1fc68e822be3","datavalue":{"value":"5295710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509053$B43C280B-5196-4B2C-B863-305ECE2E2A57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509053$BA2833C0-C42A-43AE-9D10-6457CC91F4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509053$ADD31630-39B4-4FAB-A000-7F79B6304537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509053$471DC06F-A90E-4558-A7B9-4A34C49E252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b423fe7ac1b3bfc7f4a2680323b3cc2a98bd8b","datavalue":{"value":"algorithmic problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509053$CBF8A6FB-A70A-4AE2-85C3-1C9CE18CA3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509053$5954FE37-6F3F-455A-AC05-242811F99506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ea63d90345c02ab94acb217ffe530386868b8c","datavalue":{"value":"conservativeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509053$09F82DED-2A19-4F17-AB64-2A9FE600C15A","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":"Q3509053$4B26862B-ACD2-41BF-AE80-84D5025D19A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960b41933b781022281f309fec70cdf1f03e7080","datavalue":{"value":{"entity-type":"item","numeric-id":3760512,"id":"Q3760512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e482b3d1d09c41c8fe2917b0a15e5cd0b6da3b64","datavalue":{"value":{"amount":"+0.8081252574920654","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":"Q3509053$498CEAEB-1B5B-4AD6-A10A-B738217B406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a347f60fb490476ef48c5bee278c32fe855ae2ab","datavalue":{"value":{"entity-type":"item","numeric-id":3363754,"id":"Q3363754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51f3cbd3f35e6411d3e42af0316df154e713496","datavalue":{"value":{"amount":"+0.7871776819229126","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":"Q3509053$3162001B-7BB1-45DA-AB84-E3D7D9F0D50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a0807f3da8d99a10fce0a8de150db3c73518ed","datavalue":{"value":{"entity-type":"item","numeric-id":4354885,"id":"Q4354885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80dd456055c561a3a52923444446fc98aefe60a","datavalue":{"value":{"amount":"+0.7689074873924255","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":"Q3509053$253C593A-81BA-459C-9304-73CF3963CA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9635c25f3b50754bd7a3afe519b0b6ad8c899f","datavalue":{"value":{"entity-type":"item","numeric-id":5111440,"id":"Q5111440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbb9eb7a8900206d2485fb733ec8438f6d64635","datavalue":{"value":{"amount":"+0.7668901085853577","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":"Q3509053$699ABCFD-0C0E-4808-ABD6-6D5ABA349AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f6f4df675809f35b27664fc1a3de25ecc4ce00","datavalue":{"value":{"entity-type":"item","numeric-id":4501138,"id":"Q4501138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6affa902df1fba187e551814f5789904d2e12892","datavalue":{"value":{"amount":"+0.7656456828117371","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":"Q3509053$2C11F34A-0ED5-4978-A484-E9C53C8071B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3509053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3509053"}}}}}