{"entities":{"Q5437651":{"pageid":7467215,"ns":120,"title":"Item:Q5437651","lastrevid":101047079,"modified":"2026-06-05T23:45:44Z","type":"item","id":"Q5437651","labels":{"en":{"language":"en","value":"Recurrence with affine level mappings is P-time decidable for CLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5229054"}},"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":"Q5437651$D6EE6CA5-D9F4-40B0-A441-ECE2898C8893","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbb4e1817049c8b8f329527e6e5b0a09e862f4aa","datavalue":{"value":{"text":"Recurrence with affine level mappings is P-time decidable for CLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437651$A300C3DA-89EC-42C2-B8C5-F1B3472329F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"453388ba048b315368207f12b261e49b0864f7f9","datavalue":{"value":"1128.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437651$1D116812-7F46-4850-814B-E1686204FD69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a1b6b32d2e4b6f5364e3c910f353679df46b8fd","datavalue":{"value":"10.1017/S1471068407003122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437651$8730B916-71A0-4FF7-BD13-D6F74DA499A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437651$CD8BF3AB-55CF-48C7-B6C0-B920F4360098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9024bd961b47c56bce1b473c968c94a7820ac985","datavalue":{"value":{"entity-type":"item","numeric-id":199250,"id":"Q199250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437651$8B1F0DC6-F95C-41F0-A059-B50EBD979227","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":"Q5437651$F2E4353A-8322-4355-88DA-711874212AB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437651$64C60655-439E-495F-B5F9-E0E26EA17490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437651$D96F622E-EFB9-4F87-A23A-A5363965CD40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2587c1a8898bd9fda5eae10997f9000849df1e88","datavalue":{"value":"5229054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437651$7D76E614-794A-4D3F-B8D8-B5BCC17056BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437651$389013DF-B6E8-4AD3-8568-7B5D22764970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437651$44B1E6EB-20E7-4ECB-B878-75DB905B001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437651$CB7817EE-D6B5-487E-8046-7958B13BC3C0","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":"Q5437651$6AE28CB6-CDB5-4CD1-A9C6-399AFCFA48E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437651$C34D81C4-C65D-4D7F-8768-741673A2B12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefe3932ed0c4a409b2d7421befe372f484c03a8","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437651$5F38E7B5-F03C-412D-8814-EC27F9FDCD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a247c2e21384c40a87e299da2af8bd19f535c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4254883,"id":"Q4254883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437651$362E0501-ACB1-44C1-9CFD-92DCE6DCE8E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f07655dcf7a42c4b21364186c9b1a8c9e1c8c945","datavalue":{"value":"https://doi.org/10.1017/s1471068407003122","type":"string"},"datatype":"url"},"type":"statement","id":"Q5437651$EEF8C259-5139-455C-9F22-C67AAA55532B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d1bb4adc2b32d2b4aa99e588a4afb1692e51383","datavalue":{"value":"W2095555925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437651$369FC899-03E3-4E45-8F29-6551D9D03D5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca9aeb2713eb1c1763e00f9ed6697f77eb250c1","datavalue":{"value":{"entity-type":"item","numeric-id":5458805,"id":"Q5458805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed67cd7a80f0c55e1b3e9e0b4ebdae7d4c4cda9","datavalue":{"value":{"amount":"+0.7628196477890015","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":"Q5437651$B2A81110-C3AC-45FE-8C2A-DDDA8AEA3063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2492a75e4e335b2fbcc3ef51a4aec4c7ff72d4f","datavalue":{"value":{"amount":"+0.7601487636566162","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":"Q5437651$E42EBD75-9D74-4BC1-B71E-05AC107A5804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3e37d254662258bf38cc4e684970c369ddbc9a","datavalue":{"value":{"entity-type":"item","numeric-id":5055810,"id":"Q5055810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef86c30b651cab5d1b551c61df5a78a7b1f78a4","datavalue":{"value":{"amount":"+0.7218675017356873","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":"Q5437651$7FD4AD29-B459-4D94-B246-8243AB6B82FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11f87af1fc6255683f52d4d5b3acaf1254bcc6b","datavalue":{"value":{"entity-type":"item","numeric-id":604395,"id":"Q604395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cce2d299cb33f139ccef76c17f5d784553e314","datavalue":{"value":{"amount":"+0.7118858695030212","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":"Q5437651$FB0484C4-9886-4E9D-9EAF-E050DB59EBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfbaf3527eb36d5656104867ee957404413cc71","datavalue":{"value":{"entity-type":"item","numeric-id":5267429,"id":"Q5267429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7560d8bbfb4312b14d852fdc782359c930acf4b","datavalue":{"value":{"amount":"+0.7101663947105408","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":"Q5437651$EE979A79-9CE1-478A-9E4A-FA2B9351B611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recurrence with affine level mappings is P-time decidable for CLP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recurrence_with_affine_level_mappings_is_P-time_decidable_for_CLP"}}}}}