{"entities":{"Q671677":{"pageid":673526,"ns":120,"title":"Item:Q671677","lastrevid":63589338,"modified":"2026-04-11T14:11:13Z","type":"item","id":"Q671677","labels":{"en":{"language":"en","value":"Lazy narrowing: strong completeness and eager variable elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983440"}},"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":"Q671677$E6596D12-4548-4F5A-AF7F-F0694F4D8D1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5127c36a96082a42b621b65feb1bdb8f581b87ab","datavalue":{"value":{"text":"Lazy narrowing: strong completeness and eager variable elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671677$310B95F6-6AC8-41C6-85BE-7A79F1A78B2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ba36ea5e7dd3f6eca4b7cae9229aa026669b256","datavalue":{"value":"0874.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671677$9F8C5D2F-1B15-4A22-99C4-E4EB8BB61989","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"957ad6d3549524ec18da4cc136c49d347c1916d7","datavalue":{"value":"10.1016/0304-3975(96)00071-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671677$2B1EEDCD-1FAC-485D-8DA2-B40745683E26","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":"Q671677$EFBB3AE2-6F89-4578-8E9D-3EE5BEAAF605","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":"Q671677$7019FB62-2A03-4590-B53C-60186F00083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b6abd34bf2c1ff2e47854f70a86c2a484a01cba","datavalue":{"value":{"entity-type":"item","numeric-id":485838,"id":"Q485838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$1B072C04-E5DE-4D99-A57B-B20AD7A42208","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":"Q671677$3096694A-58BA-4B7F-AB98-1184D68B36F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671677$CFAE9846-F9C6-4BB1-A3D7-F31C38828929","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671677$39765BF3-BECB-49B3-9700-14F7A7191E0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e84d9f512611dfdc8da15471e8e0988509f31b6","datavalue":{"value":"983440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671677$BC0C1B4C-5BF4-422E-AF54-207EDD362FAB","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":"Q671677$3ABEE90F-5616-43E6-933C-ECDF4898D063","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3482bf8a8011b72e75496ed3500887a55195627e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00071-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q671677$0430D267-BB82-4B98-8F19-3820ADC093BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03345617008c63917583a0c029cbdeebf4c65b9b","datavalue":{"value":"W2138364864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671677$609AC269-0569-42EC-BDC6-E6617036BDA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad7c23e8d7895495a33ef0a244c1d5f7a7d7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$3EAC8805-959F-419A-B953-686FB41589E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$AF19F8A3-9845-4A4C-B503-364753E41CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$778BDA74-35EA-4D0F-81AE-C4523755CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafad2279bcd1a1ddbebd2da7446bcd66e04d511","datavalue":{"value":{"entity-type":"item","numeric-id":1262754,"id":"Q1262754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$A576929A-8E73-4FE1-B58A-B0CDCC823A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$5E21611B-4287-4DE6-A436-E952B80C6A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724ed159c350134c0447aff8a0cdb4f9f833258b","datavalue":{"value":{"entity-type":"item","numeric-id":3783622,"id":"Q3783622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$11C384F8-DDA2-4409-9892-5A034E8A960B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$E8467936-E4E9-4D8F-AB02-4D1D043DE9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$94BFDA9E-2EAD-41CC-860C-3FF35154F306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$64935511-F2F9-46C2-9636-73EC331F2BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$FF2BDAAB-8074-4829-8623-7B29BF06D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$F6F0D24D-EB81-42D4-88D2-58FD98B9620A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$51678839-0AF0-4E63-B1FC-D4EE92081B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$6CDD9BC7-DCEA-42A6-BA56-012338E9871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352040df4a920b21462e119d47a3626ad5351f61","datavalue":{"value":{"entity-type":"item","numeric-id":1264462,"id":"Q1264462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$652171FD-A909-4ECA-B132-077217947797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b288dc303903dadd740b3e94a2919f1421980475","datavalue":{"value":{"entity-type":"item","numeric-id":5055788,"id":"Q5055788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$5067F228-1395-444F-B091-2C3F4951C6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$DDCCF2CA-8BD0-4845-9CAA-6026376592D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$206B80B3-9129-4275-82AE-4B25E7C89C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf446acc897598830df5ac5eb8171a72e05d534","datavalue":{"value":{"entity-type":"item","numeric-id":1189467,"id":"Q1189467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$D74388C5-DC8D-4D43-8B96-1371B92F5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee0a848523ee94b0427e2c6118a5ebd0330d16b","datavalue":{"value":{"entity-type":"item","numeric-id":1124376,"id":"Q1124376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671677$D6CEB271-C102-472F-AA17-D25142EF52C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873289e3bad60e3014ffd415e187d8be7623c88d","datavalue":{"value":{"entity-type":"item","numeric-id":5096745,"id":"Q5096745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff64c35eedb535d218be7136ac15870bb4cb75c","datavalue":{"value":{"amount":"+0.9772508","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":"Q671677$C109294B-342D-4CD7-9DFB-18762CAE8425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cd70b73bbce82e8865028090460a9aee77c7bc","datavalue":{"value":{"entity-type":"item","numeric-id":1264462,"id":"Q1264462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa650035760c9eb3c24c2084c529724d1def8eb","datavalue":{"value":{"amount":"+0.88642037","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":"Q671677$5A0E0B95-DCD4-446B-9726-A0E97734EA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae88518a2060e38de2953517054ee261a04e9603","datavalue":{"value":{"entity-type":"item","numeric-id":3408139,"id":"Q3408139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d49b73d55cc7f3fb427073bedc0b5475a2f6b7","datavalue":{"value":{"amount":"+0.8860252","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":"Q671677$10E501DD-636A-4868-9EEE-57F65EFB2476","rank":"normal"},{"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":"049cda39a4f56d21f0bd11e376ca3c79c1eed06c","datavalue":{"value":{"amount":"+0.8834257","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":"Q671677$8EF2774E-DC6B-458C-A2BB-34C0379DCCA4","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":"5a274066a12c2f956adca1e464e39a423f0e8920","datavalue":{"value":{"amount":"+0.87763524","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":"Q671677$A37F58AC-AAB6-4779-B297-8C8EA3098F7F","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":"a464c5c39223665ebf38ac8c905289511bd16f97","datavalue":{"value":{"amount":"+0.8648957","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":"Q671677$199E07AE-B7A3-49E2-8305-6991A2FB8BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365eb4f08379941e08bdc557b553311512ef4e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4780213,"id":"Q4780213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c527005f8919d9a6b55f400ac62016ea71a9d3","datavalue":{"value":{"amount":"+0.85509765","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":"Q671677$2DD94B04-FC64-4911-B27A-6CC893C5E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b31f771f562f21a12b1bac56a595e4fd9a9a075","datavalue":{"value":{"entity-type":"item","numeric-id":5055828,"id":"Q5055828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898c0d8661185af07af48d5deeccdc39a0a0c22b","datavalue":{"value":{"amount":"+0.8510913","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":"Q671677$BD663B04-0579-4AB6-8FEA-EF820A5BAAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79deaf9709ed58d67bb0f43d12162c14ad049130","datavalue":{"value":{"entity-type":"item","numeric-id":2873676,"id":"Q2873676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f833ce053dd074b5a338d86d16623f2c8015ed","datavalue":{"value":{"amount":"+0.8483372","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":"Q671677$D900866B-E7E0-4E7D-8155-EBD09744A364","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy narrowing: strong completeness and eager variable elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_narrowing:_strong_completeness_and_eager_variable_elimination"}}}}}