{"entities":{"Q3950550":{"pageid":5980455,"ns":120,"title":"Item:Q3950550","lastrevid":55083325,"modified":"2026-02-03T12:33:56Z","type":"item","id":"Q3950550","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3769610"}},"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":"Q3950550$CD1D1AAB-B9E1-4107-B836-1E7AA2125317","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fea13fcb9dea86c675c35e179a85e26ecb7ab421","datavalue":{"value":"0489.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3950550$FAB4D5ED-2C09-4973-BCB7-81A274131F4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"414e4294b124ba3d2301ca7cc8587f72b6b3a396","datavalue":{"value":{"entity-type":"item","numeric-id":3950549,"id":"Q3950549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3950550$865FF293-E7A8-4583-A832-8A9F8CB3D5A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3950550$019C79A2-BF99-400A-8E00-9AF1E4FC2E0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"950adbea2997dcc1738f62c1e58005927214815b","datavalue":{"value":"https://eudml.org/doc/27614","type":"string"},"datatype":"url"},"type":"statement","id":"Q3950550$E9C3A871-E8A5-44C1-ACA8-BA39C7776E39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3950550$E6E31504-A47A-455C-B2A5-165D20FF6BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3950550$16B1D6CE-8364-4E56-9744-86256E165F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3950550$3AD93C39-F566-4F60-A324-A443BCCCFBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3950550$DEB47E5B-E9D2-4EBB-8A33-4AC5A20CEB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3950550$85AEA23B-904A-4570-A45C-47FF17CBE05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cef711aec44658703ee5436fc9e05169063f8757","datavalue":{"value":"3769610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3950550$D59C6056-4EE7-45E8-B3A4-E4C36856C5F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3950550$8A865851-6BB9-400B-B03B-2CB3C53B8470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3950550$78761A68-2D63-4589-AB60-188B52148610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d916c282bad3fc4de21677159239cd8e48664288","datavalue":{"value":"recursive equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3950550$65165B4B-5154-4B02-BA63-7E6C527742B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3950550$A07B17BE-1C05-4F29-945F-9A009ACCC347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0877dfb10b1a8f0c53f7e32e3706ee86f84c3f","datavalue":{"value":"effective translators between Kleene's formalism of equations for defining the partial recursive functions and the Horn clause formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3950550$D145CE9B-1C03-4BFA-884F-68F586F2DEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3950550$07A7DA6C-E83E-4AE2-8795-21BC44D066F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fc5b5cd8b529cdd0c00ed76069ad81948401b9","datavalue":{"value":"Horn clause programs obtained from equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3950550$DC8F4BFA-F845-4AFF-8BF7-E074443B8727","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":"Q3950550$83A4FA17-317A-4EF5-9866-F56CE9F7941A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3950550$BB7B7C84-F227-427E-9EE6-D766E2471BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3950550$75224D8E-960A-435E-8B7C-F5BA3B1897DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4bcd76765332f83ca0d4b037c13ff8aba19c47","datavalue":{"value":{"entity-type":"item","numeric-id":4132514,"id":"Q4132514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3950550$893355C5-6011-4132-874E-492D381E22BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3950550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3950550"}}}}}