{"entities":{"Q2505627":{"pageid":2516370,"ns":120,"title":"Item:Q2505627","lastrevid":49926784,"modified":"2026-01-12T02:41:41Z","type":"item","id":"Q2505627","labels":{"en":{"language":"en","value":"Compositional SCC analysis for language emptiness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5057728"}},"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":"Q2505627$BF5F0A07-2957-4B4A-8024-9963DBC53DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b07edcc6da3740c9f96f47a19e7db349a0a463ba","datavalue":{"value":{"text":"Compositional SCC analysis for language emptiness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2505627$8E142D25-EA45-4610-BFC4-CCE5334FDD21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0630bb4a9923c7e2b4e0340346a18818171545c","datavalue":{"value":"1100.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505627$5F20C7A8-E395-4374-9C73-9462775AB379","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$DFA2373F-6C53-4FE4-AC4C-3FD71C643E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$698F3FC3-512B-4F60-B0FA-C6B6824BD4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"937c524d23db8a8a5306437aa495d6ad9226ad03","datavalue":{"value":{"entity-type":"item","numeric-id":2505625,"id":"Q2505625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$711AAE3D-A1B9-4336-89A7-B9AA3D6EDB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9240aebf8b80b45db3dda29786f7d64e73cea59f","datavalue":{"value":{"entity-type":"item","numeric-id":2505626,"id":"Q2505626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$0E18DC53-1B1E-4785-8A6F-4A958C56DCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f58cd250110bf59c28a29d5e30b88533180a96","datavalue":{"value":{"entity-type":"item","numeric-id":832299,"id":"Q832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$968565BA-ED84-4763-A70F-620E45D5FAB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$76B53FC1-CDD5-4ED8-90BD-BB0035731CA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2505627$AA28E65C-A3A0-4A38-9586-151BD26CDC94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505627$0E1A4761-FFBB-4643-A870-2881163E5B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505627$C918A4FF-BB7D-4626-A908-61EE190771BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30e3f419011538d7fea5dafd45925fea23878e33","datavalue":{"value":"5057728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505627$2EC404AF-746D-4956-9C4F-211EAFF76C82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80d38f5c6b4403143e732610a7df4f391ea690de","datavalue":{"value":"language emptiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505627$F687E448-9026-484A-8ABE-83D5C82E86B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505627$78E1BD0E-13FF-4C8A-9B2F-F24BDA91B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505627$9ADB4E49-7A9F-4A99-AE12-7B1C21B78BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505627$B3240496-5996-4277-ABBC-6D231B56B900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505627$C207F56C-CFB3-477C-99D9-CC73E4C75A9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33280de7df3b0036beb2f773d6c63295d582e886","datavalue":{"value":{"entity-type":"item","numeric-id":55703,"id":"Q55703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$4F616BA6-08A7-429E-95D4-E4C4143FDCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b485674cbc9dfc3b336d20e17ae381ad90accd9","datavalue":{"value":{"entity-type":"item","numeric-id":19511,"id":"Q19511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$10D232AC-EC54-4673-A3F7-9D3CD753FC05","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":"Q2505627$F70CD3AF-443C-4B4E-9C63-6F7198BE7E1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70cccb4ee062d1a52023be85fdefe6d361938c5b","datavalue":{"value":"https://doi.org/10.1007/s10703-006-4617-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2505627$A766EF61-5289-4392-BA36-70620DFF2997","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7be77c656da42dc8ba349322eabcbf1a635c8a87","datavalue":{"value":"W2074669650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505627$5D3BDFC2-88D4-4B20-98A1-C33F151A99A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b33aae8f7ce58b88fc541f94a8b1f7590fcb8c","datavalue":{"value":{"entity-type":"item","numeric-id":1346652,"id":"Q1346652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$F237E086-92DB-4105-BFD5-451D441F03B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde643d6528b9759054a68d56fcebc030f48ef7e","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$095C2AD8-8091-4508-8F6F-B47DCEE58063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442f45f3c18c8b22505978e31640898de7dd7261","datavalue":{"value":{"entity-type":"item","numeric-id":4817546,"id":"Q4817546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$9A7904F0-F0A1-45D6-9D5B-66B27783E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$77C067EA-AE88-448D-A1F8-D693675CA15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb19e18c12ddea2b553dcb695cb9473546265295","datavalue":{"value":{"entity-type":"item","numeric-id":4427894,"id":"Q4427894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$DA7D8295-36E7-4054-8470-8D952C00F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$49135414-3964-4263-8998-38ACB9E2D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52399dbd6e9bc23018f1172efb05b548b6e91780","datavalue":{"value":{"entity-type":"item","numeric-id":4804901,"id":"Q4804901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$BBA0C4CE-9579-485E-9C57-13F921A472EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed70be6a574ecf9bb0b4c2fea55112b7dddb18a","datavalue":{"value":{"entity-type":"item","numeric-id":2771062,"id":"Q2771062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$F8CD03FA-A70E-4803-A2CF-53B8533455D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1992fc48da4fa05a2949611df42e5d2c49e243eb","datavalue":{"value":{"entity-type":"item","numeric-id":4471346,"id":"Q4471346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$7035E6E6-D4FC-4D79-A58F-B8C32A1553DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b82b943ef6f04aab6939bcfa83d0d3b98b0678","datavalue":{"value":{"entity-type":"item","numeric-id":4936149,"id":"Q4936149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$450EC6A7-8D91-4FCC-96C8-4BDBC31E3AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$B6EFBD3D-C0FB-42AE-963E-16650DCFDF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0652363afa544a87262390d6c6d3869a5882d21","datavalue":{"value":{"entity-type":"item","numeric-id":5929098,"id":"Q5929098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$7B5F5198-E0FF-4C4F-9E79-8C57D97CDBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$DBD4CB0F-B7F3-40C1-8B8C-AD4C5D98000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$7D38A7CF-AD27-4B8E-A60F-56FF7F3DE98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5dd2d16a56295899decce894ee0fbbe3781ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4427897,"id":"Q4427897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$8CA90CFB-6463-4486-B106-BC04E5D18580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e78d1b5f02f0526d0bfad26c17a8ffd8b60cf26","datavalue":{"value":{"entity-type":"item","numeric-id":1891138,"id":"Q1891138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$ACE23B9F-27DD-4EC7-815C-1759462A714A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1120f823749fe551cb3b822eafa35cc59b974017","datavalue":{"value":{"entity-type":"item","numeric-id":4791850,"id":"Q4791850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$D611FCBE-B349-445A-8D6B-AD58BF5790C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54657d488e69e087f7a4a38b197a16b529363866","datavalue":{"value":{"entity-type":"item","numeric-id":4427898,"id":"Q4427898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505627$4D631F62-BB37-4BFC-A675-188091F31E4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3d808d976a670af0782ab7e47a72ae53b6ad0d8","datavalue":{"value":"10.1007/S10703-006-4617-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505627$6F0777AE-4E7F-4354-A506-24935CA8D346","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56b265e63e82206d76a2ed4fe3197353b7e2cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4791850,"id":"Q4791850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e362a975ccc001f99644bf18bdf1496714e4fc25","datavalue":{"value":{"amount":"+0.9103097319602966","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":"Q2505627$BD1655AE-AD4D-49D1-A14B-93BAF132B9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b83b76a0b5ea7278c4201fd88e14f885e3f7b5b","datavalue":{"value":{"entity-type":"item","numeric-id":4427897,"id":"Q4427897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e362a975ccc001f99644bf18bdf1496714e4fc25","datavalue":{"value":{"amount":"+0.9103097319602966","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":"Q2505627$0FA5D343-7336-48E8-83EE-83782E2F8BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e73e5c6ee87cd20e2c408bfcd3361ce0feae55f","datavalue":{"value":{"entity-type":"item","numeric-id":4427898,"id":"Q4427898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955e0870732288bf59f76f676672df7b44ba8974","datavalue":{"value":{"amount":"+0.8102151155471802","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":"Q2505627$8DAB0932-4FFA-448F-9DEE-5C53039F732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457b55f65deecfb8d17549890228654289370db5","datavalue":{"value":{"entity-type":"item","numeric-id":3503089,"id":"Q3503089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dce23199d59cc780c2526909e304cfb9df73db9","datavalue":{"value":{"amount":"+0.8102150559425354","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":"Q2505627$C59F202B-8A3B-4DFE-B72F-E392B78CFE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ecd1cf3e158de5bbc0b01881776b3888ef20702","datavalue":{"value":{"entity-type":"item","numeric-id":2870161,"id":"Q2870161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6616f466c538b833075f24ad385062302d9ccbc","datavalue":{"value":{"amount":"+0.7366386651992798","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":"Q2505627$94E89D29-4151-4F19-844F-1FB307D17C70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2505627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2505627"}}}}}