{"entities":{"Q393078":{"pageid":394845,"ns":120,"title":"Item:Q393078","lastrevid":61501305,"modified":"2026-04-10T23:46:41Z","type":"item","id":"Q393078","labels":{"en":{"language":"en","value":"Abstract Hilbertian deductive systems, infon logic, and Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6246017"}},"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":"Q393078$02708FC7-1E30-4028-B951-256EE87688DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0495056bdb23af71980a3a84d4627d5a59e16f7f","datavalue":{"value":{"text":"Abstract Hilbertian deductive systems, infon logic, and Datalog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393078$EC16DF0C-DB4D-48A4-8A59-F0C876553FE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c3f2b9286e5f6210a4a0728bb7f9172a5ef8e50","datavalue":{"value":"1358.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$B8C2477A-DB55-4831-A01F-1726775E556F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$5FE590F3-0A64-4377-ADBD-EBBF34E21388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$42610175-EA7C-47A2-B4EB-E44E87053E93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$BC6D7B88-C214-482C-AC6D-0A657D69243A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9094b62160fbbb09066d67269c0f1a577ec33a61","datavalue":{"value":{"time":"+2014-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q393078$AA4DAB8B-53BE-444E-B81C-191CF8C8B73B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$EE1CD29D-D914-4D06-9267-39E509EDBA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$C4BF2182-9107-4072-91E3-3AF736570F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$B0355371-7C00-4C62-A0B3-208E8D4EEAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$D939D746-B8C9-4E58-A8C0-5BB9AF1F2C85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b09028f2aa6a515f1cdcba2e67c518918360c8","datavalue":{"value":"6246017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$65C83EF9-DFF2-4D29-80F8-AEF5723F0211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ac01b3441d4a4c0fb6149cfaf1be35b45e3e82","datavalue":{"value":"Hilbertian deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q393078$D8C1631B-090A-4F8A-A7B4-6D6B8A3723B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672714df649f59907842e2a776f396e85559659c","datavalue":{"value":"infon logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q393078$70BE57BD-E397-4BC1-BDC6-31EE758C232B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q393078$BE4EEDB7-1193-4DE7-9289-49ED7630BFFB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c652c0e0b343ca8ddf78ca267401489e0159b6","datavalue":{"value":{"entity-type":"item","numeric-id":31916,"id":"Q31916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$9D539C58-C8E0-4ADF-8537-BDF1F1A1168A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$D890E26D-6E60-43B9-8A8C-E17B48DA2DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$F0DD8A84-722B-4E6D-A23D-0B03331FF9B6","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":"Q393078$4FC80BD7-2635-4084-AAB5-C1FF594DC163","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3849730db63a97adefeab9e3e7a46aab7f95b27","datavalue":{"value":"https://doi.org/10.1016/j.ic.2013.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q393078$8282F0D0-0822-45A1-AB19-7A921E529206","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1acd22da3fb2ec57fefd42ef72e8f6c4267fc4a2","datavalue":{"value":"W2123010441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$76E203EE-2881-4F47-B5B9-9794CDF9DC0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9c7fc7294aabf6a2cdb5f5d89305d57f94aa25","datavalue":{"value":{"entity-type":"item","numeric-id":2900510,"id":"Q2900510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$621288BB-F46F-4010-8A56-4636936F4886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$E1EA52B9-16E1-4E1F-A472-AFFBD6BC9119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f736763f9b8cfd359627a27ea17992bb6a6a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$42B18484-65CA-4C54-95CD-A7C41899D8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$F917BF5E-8A1B-429F-ACBA-E0160264E11F","rank":"normal"},{"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":"Q393078$3C857889-5979-4574-872E-2012D424015E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$08EB9480-D2E1-4777-855B-244F3C5FD509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393078$20C8E719-CE3D-43A7-9B3E-7CE44724E752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ee301e5c7d622ad9c993bc52fd222e8d1713981","datavalue":{"value":"10.1016/J.IC.2013.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393078$FB5D1D55-F5C8-4F3E-ACF6-CE962554EE1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1efbf05d7ac6793df10579fba6d3c8aa45f00b","datavalue":{"value":{"entity-type":"item","numeric-id":4904141,"id":"Q4904141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e119798576441e52939a60b13756deaf2876c5cb","datavalue":{"value":{"amount":"+0.983969509601593","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":"Q393078$07791AE4-63EB-463F-8C45-DAF803472F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d5faf6c997b2926301bf09e30fcfbf356cfcc4","datavalue":{"value":{"entity-type":"item","numeric-id":2900510,"id":"Q2900510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b2a41a143e31af0f2f697e2fadbd3a255c399a","datavalue":{"value":{"amount":"+0.8233126997947693","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":"Q393078$233A0522-BCF1-4440-B604-97973A2BD1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf1ba03f81315753c0a57a46338239db63a2ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32fe2ed56946bb4b3228ae32c9bf7f920003274","datavalue":{"value":{"amount":"+0.7921839356422424","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":"Q393078$34551780-39DD-416D-8019-9AC2FC469D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3b7ebc77abccc11be97d2ee91332d0b8be5a28","datavalue":{"value":{"entity-type":"item","numeric-id":2963910,"id":"Q2963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7f1641339abf46b0ac6ab02fe09cfc7d414448","datavalue":{"value":{"amount":"+0.784208357334137","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":"Q393078$C30D0286-6D35-4592-A20A-8ECB6A4EA3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd01a986505ffe6be25e5090d723aa0d766f15c7","datavalue":{"value":{"entity-type":"item","numeric-id":3397633,"id":"Q3397633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c906f35c84a7321b974bd163a3cfef61202dd83","datavalue":{"value":{"amount":"+0.7434238791465759","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":"Q393078$8806A8C3-2FAD-4886-AC81-2AB596AB1F79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract Hilbertian deductive systems, infon logic, and Datalog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_Hilbertian_deductive_systems,_infon_logic,_and_Datalog"}}}}}