{"entities":{"Q2498906":{"pageid":2509649,"ns":120,"title":"Item:Q2498906","lastrevid":73275228,"modified":"2026-04-14T15:14:30Z","type":"item","id":"Q2498906","labels":{"en":{"language":"en","value":"Elementary canonical formulae: extending Sahlqvist's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047224"}},"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":"Q2498906$03310C0B-C5DF-49D6-A326-DAB65FB570F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bb539ba7da9e09bc9e32c8614802e5eb0f42d20","datavalue":{"value":{"text":"Elementary canonical formulae: extending Sahlqvist's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498906$FF8AF5F3-BACB-4D38-ACD6-2379B772893B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e54fbe69c282bbbb660fac45f45430590ad52d0","datavalue":{"value":"1111.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498906$C5B4D1A1-04B4-4A9B-B207-2A991400F623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$47F4F4FF-762B-46A7-BBB9-DA9B9E2F5F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$5027FFAD-7716-4C2A-AD6E-D3F9A8F121FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$9DA471E9-9AAE-4507-9EF3-421C6FBB3D54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498906$C3F1D013-CD8A-44A9-8967-B8C2492E02BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4007cceb46c8aefb97f76d98ca855dea3e7c6e0f","datavalue":{"value":"The class of Sahlqvist formulae in arbitrary polyadic modal languages is generalized and extended to the class of so-called inductive formulae. A representation of modal polyadic languages in a combinatorial style is used to introduce them. By generalizing the method of minimal valuations \u00e0 la Sahlqvist-van Benthem and the topological approach of Sambin and Vaccaro, it is proved that all inductive formulae are elementary canonical and thus extend Sahlqvist's theorem over them. The elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames, is studied and characterized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$2588B018-BD4C-49EE-AA66-05C65F98984A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498906$76CA5D8D-46B2-46F5-96E9-BA05399CEF43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc46fad3b252ad0fe87cf24fe8196dc0ace68176","datavalue":{"value":"5047224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498906$819C64A8-97E4-4A4B-98AC-DB1AAAF3B0A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$F4B2425D-4CF4-4861-84F4-68FC17EBFEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdee5a4d648bc6b2381c6a106d65e35e3a26afe7","datavalue":{"value":"elementary canonical formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$EACF46F8-A703-4B43-B861-83195EA0960B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3835904160a9b46d67727c64a114d55117a686dd","datavalue":{"value":"polyadic modal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$47935851-2787-4740-91A8-0A3E8A73F6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a017713adf87a0621df0f7f34966b24981b46b","datavalue":{"value":"Sahlqvist formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$FCEBC504-B942-4F36-916C-29BD4444978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$29B9D388-5BA3-44A7-9A89-334C605843A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7584267bb3dff5d15567681f6e57b71bd1aa2e1b","datavalue":{"value":"persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$8718B281-0650-46C2-96D7-D33D503B4C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12684af53d7565c7ea797e79ef96125933d735d8","datavalue":{"value":"reversive languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$8A07E697-BE16-4D78-9317-7E1328AC0F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$48BFD35E-929F-4A65-9A5D-D0E4DC7B572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7989c7a1ea75851cf984a88366bcba36416f276","datavalue":{"value":"pure formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498906$1B9F903E-2D72-4B61-9906-E221757AABE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$CC8DE052-4755-4C80-880F-85E92828335E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$95ED6492-64D2-4FCB-BE9C-DD006DD79A2A","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":"Q2498906$4541C7BB-CC57-41FE-B444-F3D260A120BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f28e6ad7641d012bce95e529be5896f15b2c584","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498906$8CECF538-1A1C-4623-8B8D-EB0F89ABBE98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5ed1f4c56730dd91d600ac38ba91ea54cde7809","datavalue":{"value":"W2048154108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498906$6051A685-00F9-4DDD-8EEF-15BE5139BDD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$6127AF44-7404-49DE-9709-4CD906AB87A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$B519DEDE-38C6-460E-A5E6-8A5E4673E841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f66fa289e4d1f18bfbeceba29dbafaae55ebd3","datavalue":{"value":{"entity-type":"item","numeric-id":1073780,"id":"Q1073780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$4A58165A-C943-4B97-A533-173E1E87DE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$434E40AF-C3B1-48C2-AB4F-CCE956208D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1395c744df1ca2360889ea7b358c8120b328a3","datavalue":{"value":{"entity-type":"item","numeric-id":4873968,"id":"Q4873968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$5128FF6B-046A-4ED2-9083-E3E26D92EA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7b97434170d49cc67587b0be889904b70b2820","datavalue":{"value":{"entity-type":"item","numeric-id":5483000,"id":"Q5483000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$1924C14D-65D9-48E5-8534-5E13E3235598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$DE70FCD2-7D95-4FF0-B010-F6CD0D83F611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1f554d4f6e144778576d6a62ab834bc544f","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$DA493199-DC6A-48AA-87E3-87CBE7BE6FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9784f0b5b1e69bb83368467e8ad61c7ce436931b","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$D78AD8C3-FA3E-4A2B-840C-41ADB81D5696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85be03f55bdb3c7c30c7fdf17ccfd2235ddf6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1344872,"id":"Q1344872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$5AD17DDD-4A29-495D-B971-0BFBFB2F6C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$A21380DF-E9FE-4822-91A7-2004925FBC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$11490F6B-E5AE-4AA1-90BA-610341C4F78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$D9023CCF-1E19-4A4E-96C7-E46A835AED88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$1BCD8B07-1341-4CAC-B744-C35B48354073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$D5B3A3FC-ED7A-4147-9BDA-FC0DB89FAB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$00C3FF5A-E68F-456A-A8BD-93BA797CA9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$CD708E90-7B7E-44C3-B779-1FD01773741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad2bdd319b4a133d3917ef0cacdcfb0f2b72513","datavalue":{"value":{"entity-type":"item","numeric-id":1361246,"id":"Q1361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$77EDA22C-AB89-4380-A721-3B13EA9118A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89b483200a7d036cee9a4183206659625b1cbda","datavalue":{"value":{"entity-type":"item","numeric-id":4068700,"id":"Q4068700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$4156D4C2-4023-4DD6-AA0F-3DE36F2AFC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$BA8377DD-DD7E-4266-8359-4FB3AA0313CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3352ef1edbb31e261b5b8b062048c8665272181","datavalue":{"value":{"entity-type":"item","numeric-id":5954707,"id":"Q5954707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$BE735CA0-0CE8-45AC-9A51-47D36234A494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b3a85b9008e85ac2e221a420be462f040068ea","datavalue":{"value":{"entity-type":"item","numeric-id":4678939,"id":"Q4678939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$E3EB1DC7-1D6F-4705-8AD2-53DF52BDAA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$FFB6C752-4CC9-47D2-9675-BE3DB58BA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f689c1a4357e46124a93297cf676351227270bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4430401,"id":"Q4430401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$638CD463-DD3E-4819-8BA4-EF45392C5251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d51dc77936fcfb4098ad7c52cc8a1349833447","datavalue":{"value":{"entity-type":"item","numeric-id":5712428,"id":"Q5712428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$A99266D9-2B69-41FE-A1DE-8C13D1343C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$441ABBAA-666A-46AF-99B0-1045CA2E3751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$0BE0E279-43B4-4BB2-AAAE-06516F7C501A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7e5b58c0daa34689c046992f146573d8b9469","datavalue":{"value":{"entity-type":"item","numeric-id":4833774,"id":"Q4833774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$D536ACC7-543E-4CD6-837B-EDDB4DDC85FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$8C0566E9-7594-4ECA-B611-9E1B30168942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d4852e470c8c2ecd1b7eb68342cd53f052d985","datavalue":{"value":{"entity-type":"item","numeric-id":1372357,"id":"Q1372357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$8129D19A-C9B5-41C6-BB16-D9A693D270D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce3446495ff4bc05ac1fcd507ad391bef55e5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250040,"id":"Q4250040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$98C86935-A241-4F42-BA07-9663F7FFCBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$B50D8A76-8576-4249-9659-AE5EA67117A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$F4E0B22A-157E-4BE3-B6C7-D69BB7195210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$3EB28DBC-1FFC-4D5E-96BB-07080FDD7D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ae7b2fef666fd0e9be1160f698542f1ef35b51","datavalue":{"value":{"entity-type":"item","numeric-id":4708920,"id":"Q4708920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$7908EE0B-CCD1-4823-941B-2148EB3F2FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b72648d1812b0deb13b2e7051731f9ee8f83091","datavalue":{"value":{"entity-type":"item","numeric-id":4018076,"id":"Q4018076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$9BCEA7B9-B3DC-4406-8B29-FC4AFF6303E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c2a2749a60b6792f64d39628e2d672b79ea82","datavalue":{"value":{"entity-type":"item","numeric-id":5311052,"id":"Q5311052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$EF02C244-BEEB-4B5E-B894-71415B2CD7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$29E5077C-B403-4384-9E57-3159E7D54AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e12ebc4beb0a2509586b59f5001ca0b126ecbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$4993AE40-0D01-444E-B528-BB892E96699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ee5cbcb602f5552f779a98540126bce4ab9b71","datavalue":{"value":{"entity-type":"item","numeric-id":1272149,"id":"Q1272149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$993EF6F3-EBA1-4A2D-A70C-D8A4583DFD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1533c138f838fe5bba2936038f1010bbbc2b5ff0","datavalue":{"value":{"entity-type":"item","numeric-id":4215609,"id":"Q4215609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$4744162C-63E5-4A22-AE33-0EED977BB318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bb858ffd71229858975dece0373ec52ca425f8","datavalue":{"value":{"entity-type":"item","numeric-id":4329247,"id":"Q4329247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498906$F618C97C-6BFA-4788-AAF7-F4612960B5BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cab8a5337bdf5f54bdcac32906378d5711ac554","datavalue":{"value":"10.1016/J.APAL.2005.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498906$118003BF-AD27-4DA7-AA71-FF8AEAB366A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a98801ee0647f58d6e1524cb2761f60f8b6ff0b","datavalue":{"value":{"entity-type":"item","numeric-id":3751689,"id":"Q3751689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2023b374ace514efe1d3b4580e1d456f018adb9","datavalue":{"value":{"amount":"+0.8793559","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":"Q2498906$4C29A978-8E85-4FEE-BAC0-3E134DE32366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c88c17b619aa235e4eddb1f3fb135f797b5792e","datavalue":{"value":{"entity-type":"item","numeric-id":4316752,"id":"Q4316752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e9896ee3eb438b5529602b64cc348ed9a830c8","datavalue":{"value":{"amount":"+0.8683797","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":"Q2498906$BE68ED90-38D1-48B6-BB50-6602613DF845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b48573af5231c127fd763931d0ed2f2e8e8956","datavalue":{"value":{"entity-type":"item","numeric-id":3797900,"id":"Q3797900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1448be9e4ce31fc36301f8b4ff14805156903e0a","datavalue":{"value":{"amount":"+0.8681587","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":"Q2498906$E7E6353A-2EE9-42A3-98D5-4C7EA4165215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1fad9fe0d3d814bfe97245f17d9c8b7d7c349d","datavalue":{"value":{"entity-type":"item","numeric-id":4340823,"id":"Q4340823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feaae2af1bca9e9bfd33b5aa4ce1c770cf50f123","datavalue":{"value":{"amount":"+0.8677273","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":"Q2498906$490EF14C-CF2F-4803-998B-FF2D1B66ED12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928d7122dbf1d433766d79c8609543dd9fd2958e","datavalue":{"value":{"entity-type":"item","numeric-id":3647298,"id":"Q3647298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475f8861f5524fc86f15925b576783dd7b467888","datavalue":{"value":{"amount":"+0.86353576","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":"Q2498906$F3728E71-C2E7-4456-872E-720BFB88FFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2facdd3b103525eae9738e84014d185cbf7bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":1340932,"id":"Q1340932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f451124ec4c9ed7a5ea68421db0505a5f10d404","datavalue":{"value":{"amount":"+0.8614719","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":"Q2498906$9E00E425-5FAD-4B71-9B77-E48E506A3DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffffbf8cfb79398997768a72c7d982848113e05b","datavalue":{"value":{"entity-type":"item","numeric-id":3149654,"id":"Q3149654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4047aae2a38533d2dc461fafc9907f9be7370f4","datavalue":{"value":{"amount":"+0.86104524","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":"Q2498906$2E4D5536-5C6D-4A04-9FDB-8F089E5B181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45595dd01d3c6ffb73fa935da5f46caff5e106f5","datavalue":{"value":{"entity-type":"item","numeric-id":5614482,"id":"Q5614482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6ac0d21ff941d17b6e8ffc0aed2456f378a383","datavalue":{"value":{"amount":"+0.8582765","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":"Q2498906$CF46D3BA-8708-4A7E-82B0-B66F5D31EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90772449bd84521765e80281e0ac1e465553808","datavalue":{"value":{"entity-type":"item","numeric-id":945952,"id":"Q945952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32943583c46bc0060a5b1174b264a660508227cf","datavalue":{"value":{"amount":"+0.8578961","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":"Q2498906$1C074E02-0F5A-4564-9E48-76FE8ADDF720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c8493cc2d7554837984961c31770414afebd50","datavalue":{"value":{"entity-type":"item","numeric-id":1585647,"id":"Q1585647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf29ff55bcc94b641e93b1badad5cbcc18942dd","datavalue":{"value":{"amount":"+0.855714","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":"Q2498906$0A17B769-1088-421A-B511-44C6F832D354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary canonical formulae: extending Sahlqvist's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_canonical_formulae:_extending_Sahlqvist%27s_theorem"}}}}}