{"entities":{"Q3585163":{"pageid":5615067,"ns":120,"title":"Item:Q3585163","lastrevid":58214973,"modified":"2026-04-04T06:36:10Z","type":"item","id":"Q3585163","labels":{"en":{"language":"en","value":"A decidable subclass of finitary programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773239"}},"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":"Q3585163$C337F786-AAD0-46AC-A40F-F2CC4060C53E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a72a6333a0ad9f50a496fab161d31227cee348a","datavalue":{"value":{"text":"A decidable subclass of finitary programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585163$E7147DF3-F099-4288-9B91-59155046E893","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e63a18280a545bad84c01d2ff79dd3b6e9fe4980","datavalue":{"value":"1205.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585163$F578F07D-55B5-4A3B-AC1A-D2C56BCF79ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a50a75d07de9e835e4045fbea075cb19f951b8f","datavalue":{"value":"10.1017/S1471068410000232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585163$09336F3D-DB99-4EA5-8564-A162F66CAA17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"150e21ace01682336111a5e1b6e44b10c42a3bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3585162,"id":"Q3585162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$07BE39D2-3B16-4A7E-96F6-2F71E9DA5D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0631f2d933312919de86ae8c0f02f442e4f96c29","datavalue":{"value":{"entity-type":"item","numeric-id":814595,"id":"Q814595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$21BE9C81-6D63-4A92-9803-D9ACFA0C1928","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":"Q3585163$C96D778F-8BBE-4251-827C-30D40010ECAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585163$D967AB4A-1788-458C-AA62-F1B920307905","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b3d153f47b0890d04f650dfef73d235b919e541","datavalue":{"value":"https://arxiv.org/abs/1007.3663","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585163$04099BFC-05B5-4B05-8EBB-62B1AF29742F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585163$E05EB7BE-6EFE-47DB-869D-9A044695154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585163$DF9A2D78-D0B1-4724-B411-95736CC57F94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fb3cc336946c98912500a138cdb2210a1a32437","datavalue":{"value":"5773239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585163$B09E2FB7-ED64-47AF-8041-29FF55FF997E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3c537b6df472d0a8b5f3c92dacc8f4fc661d71","datavalue":{"value":"answer set programming with function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585163$147E2BE2-D927-4AC1-BFD3-1A2816F230DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090d3d79c3adcfc332249f4f561e77aa61abd440","datavalue":{"value":"infinite stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585163$974E7896-8DFF-4528-A1FD-97A083A87029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de31b59a73edfdc590eb62929169c132e8957965","datavalue":{"value":"norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585163$BB0C4A3E-17E8-4BF3-AE87-92C59DAD2A0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$B7CD2BB5-BEF6-48BF-A31C-CA294DBF132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$8ADD88F4-CD23-474C-ABC9-1723D8512C82","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":"Q3585163$C4976A47-AD26-4533-B120-601D1A9EF5C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e98848ff82153468e80b6033e6823f10640c468","datavalue":{"value":{"entity-type":"item","numeric-id":2377606,"id":"Q2377606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$71E7868D-C7C9-4FDB-B769-5BA9CD0B4AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77099e8294a56c28c21eeb213a420a5c3b4af060","datavalue":{"value":{"entity-type":"item","numeric-id":1318707,"id":"Q1318707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$4CCDD587-3FD7-4829-80C3-488BC46483CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e888938dab748ca9daf8d361e8f7ec251b4af524","datavalue":{"value":{"entity-type":"item","numeric-id":3498490,"id":"Q3498490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$E03D5EEC-2245-42B3-959D-C10CF2301AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d747fb331f05873f4beee6d240d959e5d01e56b","datavalue":{"value":{"entity-type":"item","numeric-id":2389687,"id":"Q2389687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$55100658-AF79-4655-B645-157E34D25C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a740e46afe023e451c11475c01a910ad507d1028","datavalue":{"value":{"entity-type":"item","numeric-id":814596,"id":"Q814596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$8FFB0FFD-651F-4A1B-90C9-55E89825DE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$E984FDF6-32A4-4401-AF82-E393171DABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f179c7b97594b2bf8752939e70ae7979250188b","datavalue":{"value":{"entity-type":"item","numeric-id":3621269,"id":"Q3621269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585163$25A7EF53-3AC9-4D10-846E-5BA47A19DDCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"129fed0f690de3577d996bfd7a2d5d9ce68f8921","datavalue":{"value":"W2035046277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585163$B91FBA43-865A-40D4-B2A4-2CACC2545866","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2226f416d0673ac716e3bc8e74166cbc37100e81","datavalue":{"value":{"entity-type":"item","numeric-id":4812969,"id":"Q4812969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725c7c90e986231f24c07a0dbe28db66f5bd86d6","datavalue":{"value":{"amount":"+0.8006808161735535","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":"Q3585163$432B113C-EA53-41B2-BC7E-3DB37E4543E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800d6ab3b872547bd05f5b8f79081dc3a54b9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":814596,"id":"Q814596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbba0d44a2170ce98807b187d9f062f83bde98f6","datavalue":{"value":{"amount":"+0.7989391684532166","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":"Q3585163$4219EBFD-0470-4B61-94B9-DA93494B7B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35428fc5eb9bbc7852d769eadcc8ee6dd95b1279","datavalue":{"value":{"entity-type":"item","numeric-id":2880785,"id":"Q2880785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c181630607d2668c7742fbfbdbda171127cd18a","datavalue":{"value":{"amount":"+0.7840957641601562","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":"Q3585163$3B877D17-ADF9-4548-8595-A594E464A3B8","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":"fb7a6a6791f0e35fc5343bfcfadbe9b521385771","datavalue":{"value":{"amount":"+0.7785155773162842","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":"Q3585163$90DAD5E2-4D1D-41F4-B772-3A3B64D3FE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e58bca7845a31cd659cbcf50612819c42d2d1d9","datavalue":{"value":{"entity-type":"item","numeric-id":5325773,"id":"Q5325773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b854e539aefd6f3fc9d84668c588a16ee3fb2b1a","datavalue":{"value":{"amount":"+0.7761282920837402","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":"Q3585163$2FD8D04E-BE7F-4AE8-A319-55F8E37FBF41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585163","badges":[]}}}}}