{"entities":{"Q2880785":{"pageid":2891505,"ns":120,"title":"Item:Q2880785","lastrevid":51447911,"modified":"2026-01-18T07:05:17Z","type":"item","id":"Q2880785","labels":{"en":{"language":"en","value":"Finitely recursive programs: decidability and bottom-up computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6024779"}},"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":"Q2880785$4EAD368C-E67E-423E-BD87-F6A069F55447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25c7de6ea96b6bc2a27fd9a7b1e8823aa549b24f","datavalue":{"value":"1235.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880785$A99A54C9-0AE5-4913-8DF4-A164F74E0387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45fd10a81a4d6977f0e6032ed561f1efc305a6d4","datavalue":{"value":{"entity-type":"item","numeric-id":899442,"id":"Q899442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880785$F2ABC715-902B-489F-B6BC-1BF44FF46A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"564b9a872cf3b07e7e7bea294a29a28dffaab55d","datavalue":{"value":{"entity-type":"item","numeric-id":2457797,"id":"Q2457797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880785$D9F87F03-E373-4D41-8C1C-6BA377A0E9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc3cea1023443facf31c491cea41a57c32f9817","datavalue":{"value":{"entity-type":"item","numeric-id":814505,"id":"Q814505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880785$D162168E-3672-49B9-9064-051CB144DCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880785$F752E8D9-A162-4C50-9FC8-29DD48DDA3E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a956578e17f92d9f8e76c852e5610c6cb22ee4ec","datavalue":{"value":{"time":"+2012-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2880785$C39AD47A-DB23-418D-8D76-68C8EA9CE679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5baf7507845e8097f79474d3daa89d061c65947d","datavalue":{"value":"http://iospress.metapress.com/content/el20u83422223807/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2880785$DB0D1C99-37DE-49CA-ADC0-ADC5488BC6AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880785$ED6EFFCF-0B8C-4394-A222-D42C528B2D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880785$95E8A09C-0265-43BC-BBCE-F70777D4C4CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"654215d9a6d8470270ca1738b729d068acacc31b","datavalue":{"value":"6024779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880785$6222062F-4E58-4B61-B111-8814BCD7038F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880785$226B5053-3745-4C81-8997-EA5109719077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880785$4CD43A07-BFA3-48EF-B105-1F75D39C509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d216e88426ac12b37bddf3d07ec3c1fb10b7b6","datavalue":{"value":"magic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880785$442B0463-F33D-48FD-B0AB-8CB700CD399E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880785$C330903A-79BB-4283-95D9-72E35C4226D5","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":"Q2880785$A1B8886E-A24D-47B8-84A0-410C9967DE6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7a451a74d00b92771d158f787ae4903fc3a42b9","datavalue":{"value":{"text":"Finitely recursive programs: decidability and bottom-up computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2880785$04498477-44EC-4DC9-9F49-AA8B918700A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880785$11DEBEA2-444E-4018-A20D-51B77D1D671E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62f1181834ac4d95a191066aab1aa1b90adfbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3643107,"id":"Q3643107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d43d9b16e991f20d2bb21f12bb011555c95b85a","datavalue":{"value":{"amount":"+0.9746373295783995","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":"Q2880785$0765C430-F474-46C9-8E0F-866A73C528E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6839ce477bc1359029502a9a052002d96ba6791e","datavalue":{"value":{"entity-type":"item","numeric-id":3585164,"id":"Q3585164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a575eb1ec282cccccfe1068cc4407ebc3de4ed9a","datavalue":{"value":{"amount":"+0.8398469090461731","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":"Q2880785$01CBDFC0-020F-4263-87D2-3F15A3D6B1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b28ec84a424abc7e71d685a5f62f66b16083cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5504670,"id":"Q5504670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80876dd3e772d068e48a8ccb25a015ad4c81cbf9","datavalue":{"value":{"amount":"+0.8128570318222046","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":"Q2880785$69CEC029-EA4C-4A9E-898E-BB49F551B9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0a202090ff978fec8e15b924c92627c7ef2d39","datavalue":{"value":{"entity-type":"item","numeric-id":3608648,"id":"Q3608648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b31f6acb8f338fcc0d6e6ff53d0073ed5e994d","datavalue":{"value":{"amount":"+0.8103383779525757","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":"Q2880785$AC8038C2-8161-4290-9A89-0711627CDBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b9c8f64a228ff829d58479e16cdfdd70f18dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4906882,"id":"Q4906882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023aa3e7139620d73af07dfb311519f29b0c8544","datavalue":{"value":{"amount":"+0.8087815642356873","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":"Q2880785$672EBA65-5855-4F03-ACDA-C5347DF58201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2880785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2880785"}}}}}