{"entities":{"Q3647298":{"pageid":5677204,"ns":120,"title":"Item:Q3647298","lastrevid":58222077,"modified":"2026-04-04T07:17:46Z","type":"item","id":"Q3647298","labels":{"en":{"language":"en","value":"An extension of Kracht's theorem to generalized Sahlqvist formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640575"}},"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":"Q3647298$9D1B1FC6-6A0E-480A-8836-C5FD91752994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf6891b5430379896d15755d1f4e33817f746f61","datavalue":{"value":{"text":"An extension of Kracht's theorem to generalized Sahlqvist formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647298$C8A09A16-9DFA-4148-87A6-BE412FBC2DE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cf351c1b07863e096be3c878593f0524b1e5215","datavalue":{"value":"1187.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647298$375112A3-15DC-45BF-B688-19DC3B497D90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0908be9088cdddb235786f80da1051d5b0ec0d2","datavalue":{"value":"10.3166/JANCL.19.227-251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647298$7AE4F636-B76E-493A-AC86-DCEFED33C536","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647298$3BBBDB99-62E5-4CF3-B673-C4F1EB9C241E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647298$92E54533-83B7-4D82-8329-9007FDC17D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66e7420546a9af328297bef72cb7b4b8655d9210","datavalue":{"value":"https://arxiv.org/abs/1003.2603","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647298$006D6751-3AB8-4659-A77D-ACD4C469B598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647298$9AC1A6B2-2124-4690-AC82-489E800A221D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d225945fd434d7b6f685d91919658d668f2dc88e","datavalue":{"value":"5640575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647298$18862FE3-E9F3-403F-AB11-9850AE05D307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647298$D832C8E3-F83E-44A3-89BC-F616A9C2CFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1252069ff278cbe62679e458fc74ba86bda4a4","datavalue":{"value":"Sahlqvist formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647298$AD1F55E3-07B8-495A-9AE2-DCFA39B1C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3813217d7a3fecf3b0add2ded0b58804ce78a57","datavalue":{"value":"Kracht formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647298$5CC59E54-00F0-4A62-929B-1EECC11AB6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647298$4C0E0221-C331-4BE5-A450-EA7D163D56EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f915f6908f6480b55fe43cbb042c6bdcd343d805","datavalue":{"value":"safe expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647298$DC60B037-4618-4D5D-BADC-340CAEC050D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e4828bf168d1e433dc18f8b8948100e5dbc271","datavalue":{"value":{"entity-type":"item","numeric-id":497428,"id":"Q497428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647298$36628978-F3C6-4E97-BD9B-61B9925D0C1B","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":"Q3647298$795165F2-0BBC-4BCC-A1D3-E948B1CD72EB","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":"Q3647298$51585572-5B52-4AF4-9B78-B0A96B5FD310","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"758aa5ff30e6d4a8bf409f09eb6548f7f10f26e8","datavalue":{"value":{"entity-type":"item","numeric-id":850598,"id":"Q850598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647298$796851BB-8C58-4D8B-9299-0054448F683E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647298$2F998FB9-B31B-454F-9370-BAE7D744D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647298$8C6C9494-8B69-4711-A319-F6C0E7400D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e2e685ff91daf374637bf6479502e645e02ba","datavalue":{"value":{"entity-type":"item","numeric-id":2372681,"id":"Q2372681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647298$CCFF1400-4E4E-4219-AB66-859D9CB521E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f0709917b5985a1330ee5389b929926952bae","datavalue":{"value":{"entity-type":"item","numeric-id":4508270,"id":"Q4508270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647298$001B5DAB-2787-4FD2-92A3-971EC7742E94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8335188498cf0324cc993ff8de058a7a2bdb7d6","datavalue":{"value":"W2043712106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647298$8C8EA8E7-E014-468D-97AA-F150318E2A50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2ce53bf3ac32592a6fb57484bee3a81d306d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4430401,"id":"Q4430401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03937f507697d1122a371ff6fe080f005e8bcb0","datavalue":{"value":{"amount":"+0.8389869332313538","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":"Q3647298$E69DCEFF-F865-4F37-8214-A4C9B1DAD5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1449106cfed8f1e3cca3f8c48857b82fd72775bd","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03937f507697d1122a371ff6fe080f005e8bcb0","datavalue":{"value":{"amount":"+0.8389869332313538","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":"Q3647298$CE869876-5541-47F2-80B7-703B21A387AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b1551f96a723efef55dc057b80d6ab2c4a10b3","datavalue":{"value":{"entity-type":"item","numeric-id":5311052,"id":"Q5311052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc8594be05c69dfe1cbd8b0a67be4c3d92f8acf","datavalue":{"value":{"amount":"+0.8074834942817688","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":"Q3647298$EB634C25-73B7-435C-878E-63864A81A24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547cb5b37842e92dd498e35a20a57e8ad6761810","datavalue":{"value":{"entity-type":"item","numeric-id":2904056,"id":"Q2904056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1199ba3cba1da57ad2196b5002ee6af5594100e2","datavalue":{"value":{"amount":"+0.7957639694213867","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":"Q3647298$BD735D02-7B96-4886-ADB9-04682E27CFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67526531684cc6ae3872682d7d9e8383f13b7e07","datavalue":{"value":{"entity-type":"item","numeric-id":4873968,"id":"Q4873968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18669c01689ff6833bef41c3f3ac9f7af9c09328","datavalue":{"value":{"amount":"+0.7948734760284424","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":"Q3647298$9B02A59E-A412-46B2-B327-46E78D9F69F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647298"}}}}}