{"entities":{"Q1354044":{"pageid":1364783,"ns":120,"title":"Item:Q1354044","lastrevid":68534916,"modified":"2026-04-13T00:23:05Z","type":"item","id":"Q1354044","labels":{"en":{"language":"en","value":"Formalizing a logic for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005846"}},"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":"Q1354044$E51E85DB-939F-4DE2-86C6-3EFE754A42CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6962e5b8d0dd82e67f811fcb4f4299dde5e99a7","datavalue":{"value":{"text":"Formalizing a logic for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1354044$99E5D0DB-68EC-4925-9B92-DEC3B1200597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"508d43676682bb2803a2adde836d78fbbf8675db","datavalue":{"value":"0998.68514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354044$108BE673-97FA-4E1B-AA87-9D83B67A40EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e4348858bb184b296a18b0d4e6ca5d4e4f7b613","datavalue":{"value":"10.1007/BF01543479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354044$D0BDF1AD-4B7D-4163-ADE1-D8E6F4F60B88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$AFD7E2D5-FF6A-46D0-9279-C605AACDD713","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$3AAA75AB-5658-4471-BFED-69D6A3B8BE8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1354044$9685E710-3008-4F39-9D4C-68CF2FD99E90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354044$C7A55ED6-A29D-4B3A-B377-AB61BB6B8E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354044$C41A7065-F50F-4567-B0C0-D3D76977FD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354044$6A49258F-BA6E-4CD0-9A3A-EFFA3C02FED2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5282ae8b312e510217757dcc024e497ef909869a","datavalue":{"value":"1005846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354044$23A35805-D1CE-43B2-A32C-319752FEF227","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":"Q1354044$81AEA8CE-211C-4F2B-B142-FA25AAECE68F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$21163C85-1DF9-40A1-A9DE-C8144CE80865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$B854EBDD-35C0-4FF1-B678-4769CC51B139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$57537151-3303-4ACF-A320-739F19315E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$4CC6C617-5F9E-41D9-A549-5F97FD373B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d673c9e3500afdb21e15fbaa90c70875e50741","datavalue":{"value":{"entity-type":"item","numeric-id":3478001,"id":"Q3478001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$88A9523F-E2D2-40FB-93C5-BC7BD9AD71CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$68AEAD77-6393-4F8A-974D-450F00588709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$01E0CA46-A15D-460F-8465-A8A9D97FF121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16220e9810c1bed07c3d6d93354d56350ef530d8","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$5159AA60-3821-43FD-982D-87E06A5D11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0dd275fd0b3a780e83996f243c9c5000e4dac","datavalue":{"value":{"entity-type":"item","numeric-id":3740275,"id":"Q3740275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$9FE05C9D-CBEA-41A8-AB00-DBA0907A7760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$0F15541A-92EC-46DD-8E54-E1B17FA6641A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$22F69D82-338B-4376-90CA-8914F2AB8B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354044$962977D9-4248-4F09-9D09-1150CB71E839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78a659e589ddd09f03982a84a314c546c990deab","datavalue":{"value":"https://doi.org/10.1007/bf01543479","type":"string"},"datatype":"url"},"type":"statement","id":"Q1354044$BAF9550F-0926-4A92-82FC-B23E9E37CD25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2edae53bbf1b6d62f3551acf10fe491aaea59db","datavalue":{"value":"W2000740920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354044$EB66ACEF-617D-439D-8D64-28718ACF34C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing a logic for logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_a_logic_for_logic_programming"}}}}}