{"entities":{"Q6639733":{"pageid":14250885,"ns":120,"title":"Item:Q6639733","lastrevid":42397782,"modified":"2025-06-14T20:58:11Z","type":"item","id":"Q6639733","labels":{"en":{"language":"en","value":"Polynomial-time checking of generalized Sahlqvist syntactic shape"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945733"}},"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":"Q6639733$DF54D2AC-6668-4B18-87EB-E17AB333EDD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2faa4981ec1dcd915ed0a23b68927ecac8582624","datavalue":{"value":{"text":"Polynomial-time checking of generalized Sahlqvist syntactic shape","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639733$6A3AF2E8-6C07-4D57-809B-273C6918FBF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51537565b2e64dd817ed972d6d6e35960b931223","datavalue":{"value":{"entity-type":"item","numeric-id":6081074,"id":"Q6081074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$027A11C7-BCE9-44D1-B209-452020F8E372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$0B148E89-8A30-4199-825B-A953E7641D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd90efa7ff7798fc362e0040f3d2ee9b6c710324","datavalue":{"value":{"entity-type":"item","numeric-id":5884969,"id":"Q5884969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$CAAD1669-6849-4641-A1B5-6ED8FA9792CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$BEC39BDD-CDB4-41AC-B59B-CB97555C25BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a4067ad21165ce71a0cf0d57227113013b4f117","datavalue":{"value":{"time":"+2024-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639733$FD14BEC1-D0C2-4F50-B463-D97BE2D8F566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639733$A2E8F418-F8BA-4E53-BD7C-AFB6BD3C6856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639733$8E71FB8C-C071-49DA-BD20-95D5840D8700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f2d48d79939a547ec5db973bc8876a6a953d1fc","datavalue":{"value":"7945733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639733$8089DC98-7CE3-4A81-8486-757F4719AEAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c97cf87e639697a57111315622ad6b119c3eb71","datavalue":{"value":"algorithmic correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639733$0582BCCC-4444-49F8-A704-69E86133484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639733$15BF0D86-AF34-4ABC-A33B-9548DEA4B088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639733$1D7C3F7A-C6D9-41D5-8BCD-C0576C4BE627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f581a84a1f4587a9986c8c866a8581c748760a17","datavalue":{"value":"inductive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639733$34BA8E00-16DD-4559-8129-2447DBE873D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1252069ff278cbe62679e458fc74ba86bda4a4","datavalue":{"value":"Sahlqvist formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639733$ED56B1FF-7E05-4D5C-9D32-8159FBF33895","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":"Q6639733$1D659537-D5BA-4E94-B2D8-5EC27F4D7782","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae7923db27a69df68433e19bcb135bba72260e5","datavalue":{"value":{"entity-type":"item","numeric-id":1840069,"id":"Q1840069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$63D357EA-6E2B-4127-BA5B-C1136F3E37F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48c0961621e4305d3b815cca22b306bbde9de93","datavalue":{"value":{"entity-type":"item","numeric-id":3647241,"id":"Q3647241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$9B6EB464-18CC-4B6F-BB6A-67C1671854CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$542B24F7-315B-46CC-B648-B6A7665A4500","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":"Q6639733$C05247F0-90EB-45B3-BBC4-D7065B25E39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$51C79559-80E9-4643-BE1E-F4755784061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bcd3c2d1841454b2489acc1f46dec6b8812b7","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$DB580695-534A-42C3-9437-4A6DE5CC68C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501ec3b78b0fa92739c5819b9d7c6f7d7e1c6c16","datavalue":{"value":{"entity-type":"item","numeric-id":2401020,"id":"Q2401020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$F03490A5-918A-4D23-BF59-953C7837AB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bca41dd32682a0e65780cba8087104622156ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5871911,"id":"Q5871911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$32838E78-CD7B-4836-A1AD-D69B3AD15DA3","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":"Q6639733$BEDBAAD3-CC79-432B-9641-3632641F9544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$3B882C36-A5A1-43C5-9112-4D0D63D16DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$C3E3C9B1-E04F-4E9B-8D40-48A5275DE0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$B80802AB-9289-4BAD-A400-A99BBB6FD49E","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":"Q6639733$0EDC6C41-6821-45CE-B3BC-F615AB3B1ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$FFD48532-ED3A-4F2E-8017-6981820A9B55","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":"Q6639733$01551434-51B8-4B1B-999D-426E3107BBD6","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":"Q6639733$FE2D5778-91C3-4A9B-BB2B-85D1165AFF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9033970d0f59462b39d7285bcd640c8e1775d511","datavalue":{"value":{"entity-type":"item","numeric-id":843772,"id":"Q843772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$20E3D2AB-C769-4330-A799-18D37D6F30E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$18EBF52C-7F9F-4CE3-BF4E-740CE71D3218","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":"Q6639733$AEF1ABD3-9903-4FED-A8AA-9514D667AACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd15f576a6b667c17000d5aa21a8cf9bbb1edba","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$D3FCE4EE-9706-4028-B8CB-4694876F41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639733$8489A73A-D1F4-4F16-B14B-ADF7C4E60BC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd9f31d57f24555b33d71181aaa99903bc2a0a50","datavalue":{"value":"10.1016/J.TCS.2024.114875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639733$45FDF431-631E-4C02-8029-E00096A2DF11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6639733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6639733"}}}}}