{"entities":{"Q4452617":{"pageid":6482216,"ns":120,"title":"Item:Q4452617","lastrevid":48244756,"modified":"2026-01-04T02:31:26Z","type":"item","id":"Q4452617","labels":{"en":{"language":"en","value":"On modular termination proofs of general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048594"}},"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":"Q4452617$94F84A76-F276-46A3-821A-BE3790A30041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3015f5fe8ff2fd5934ea70d332a8ac8aaead8cd","datavalue":{"value":{"text":"On modular termination proofs of general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452617$DE7B9407-8C83-42B5-8754-68A91FC07707","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92edfdcaf8152364a7a54c300cd627282cc61f03","datavalue":{"value":"1087.68526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452617$3F91F216-82C2-4705-BC0E-006D82CA4342","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59f2db3fec7d988f49bbb0486ee552247d45d299","datavalue":{"value":"10.1017/S1471068402001382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452617$7F7D3E65-E786-496E-BEF7-BE7AA275C812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452617$DB00B3F7-78A0-4C60-B07F-65A7F8288A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c65fdcb74774080f5ad7f459a5d7542d215b90","datavalue":{"value":{"entity-type":"item","numeric-id":609027,"id":"Q609027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452617$DEA196CA-6B27-46AC-9AAE-03B3B8103BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452617$B247E206-5A8E-4D7F-8B55-59C209F50EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b0b6ace7606b0d0b5fc1a4f6acabcb2d7f859d","datavalue":{"value":{"entity-type":"item","numeric-id":671647,"id":"Q671647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452617$4023DB52-031D-49EE-B0E6-21FF563CCC5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452617$D783A4E3-A105-4875-A4BA-35AC36BD089F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452617$1A1D3CBC-8E57-4332-8583-687258C08B95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4503f09e8c110dd0d4f007440fb37c89861244e","datavalue":{"value":"http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=03","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452617$09096AC8-0E3F-4A11-9ADA-812872292159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452617$4604192B-18B0-46CB-9F5F-534AF71FD074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452617$F603392B-13A2-4DBA-846C-E5D5325AD8C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9b608f5a077a28d417b59eed6e61054f8f188e9","datavalue":{"value":"2048594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452617$EC7E305A-6718-4C25-9CAC-4A9295B918FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452617$B8948033-4D4A-4BE1-9668-7891B4917905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452617$6CEC9316-FAC5-4CF1-8E01-C9626C2B8EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452617$09C3D286-0B4D-41CD-B495-355FC07886F2","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":"Q4452617$35D4D833-2764-4C31-AF78-33F6DD1A9F0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9e6eac3c48ab2bc3460d70885994e889af819f","datavalue":{"value":{"entity-type":"item","numeric-id":4878774,"id":"Q4878774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bbb177b5663c20dc96549121093c296ab1e7f9","datavalue":{"value":{"amount":"+0.913179576396942","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":"Q4452617$9823DDB1-2CF9-4E77-AE82-898E1DFF0C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6977a016ab51e42a7fdc6367bd2a4a52767f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5738911,"id":"Q5738911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bbb177b5663c20dc96549121093c296ab1e7f9","datavalue":{"value":{"amount":"+0.913179576396942","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":"Q4452617$A5566ECE-2904-4979-ACBA-F2305A375C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96102f223a0ebb534412d9033baaed6d665e8a3","datavalue":{"value":{"entity-type":"item","numeric-id":5096221,"id":"Q5096221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1016682b865d2a4158350d630bf840d86a2ee99b","datavalue":{"value":{"amount":"+0.8707845211029053","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":"Q4452617$2D54AFBE-3FA9-46DE-84DB-970FF2ED3E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1444783c9ac9302affe54c66fbde18d77c92914d","datavalue":{"value":{"entity-type":"item","numeric-id":4386947,"id":"Q4386947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad70ec9f6dd5985f340bf2f553f403371d49895","datavalue":{"value":{"amount":"+0.8564750552177429","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":"Q4452617$CC1A50AA-77F2-45A5-99A0-116BDC5AFD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f99bac84bf0d1c58d751f1b07dd2ad791fd509e","datavalue":{"value":{"amount":"+0.8479067087173462","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":"Q4452617$A8C40624-BE0B-47DA-8491-B7F47887C82D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452617"}}}}}