{"entities":{"Q5283418":{"pageid":7312992,"ns":120,"title":"Item:Q5283418","lastrevid":52864481,"modified":"2026-01-23T16:23:40Z","type":"item","id":"Q5283418","labels":{"en":{"language":"en","value":"Index sets for finite normal predicate logic programs with function symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751230"}},"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":"Q5283418$BC5E0330-9595-4142-B30D-4EA0EC2112AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e2904794958c775e0225c730315610610e0f99c","datavalue":{"value":{"text":"Index Sets for Finite Normal Predicate Logic Programs with Function Symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283418$6A0823F9-7D12-4811-8411-4CA97CF1526E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5153e832ca6717254e6fd9bbf30e85dfbcbd6ba1","datavalue":{"value":"1474.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$8FD20E35-CFAB-4AA1-A39C-1E7A0FF3D5F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ad9ec29c1b469c026dd0d19b6fc568090b18dcd","datavalue":{"value":"10.1007/978-3-319-27683-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$02D9532A-2F57-46FF-A986-EC19EBE34C5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145c03530c940241521ed95376f4dbe1797e1d36","datavalue":{"value":{"entity-type":"item","numeric-id":524277,"id":"Q524277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$DFC89CF1-1FEA-41A0-AC1C-E039446946BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$9B19844A-2ADA-444C-B5A8-4CD09F31591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$57FC12EB-8A2E-425E-A1D8-30E7FCE35F49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$8814F1BB-7A48-4483-BCA4-52AE7B1E4AD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-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":"Q5283418$1291516C-28A8-4B32-A36F-70F4A000E81F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$C030FAFE-0D12-4365-A3A3-3DB877A6CF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$90CF573A-C404-4BCF-B3F1-52114CF9BB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$28C9B093-519E-4A88-9080-F5ECC4302442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$8236875E-330F-4E3F-9A74-2FD49CD91986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d15a95c8fe27554d89114ba906f10820846dd86e","datavalue":{"value":"6751230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$2D79CE22-7174-4548-93D0-3F1A2E01A5DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283418$85644E26-1660-47CB-A13A-391742C51E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7d07f38ec58dd62dd712e1d243ae3a3974b348","datavalue":{"value":"index sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283418$7CE6B3FB-6C3D-4796-ACEB-A265FAF355BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d02f1cd73b20215f87c13fb0bc15827a48c1820","datavalue":{"value":"recursive trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283418$E45016FF-A254-445D-8E13-7FD1376E673C","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":"Q5283418$1D0811B4-D26D-4394-8C48-EE4FF8DA8328","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":"Q5283418$DADDC97B-350E-4C20-A7CF-0033E8948254","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"750d19fdd5e8c4465b0a4cd4541d462db7aa8c4a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283418$B5260FBC-6BE1-4C1C-A7F4-A34A2AB7E413","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"547207c5fff99d6d439ea7cff265bf1a32991a6b","datavalue":{"value":"W2296002977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283418$7FD6292F-C0CB-45B0-8750-8CFC928BC996","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05956bf43836025a1012618ff18dd51bd3c173f1","datavalue":{"value":{"entity-type":"item","numeric-id":3960112,"id":"Q3960112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$62C148AC-92C3-48DD-8914-970D056053D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0117d08f47be4541705f5468646c262baaf910b","datavalue":{"value":{"entity-type":"item","numeric-id":3348419,"id":"Q3348419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$10CC4EB9-B4C6-4AA4-A31E-74892055BBBD","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":"Q5283418$B8F03C8B-5008-4F92-B2B0-5C64D80C0D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442188a0486f96e133326d6c0766435dca0f7488","datavalue":{"value":{"entity-type":"item","numeric-id":4593017,"id":"Q4593017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$43514255-33E5-4E72-AAB0-5458FEA6338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801b64937ca0872a0c84f78e0bf7d93b290a854b","datavalue":{"value":{"entity-type":"item","numeric-id":5504670,"id":"Q5504670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$B48FA890-1870-4E59-9A5F-1411F876CBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb672f6d6343cfb403314a701e3749716505869","datavalue":{"value":{"entity-type":"item","numeric-id":5283418,"id":"Q5283418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$6D80358F-9772-4367-9CA6-C8D8D92EB5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740895d5109dff86c7f5d44943156f3dcaf3d6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1295386,"id":"Q1295386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$926D1A53-EE2A-47DC-AD5C-659D0450DD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1fb3971b0ac0cca171599bd29502ba54edfb1b","datavalue":{"value":{"entity-type":"item","numeric-id":1926591,"id":"Q1926591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$7C97507F-ACD9-41C3-8C05-9897E22B4370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$9E84D9AC-E11A-45DC-BCC6-F0E4EE043056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$78B02EF4-0348-48D8-A220-797260C0EA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bfb4a7928e8cea6fcf996a7b30dec4aa62d356","datavalue":{"value":{"entity-type":"item","numeric-id":5325773,"id":"Q5325773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$E8443A54-E975-43C2-9333-E2784CC1A9DF","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":"Q5283418$F3B190EB-FC99-490F-985B-3166766DF2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2485593fa6a43c384d21c41a4d7e3bef4c2db5","datavalue":{"value":{"entity-type":"item","numeric-id":1192346,"id":"Q1192346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$D827D82F-62FD-4B6D-8CBA-37D17BBAE646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f40f7943146117c8e05bba7b8a3ff87d13179d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$F73C0EEE-49D3-463C-BC98-C30F6168390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49e68ed32255258ded3f91652dc6ef8ac1954c","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$298AF816-47EE-4549-94CA-9E6B93B7217D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$1DE987E5-37EE-4DA4-BB49-3EC842BED2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3ee712044cc251ade8b58cd4015fc55f1e99fa","datavalue":{"value":{"entity-type":"item","numeric-id":4798015,"id":"Q4798015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$CAC50C8A-7B76-470E-8C9A-601B574987A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283418$DF21135C-CCB1-48B7-B5AC-C80765AFD422","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cc14de1494e9aca1d50b99ebb2c57240077b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5108018,"id":"Q5108018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767c4311fea72d4ebe76066525483e4550497e87","datavalue":{"value":{"amount":"+0.9520679116249084","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":"Q5283418$7324D549-C492-4A3E-A707-D5E97621643E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3d505f96ed8ee77ec771f6339d22613dc2f73d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf305f93be0e49b7a2add3b1fe931716a1c5798b","datavalue":{"value":{"amount":"+0.7421008944511414","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":"Q5283418$411076F5-9866-459E-862C-D5ADD5521519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d10f11fe749798e65bb57b8c876ab0e11257a8","datavalue":{"value":{"entity-type":"item","numeric-id":5717025,"id":"Q5717025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cd432ee6c953438c7f8a66e242d6d2e5b9abb4","datavalue":{"value":{"amount":"+0.7403727173805237","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":"Q5283418$68406540-0CD6-41F3-B8AA-3470C5943301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6306e49215b17ba90b8cab980a1c1edbe51bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4276169,"id":"Q4276169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d8c2c45aae67fcb1d694d2bdf1091cf2761035","datavalue":{"value":{"amount":"+0.7394812107086182","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":"Q5283418$51F000F4-25E5-4A3B-877E-D6D0E3FAE419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f9c2f71f82915a94d53fc3cd1fa7d2d5cd021d","datavalue":{"value":{"entity-type":"item","numeric-id":812390,"id":"Q812390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770deb80e6be84af735fb46bd85122bf68c51bf6","datavalue":{"value":{"amount":"+0.7313134074211121","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":"Q5283418$826F5585-AB24-4502-B14F-7013C8F54C89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283418"}}}}}