{"entities":{"Q5096745":{"pageid":7126321,"ns":120,"title":"Item:Q5096745","lastrevid":54383546,"modified":"2026-01-26T17:56:07Z","type":"item","id":"Q5096745","labels":{"en":{"language":"en","value":"Lazy narrowing: strong completeness and eager variable elimination (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572978"}},"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":"Q5096745$F4770B6A-C83F-4973-8480-D3D1D47F4C0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd5fca7d597137703234b0c3fc7105ec6af1f15b","datavalue":{"value":{"text":"Lazy narrowing: Strong completeness and eager variable elimination (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096745$D67FC5B1-9074-45D7-93E7-D8A98F7B4747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f57f869888f44bfefab64e107c9205ada47a7843","datavalue":{"value":"1496.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096745$13E772C1-D123-4393-8DEB-B271DD33549A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bed7912fd9351e087caf169ba684c4dd317a393","datavalue":{"value":"10.1007/3-540-59293-8_209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096745$9A36E2E6-3486-47E8-A54B-11D2666D78EA","rank":"normal"}],"P16":[{"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":"Q5096745$7C6AAF4E-0BA7-4728-9A19-59F77B6B738D","rank":"normal"},{"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":"Q5096745$5B95082F-20D1-4296-B76B-E7F2943901E2","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":"Q5096745$8BD88CB1-07D0-4895-9989-BFBCCFFC23DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096745$027513B4-B691-4CED-86E2-5233D2D08E33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-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":"Q5096745$843CB2F6-E7A9-40F4-AAC6-0E0259819571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096745$0AEBC448-41CA-4DC5-BDB0-5375A467D42E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a372f703068fa32b6326181c16c2ce9068f18a10","datavalue":{"value":"7572978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096745$26F26598-B287-461D-84E5-FA6BFE2850E1","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":"Q5096745$7AAD4939-2D56-4EEE-96F3-F8F5E02A6C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"766849dca22914287daa9062922cf480c7cf0e30","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_209","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096745$62C2725D-816F-4F61-9063-24C1EF1C5FCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e555f659456d05a5fdaba249ae5f3031cddc9f27","datavalue":{"value":"W1570994654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096745$E0CACF3D-7C0B-4734-8589-6AD701523173","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096745$CAA8BFBE-938E-441A-97DA-4CDED01492C8","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":"Q5096745$D286A902-9183-4E82-9639-3159F50AA2C9","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":"Q5096745$9D720D73-EEB9-4D4D-AAC0-F37057926EFE","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":"Q5096745$A4B1ECAC-B52A-4862-8572-61E1A9EE96EC","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":"Q5096745$5C558EA7-D1B4-435E-9CD4-11E350124CB9","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":"Q5096745$E4610029-068B-4BE8-A508-FF95C61C66CF","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":"Q5096745$EB9D0981-EA74-4496-9AA4-B2354542711B","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":"Q5096745$5DB89E28-982A-42A1-B018-D2179D5EE889","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":"Q5096745$927E9BF7-9C45-43EF-8ABC-671FACE73526","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":"Q5096745$8801CFA4-09E5-4B30-A622-D1466711C0CB","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":"Q5096745$3BCF44EE-4584-4A9E-8092-E20F1F486E87","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":"Q5096745$66B37AE4-E50D-4508-9319-690E79B02A97","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":"Q5096745$39D0E1AD-0441-47C8-BA37-A07EDEA76E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5c226050876a324cadfb172486b762401448be","datavalue":{"value":{"entity-type":"item","numeric-id":671677,"id":"Q671677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096745$1D8D8D0B-E419-4957-88FB-2B01404AE2DB","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":"Q5096745$8486AF97-7E2A-480E-9DC5-37C1F1FECBDC","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":"Q5096745$50262A4D-764D-4AE4-A665-D9353F855246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fce63160f1cb016b536f964bf4bb1dafa0c800","datavalue":{"value":{"entity-type":"item","numeric-id":5210804,"id":"Q5210804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096745$F5895066-3CA5-4EF3-8A95-979A1662E77C","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":"Q5096745$2D96C58F-4294-4C96-9C87-C4CD8BE6CA48","rank":"normal"}],"P1643":[{"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":"a1ea6508f72cf1000778c0af029f80eed19de376","datavalue":{"value":{"amount":"+0.9981163144111632","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":"Q5096745$BB0F51A0-1557-4D06-8FF1-597263477A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e17d283826ed369fc3460fa325243df61e4b58a","datavalue":{"value":{"entity-type":"item","numeric-id":2766792,"id":"Q2766792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb6c426233bc727f66894e09f10014a07ff8ccb","datavalue":{"value":{"amount":"+0.8228450417518616","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":"Q5096745$83DE5D96-21C3-4157-94B0-66E01B9F6456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba60eb1d7405e8770f9351ff5f9a62aaf910c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d523d9b10ae66fdfc4c42bdc34f737b70d4145","datavalue":{"value":{"amount":"+0.8175210952758789","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":"Q5096745$70F58FAA-28EB-438A-BC82-636203D13414","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":"caff7a0d2508587f5df729bdc7627266acfa2478","datavalue":{"value":{"amount":"+0.8090080618858337","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":"Q5096745$4DB74FE2-4364-4100-B20C-32BDDD620AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e28824109f01f7965f7310800ab27dc3003d16","datavalue":{"value":{"entity-type":"item","numeric-id":4941932,"id":"Q4941932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a971e3687e296ebb5ce3b12938758b3126861cd5","datavalue":{"value":{"amount":"+0.8066757917404175","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":"Q5096745$24BF0B1C-2D75-435E-BAB2-C3A1FDE6B4E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096745"}}}}}