{"entities":{"Q4452620":{"pageid":6482219,"ns":120,"title":"Item:Q4452620","lastrevid":48244765,"modified":"2026-01-04T02:31:26Z","type":"item","id":"Q4452620","labels":{"en":{"language":"en","value":"Classes of terminating logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048597"}},"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":"Q4452620$8C47233E-C9ED-411D-956B-94C3EDC92C90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd5f5414b1d7c99e74c5283551ee72d1f1fe36ff","datavalue":{"value":{"text":"Classes of terminating logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452620$ABBE95CF-3F03-4C85-9BAC-BAB9838F76F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"606f55c6670a6c29bd496162d84de3f27d99a683","datavalue":{"value":"1069.68537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452620$3C7E9415-DA1C-437D-B2C9-62A7C782345A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaa9575f47fbf24421a7a184511e7dbf7acefc31","datavalue":{"value":"10.1017/S1471068402001400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452620$0D8E0B02-3DBE-4CC1-9587-252C9860CDF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452620$9319076A-FE25-41EC-840C-01A4C2AEBEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452620$22732AAD-5AB7-4841-875A-3C21889A980E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452620$CAC01B75-762D-4ADF-A7C3-2CA780B9FD11","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":"Q4452620$D0EB930C-E331-4348-A0A6-1D4BC6DEB37C","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":"Q4452620$D2C367DE-3176-4C17-AB95-4129529D0594","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":"Q4452620$FBA9F1B6-9F72-42A5-A195-E0A6CF66AD8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452620$F0CEB427-751F-4C57-B59D-4374368163CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"002196df233514b01bd09e80f4dafe5a3ad4ff02","datavalue":{"value":"2048597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452620$379EBC7F-CC47-4385-B5B7-2693837963CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63659cd2f684a9f446876779137f81450675dce2","datavalue":{"value":"universal termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$806861D2-39A0-4B52-8E55-A3E59D382B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$74DDB68E-166A-4B14-8447-E66C3C53AEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16500564042d06f6b016151de817693f332d4363","datavalue":{"value":"selection rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$374B9FE5-E8EC-4A02-8B47-846A581E03BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5067d4acd56954b4952d475524874708ef5ed2","datavalue":{"value":"norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$17C63FC7-7481-4D69-A010-DE9AD37B7A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766dc30cd77159b1ef816cbbcf3fbe488ed3d251","datavalue":{"value":"level mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$66A7D372-61F6-42A3-A1B6-380775001C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c172725a29fdf5bad31467e9a432be375901aa5","datavalue":{"value":"dynamic scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$15DFAA75-87FE-4C02-A32E-B221FBC30282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b533f02f00fa3a574f9f274b1d8c3ffd11f3c66","datavalue":{"value":"left-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$616525E9-2786-49DB-BD34-29F280FA9F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452620$13508486-3D57-46BB-A801-999BC243FD59","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":"Q4452620$6EB95B43-B0BD-475E-80D0-16487873B26E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82ccc550eab1667a9a34887cfacc855ca385332a","datavalue":{"value":"W2114898754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452620$C0451C94-E64A-4E90-885F-DB76CD40F50D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52927b34c42b1912cc6a6ace664bfcb513a96ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5712539,"id":"Q5712539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d8266103899d7214add7ff5f74316efe1169b4","datavalue":{"value":{"amount":"+0.8678600788116455","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":"Q4452620$E2771699-7F6A-4EF8-AE3E-F2CC93375C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81991e32bf8687bbed683e4a92ab08fd5d66b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19add3b937b6ef162234dd751af226341b50d36d","datavalue":{"value":{"amount":"+0.8536145687103271","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":"Q4452620$EA6FF9C1-2441-4AA0-B439-F8C221B0AD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1b0c6df271d509c4ec48085179026720566a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308d2b8480f56d981a262301bc3f9a45533b6721","datavalue":{"value":{"amount":"+0.8305137157440186","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":"Q4452620$A1F0F654-07AB-4675-9AFB-AF77482023AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73f1b7d1e00ad4570ce0bd85dbcd2d050c4c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":5313208,"id":"Q5313208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bc41acaeae4417c67eee2ad109653eae6b22e1","datavalue":{"value":{"amount":"+0.8234033584594727","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":"Q4452620$6AFE0C7D-2BDB-4C5E-BE84-52AB498E03A2","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":"9d13a9dad5877cdfe2a759d2c53a31ccebe00d99","datavalue":{"value":{"amount":"+0.8230494856834412","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":"Q4452620$077BAC63-0647-4060-86A3-F80B7E8FFC12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452620"}}}}}