{"entities":{"Q4542943":{"pageid":6572535,"ns":120,"title":"Item:Q4542943","lastrevid":41132143,"modified":"2025-04-18T10:33:11Z","type":"item","id":"Q4542943","labels":{"en":{"language":"en","value":"Generalizing Def and Pos to Type Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1779749"}},"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":"Q4542943$9A9AFC81-1C36-43F3-B168-19BC23248E96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbbddfe9489fe34ae4131f8c137c647c4a3eca03","datavalue":{"value":{"text":"Generalizing Def and Pos to Type Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542943$2B3311C8-E4C9-412B-B0C6-F97705511D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5493bc29924edc421083a0c0c15aeeee761025d9","datavalue":{"value":"1012.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542943$632303A9-011D-447B-B89E-A17884FDC1F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542943$2BD31C4B-47A3-4AD1-A3DF-4D6F8098280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542943$25372933-A795-43CC-8364-860721CE864D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c281157af5837e5656cca8245bad4b6412f057fd","datavalue":{"value":{"time":"+2002-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4542943$5AE1FFAF-AD1B-48C9-9349-DF04E15AE701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542943$5A755DAD-9FC6-413F-8738-9148CB2E7085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef4e880dcc7e4a1d8ce3201a960bfc42a5903824","datavalue":{"value":"1779749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542943$354C1911-AF5F-4832-ACEB-5E7D5C1E2287","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb98b5d2b2670abbe4aea4217c9ec785a9bb448d","datavalue":{"value":"type analysis of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542943$54A5D755-47ED-4456-A925-7C19B32B4466","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542943$8513EEC4-E235-4127-BA99-F7679A53F806","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":"Q4542943$273400B8-6C06-4276-BB1E-9E61EC35508F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d24ec74237085229aa73957b71024875494efa3c","datavalue":{"value":"https://doi.org/10.1093/logcom/12.3.497","type":"string"},"datatype":"url"},"type":"statement","id":"Q4542943$9BBCCF15-70D3-4757-9D7A-AB50E47748C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e2b679eba69fd6230469f84eacdad5c2120ad0a","datavalue":{"value":"W1974096282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542943$2A9ABB0A-6F4C-4B11-BCC0-F4E5F3542C9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae7d822b9a96dbd0b9ba46cd2c40fac604901189","datavalue":{"value":"10.1093/LOGCOM/12.3.497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542943$A858B3F8-21AC-40F4-85F5-09BDE9FA45DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d456b94293befe11b645e1ed78e138fd7ac64a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4206388,"id":"Q4206388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e1a7150d1c5d5d05aa6303c740a38b5488d1d2","datavalue":{"value":{"amount":"+0.8939611","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":"Q4542943$FA92A0DE-E319-4499-83FA-6B10A258176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a99c356a4206bbafa5dec23032d09a95b23b61c","datavalue":{"value":{"entity-type":"item","numeric-id":4858947,"id":"Q4858947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e1a7150d1c5d5d05aa6303c740a38b5488d1d2","datavalue":{"value":{"amount":"+0.8939611","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":"Q4542943$6605CA3B-C7CD-4E9A-9B24-B67C9C1EF29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa24e6d3cae090b70058022cada85f364fbbb68","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068c1a5ea39e853b886ac8aa555325c44d692a15","datavalue":{"value":{"amount":"+0.8927876","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":"Q4542943$931E91B9-84BD-47AD-9FD3-5B0BEBD3288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e057c2f848a5e8dac66b3589f37f56412f8c783","datavalue":{"value":{"entity-type":"item","numeric-id":1122980,"id":"Q1122980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cbbf6c147dbb0db9c0ada04b2976d680845825","datavalue":{"value":{"amount":"+0.88955015","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":"Q4542943$00DD4C85-C130-49EC-ABC2-5B6D61748942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe83d322ad211062f70bfa17e17d146ea2fbd91","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61770d6bf93bae2343d387c3d4096b9a513b5027","datavalue":{"value":{"amount":"+0.88913447","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":"Q4542943$95ED6CE7-6BDE-4C0C-97CD-3F3CBFEB151C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84e878883ea2974f557d08a87b7cdea953f98d4","datavalue":{"value":{"entity-type":"item","numeric-id":2968420,"id":"Q2968420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe36b13e526d8c94abffab231004e40effddfa3","datavalue":{"value":{"amount":"+0.88435745","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":"Q4542943$A7219974-0049-4486-B886-4C8CCE466ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3bd8d7b3f7f6ee09dd59d84eb2557d306d4196","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaf23e2bd1c62f65d2ce14089cac9706b5cf1f9","datavalue":{"value":{"amount":"+0.8841491","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":"Q4542943$044AED06-7C06-4DB8-8D35-C6DC98148467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6addffac10d1336d4361b49efd084fb8ab726d39","datavalue":{"value":{"entity-type":"item","numeric-id":4738349,"id":"Q4738349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158eec3289ea8e027c9aefb431d66a0d06258fe7","datavalue":{"value":{"amount":"+0.8836158","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":"Q4542943$EC6F439D-FBFD-4AD6-930E-19F9F0901B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e7df1b0c78b6165a85ac2ed3fa576a581f45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247305,"id":"Q4247305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f9b7d50c8efbdd884c1d313c0fbf0d9dd91669","datavalue":{"value":{"amount":"+0.88347054","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":"Q4542943$42E2BEA9-C03F-49E8-851E-1DB8461A355D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498ce556dfca5c04393f1aaf9a093578b40a7501","datavalue":{"value":{"entity-type":"item","numeric-id":4736400,"id":"Q4736400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f840254aefb55f7f77630247eb6acb0402a83e","datavalue":{"value":{"amount":"+0.88263726","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":"Q4542943$16699377-E85C-48A8-B1A6-41F733AF7CF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542943$5729162D-99D6-4A99-A314-0D49746D6ACE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4542943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4542943"}}}}}