{"entities":{"Q4593038":{"pageid":6622623,"ns":120,"title":"Item:Q4593038","lastrevid":82248848,"modified":"2026-05-06T20:27:15Z","type":"item","id":"Q4593038","labels":{"en":{"language":"en","value":"On definite program answers and least Herbrand models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804593"}},"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":"Q4593038$0B1C90B2-7ADC-45BE-A089-BDF8D6744D64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36b0bd5975771cb07b9182b01dbaad403dbc2b21","datavalue":{"value":{"text":"On definite program answers and least Herbrand models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593038$1DA48F65-78F0-4958-AFD4-05A7AEA0795E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"642b52ec67136cf227d34d1e78b6fcc94996c42d","datavalue":{"value":"1379.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593038$3A5FDB75-541D-449D-A36A-775BB4CBF0FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fc5718300ad246105270aefb8bd115c74070aec","datavalue":{"value":"10.1017/S1471068416000089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593038$FC29030B-3C68-40E1-BA17-BE3DDC6CA61A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$6A03A413-272C-4423-9C38-A7365D63A0F7","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":"Q4593038$6EDC1619-B5D9-40E3-B2AE-E99A29115233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593038$BCC30E2E-79DC-4529-BEBE-CD6935F76AFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"576f5c497ac66bc1dc960e00428ae0b54c35f6dd","datavalue":{"value":"https://arxiv.org/abs/1503.03324","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593038$F773A075-828B-4D47-8E47-2BA63DD8A2EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593038$8BFC4E8E-A659-4BDE-AB06-149424C98741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593038$9F72FA2D-6829-43CD-96BB-35A0257A2465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593038$B7AE3D67-C85B-4CBD-B42B-3E2D01402451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41d56e9229f00ffa97d8fa63cc79a56071d5ba89","datavalue":{"value":"6804593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593038$9E13D711-6729-4FEF-839B-A5586B4CB7E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593038$419F4A93-EEB4-417D-934C-D02AFAC5CF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3760fe679ea5c39273b469524ef822f4314e8255","datavalue":{"value":"least Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593038$B9BD18C0-31AC-4C00-B7D0-899C7BC0D215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593038$C1D41578-D896-4FC0-8A54-7851D808D212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593038$9D97EBAA-C3D5-46ED-90C9-764B62EBC48B","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":"Q4593038$722F271A-98FD-44CA-B0CE-F3C7B3902C68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c9e248f3ddae05d70b7ece9a5aa98ead8ea609","datavalue":{"value":{"entity-type":"item","numeric-id":1035702,"id":"Q1035702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$51FDCE52-C912-4487-BFBA-AE73D81B2938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920dc790438762b9b704f4cfa4d3e197cb917db9","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$9C7F98AD-AFE2-47D3-99DB-F0D02A3051E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26126f876d4c6d7688c2d6c268f25eb029e7a268","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$8BE9650E-3EB8-4628-9323-46A690D8CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de79b5478bdf2cfe14adb3fd486d066a8935dde","datavalue":{"value":{"entity-type":"item","numeric-id":3776674,"id":"Q3776674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$0F431BA5-8574-426D-A04E-3F66825FF383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd38fe69edbe355b40165941e34e66317c8714","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$F70005EF-3B43-4E8F-9803-04D9676888BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$3BB29FDD-99A2-4DF8-9F6E-366887BBE376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219cab298855cdd915089d0ce01fb19b23da9465","datavalue":{"value":{"entity-type":"item","numeric-id":5410730,"id":"Q5410730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$6A0F13BE-A91D-41CE-ACED-CA64B189C3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$A9BEC921-A319-4417-A41E-D2FB3E14E0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$BCC9A926-9C66-432D-B4A0-E98215442267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593038$A308C30A-8F22-4191-AEB6-0FAF6BE3BF38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"029da4a589eae90fb883e5110fdb50550694f2cf","datavalue":{"value":"W1903998333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593038$596F16AE-4817-4779-91BF-CDF1A0275726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On definite program answers and least Herbrand models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_definite_program_answers_and_least_Herbrand_models"}}}}}