{"entities":{"Q1264462":{"pageid":1275212,"ns":120,"title":"Item:Q1264462","lastrevid":67154943,"modified":"2026-04-12T15:39:47Z","type":"item","id":"Q1264462","labels":{"en":{"language":"en","value":"A deterministic lazy narrowing calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1204287"}},"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":"Q1264462$83996AA9-5002-43EF-8768-5CF722BCBBB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58056f138b414c7826299ae7e35087196f8815f2","datavalue":{"value":{"text":"A deterministic lazy narrowing calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264462$48B67F9B-21B9-4CA7-A2AB-BC670A6068CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1252b7a122d3671fd06ec94e67b2c9429298c2c7","datavalue":{"value":"0983.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264462$7FB479DD-2393-4C09-A8AA-BBD5A18E5C23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264462$716876B5-1585-45D1-A232-DB0578BE29E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8c66eb6ab0696df5aa8fae0a6b767fcde021411","datavalue":{"value":{"entity-type":"item","numeric-id":671676,"id":"Q671676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264462$64784552-880B-49C6-A64B-B16D1D7CC720","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264462$3A2A25C9-569D-4AF4-8327-573CD8AA8997","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381ddcb86e65a2a07830e4a1bafeb6cc481b7472","datavalue":{"value":{"time":"+2002-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264462$0C6B4DEB-A721-4617-9C68-80118BA13A5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2c0bc16c388cf0fa6756cf0f1418328364d128e","datavalue":{"value":"https://semanticscholar.org/paper/69265d378013107de2f5d42c4ed9ce9f66b6f555","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264462$F9815025-CA67-48F8-B354-50E6DB7B4B89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264462$FAF8D5BF-BC8F-4028-9FC5-FB005D4C21B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61e9085489dcf19af94436a5df97d4cee0d21d5e","datavalue":{"value":"1204287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264462$5B8B218C-8D58-4D8C-9A29-E8C073213957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bd99353199c76c62a8cad8a1300329c22d0e11","datavalue":{"value":"lazy narrowing calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264462$2B56CC97-C645-4ADA-97B5-1C844F06F75D","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":"Q1264462$7E64BAE9-FDD8-4690-8588-AF2991E5005B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b976b5f1260b66c9f54987242bce9b4983167236","datavalue":{"value":"Q112879187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264462$09B47EE2-6D1E-4041-A7BD-0843532DFDD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b0c2ba02816f6e1a78438f701590f454600641a","datavalue":{"value":"W2061708450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264462$7D3DD48B-9BED-49A7-ABC2-1F800AB3C208","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc9a0af4a42fcc499ff1c81c0d25b8683f44569a","datavalue":{"value":"10.1006/JSCO.1997.0197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264462$1ADD7E14-6EC0-489F-8CCC-02F4E7E0EFE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14d0e49573e95b9898f6a7cc159234409fdc527","datavalue":{"value":{"entity-type":"item","numeric-id":5699561,"id":"Q5699561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493b45ecdc9046c54dc7c42fce4984bb7df2edba","datavalue":{"value":{"amount":"+0.8828018307685852","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":"Q1264462$AC13E514-0B78-426B-8A41-4DC7ECD634FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba08e41ad3b6ff0d1992cdf174ee7ade2e7ff2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4413068,"id":"Q4413068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a761eb924c880986e6ad07d07be09899443eb07","datavalue":{"value":{"amount":"+0.8524772524833679","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":"Q1264462$0F31D98D-A6C6-41AB-B8B4-177DDA18938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039e5edd52f5805553a82ec5b480a1210c799cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503959,"id":"Q4503959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1678ddd34234a1b73172807cfae12e516a76cb7f","datavalue":{"value":{"amount":"+0.8234879374504089","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":"Q1264462$5A1117AA-C1D8-410F-BAA9-B37B45423643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d051e4ab239eff76a9d7fe34abe8c000cb2dfe75","datavalue":{"value":{"entity-type":"item","numeric-id":671677,"id":"Q671677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af2321826d3942495c9a76231cc3543bfdc0d53","datavalue":{"value":{"amount":"+0.816818118095398","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":"Q1264462$5720BF64-B499-4239-85A4-83A515884616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5a78e52e4482f8e7219ce9e80c5d93fd0a764b","datavalue":{"value":{"entity-type":"item","numeric-id":2763640,"id":"Q2763640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea3646c8213f64de57a4e807b834563b33411e3","datavalue":{"value":{"amount":"+0.8102133870124817","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":"Q1264462$B270417C-A594-4B9D-9B65-1595B8BA85DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A deterministic lazy narrowing calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_deterministic_lazy_narrowing_calculus"}}}}}