{"entities":{"Q4012707":{"pageid":6042504,"ns":120,"title":"Item:Q4012707","lastrevid":55184827,"modified":"2026-02-04T13:34:22Z","type":"item","id":"Q4012707","labels":{"en":{"language":"en","value":"Bottom-up dataflow analysis of normal logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65193"}},"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":"Q4012707$E313C29A-4A64-471C-A67A-ADECD05EF6F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ec740f2466d0e8f884ffc04f12c8dac3cfffd2d","datavalue":{"value":{"text":"Bottom-up dataflow analysis of normal logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4012707$3DD469EB-45ED-43CD-B99F-75980E6E0825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aa8c7b0295627eeafec7a1e3513184220395a91","datavalue":{"value":"0776.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$4F2729BC-026C-4BCB-BEDF-254B34D7BA89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f88d7003d45f611f4a8ebe181a1a5eb0e99887b4","datavalue":{"value":"10.1016/0743-1066(92)90031-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$5555556D-1D95-4142-BC09-4604D2622DEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bddadb379981dd0f077e58c750bc30e8d5224e7b","datavalue":{"value":{"entity-type":"item","numeric-id":672412,"id":"Q672412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012707$1187E0E9-BC1C-4EA0-BD89-D784A4173AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012707$B72C37E1-B7C0-41CB-B64E-F8AE88CB2DB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012707$BB55408E-5757-4DA3-B16D-CD198106B209","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4012707$7ED43245-331D-4B90-9C8D-6A93D142D483","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$B8C14003-D5B5-4E5F-B896-3C91F8E6EA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$E69641FD-EE48-4633-B3A3-65072F72E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$474EB3CA-D482-4933-8BB7-BA182EBDDACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$424F08E3-4233-48F2-BA13-1159205EBAB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aa2cf1ed53dda9cb1826a10cd971fec95696fb3","datavalue":{"value":"65193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$258905FD-815B-439D-AFED-DA15CE5A504D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925a545bf0220acb98cc801e49b85e223cb99985","datavalue":{"value":"semantics-based dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012707$A8404D3E-BAF4-4D58-8AD4-AE6FBF9BEA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012707$FE5D6D10-AE27-4DB1-9666-98C239003FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90cee9fd01e4d52e97dfa03cc5edc822f7d84920","datavalue":{"value":"normal logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012707$FA1EEAE5-8CDA-4544-A9A4-C24123073984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e10388bb6265c772a5f718d22698366dc99552","datavalue":{"value":"bottom-up analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012707$AFC5E46D-2C0F-44DB-995A-2C7653CEBCC4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae35fbd64da102e0d0b2e9bbba173f702b00b19e","datavalue":{"value":"Q57665093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$938AE805-A2A3-447D-8620-41A78864349A","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":"Q4012707$238A4501-270F-4D71-B672-C4DD48233EF5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c306747bc6d6cb8243c49395b5a94b38d091979a","datavalue":{"value":"journals/jlp/MarriottS92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012707$8A0D9817-3DAC-4F7F-B10B-A7C6794584EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573e7c39e20217fbd89ad2650d269c080bde7f19","datavalue":{"value":{"entity-type":"item","numeric-id":4285643,"id":"Q4285643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3a61b99d12a54024c2beba97c78d193cd43274","datavalue":{"value":{"amount":"+0.8227733373641968","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":"Q4012707$467A1CA1-D53D-40A6-B7FF-813011152EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a90d73e4c88d5d3a40bb810c77607909a1ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4044922ba4a084360008f7cf2dbeaccd4ca2b50a","datavalue":{"value":{"amount":"+0.811521053314209","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":"Q4012707$8BE327D6-B40C-4432-8EF0-FCA2633EDFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7697553602b87436adf326eb9c7ccfb4363bdf3d","datavalue":{"value":{"amount":"+0.8034826517105103","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":"Q4012707$5AB2446D-FFF0-46E9-8705-4DD41CB83131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c218ea89001957501dba944509999b39fa234d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1318723,"id":"Q1318723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bca2cd45b88575b21af41c370e523b69b03bf1","datavalue":{"value":{"amount":"+0.8012740612030029","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":"Q4012707$F093A188-C42A-4F4A-830F-A596CB5FCB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866a51364bba25370257b083cca2dbbe5b7e9256","datavalue":{"value":{"amount":"+0.8003171682357788","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":"Q4012707$CA6EB222-889E-44ED-872E-8AEA9FF29839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012707"}}}}}