{"entities":{"Q5236445":{"pageid":7266013,"ns":120,"title":"Item:Q5236445","lastrevid":41225123,"modified":"2025-04-21T10:33:30Z","type":"item","id":"Q5236445","labels":{"en":{"language":"en","value":"Informational logic for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114581"}},"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":"Q5236445$9466C202-A9B7-4855-AB39-C1979C288301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3289fb8f95edc8dbbe86f6d4b7dbedfc6d2a409b","datavalue":{"value":{"text":"Informational logic for automated reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236445$4AE1B60A-D424-462F-AA9C-418D4F1946A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"633d409552be4397cca6bbc6a40c1804f0177e7e","datavalue":{"value":"1427.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236445$8012EE6D-8748-45AA-A566-CBE5FBE34B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecd44c9d1e7816ad8df8eba63dc9be4e401d503c","datavalue":{"value":"10.1007/3-540-61630-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236445$1F7EF685-96B6-4C40-A8DE-AEC1644A81CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"804cd1e90c889fdfadf8e5f194ad2ba8abfafccf","datavalue":{"value":{"entity-type":"item","numeric-id":1775865,"id":"Q1775865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$69115554-4495-4753-89E9-9C379A5EC031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef13ff3bc8f9deab469e35f13dbb7fff50b2616","datavalue":{"value":{"entity-type":"item","numeric-id":420831,"id":"Q420831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$0DDBAF56-6228-4094-B5B8-7B874653346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfd87dfadff37066130a176f75d7a9ec7ef3495","datavalue":{"value":{"entity-type":"item","numeric-id":1382160,"id":"Q1382160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$28127767-3E5D-4ACD-9118-66857503D5E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$FD53119F-227D-4C37-B325-5470E9772A8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236445$0DDA184C-FD6D-4348-B5AA-45D9AB585B6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236445$438E7282-D819-4CA9-81F1-A40C9D0A3A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236445$C181F826-A38F-4240-8A0A-600BA7BDDA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236445$6EAD130E-4201-446C-A961-DBA7AFD26093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2deb4fcdc87b9f0841cfd9b61fbd534883c0b55","datavalue":{"value":"7114581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236445$19968E8F-4B4A-4F50-A9A8-386FB50A78CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236445$5A4E62C8-E227-41B9-8DC8-3086105FCEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad978e51657e36c6fdd48bf5090a300cc3f5d7a","datavalue":{"value":"induction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236445$A52B54CF-0CD0-498C-B220-4000F8E9D0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b52819299921571f29fc3f19420d17207f42f3","datavalue":{"value":"possibilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236445$892001A5-56B2-4CF0-B705-6ACE5C24364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236445$95F4574A-8115-483F-91A9-5443D0A2DB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1cf77edd798e720afe796ed0bbebf7f18a1a507","datavalue":{"value":"informational context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236445$1E83F716-302C-40B6-A72D-2EBDF5C9C678","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":"Q5236445$F71DC3A2-45D4-4A3F-9270-ADDAE86CC09B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f02086c2c178bf5f8666eadf90b755c1f30b432","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236445$468585BA-0C34-4AAD-8AE4-CBBDBC74615A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb6ee63244e584b4f49362c31d1e81daf2b2cece","datavalue":{"value":"W1608609041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236445$77E2A6F0-3350-415A-A405-1BDB4965A5BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fbadb486268c409587b62af0d1cffcf61437d4","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$558D5341-DDD2-4E04-A9BA-40638DB24E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$93054243-652D-483E-9425-9ED30C77A0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f172feba8021511e3859b1f7e319e900c965c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":3989935,"id":"Q3989935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$09B4D23C-B240-4C41-A79D-A2503257E126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8668c8ee531fab2b6f228fe4e6d40243883eff","datavalue":{"value":{"entity-type":"item","numeric-id":4896526,"id":"Q4896526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$1B57766E-C6C7-466A-B39D-FC80AF1BAB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f024f8820c524c134f0fa0b7424f0c84ae19c3d4","datavalue":{"value":{"entity-type":"item","numeric-id":5595624,"id":"Q5595624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$26B4B53B-C9BC-49D9-B14B-556AD49A5AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad1fa14448dd44c44c156cf25c3963628a9de66","datavalue":{"value":{"entity-type":"item","numeric-id":4295253,"id":"Q4295253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$1018C909-15ED-4970-A380-A28A4DA39B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$37ADFA09-BD47-4AE2-B610-F66B0F2DAF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab375a2d6ba1abb52174cd2c32c1dd3fbdce592","datavalue":{"value":{"entity-type":"item","numeric-id":3260837,"id":"Q3260837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$CCFC88B5-825D-443B-A2CB-472955DD665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$B40D7D03-825A-444D-86B6-5AF29D2AAE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$7E381A66-6F52-4717-A8E0-446AE4705558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fba1797993678b2bd81fab8f2e31e8575d37b7","datavalue":{"value":{"entity-type":"item","numeric-id":4143285,"id":"Q4143285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$EC960C6C-BB5C-4B20-AA32-49D4E698ACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236445$EDD36504-9BFA-40C5-B573-D61E46747938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d399c2a82c00110e706073bdb362303eae99917","datavalue":{"value":{"entity-type":"item","numeric-id":1382161,"id":"Q1382161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efdad99ffb093a2273c36eaa74b84510d20a0a0","datavalue":{"value":{"amount":"+0.98839355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$2D336651-E62F-49DB-B977-D68055671CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317602f88d918975d61bc88ae967bfdb6d41945f","datavalue":{"value":{"entity-type":"item","numeric-id":4796537,"id":"Q4796537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bdfc98f930717295f76672fe8c493dd9e325d3","datavalue":{"value":{"amount":"+0.91456985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$4382C2A9-F0D2-4DAF-94B4-640AAE4A571F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba29f9903ef844680bdba51cf34bf6327f376f73","datavalue":{"value":{"entity-type":"item","numeric-id":3070800,"id":"Q3070800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f3edfe99d49ef883fadba4024d60c5ba1ac5c0","datavalue":{"value":{"amount":"+0.91071033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$3E46116E-EAEE-4BED-9922-BBD005122E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1c87c83401de035d6bbf461b2243747049c715","datavalue":{"value":{"entity-type":"item","numeric-id":4249035,"id":"Q4249035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59179f4396a3b9a4fab767918bcc1e24e2841c95","datavalue":{"value":{"amount":"+0.9064734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$AB7EC2FD-146A-4700-897F-28A0D24697D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82dd2205bc5a562d42d0417200caba64f46f3ba","datavalue":{"value":{"entity-type":"item","numeric-id":4297221,"id":"Q4297221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3632f033f201d3c8904c732f824396aa5c275091","datavalue":{"value":{"amount":"+0.89220655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$B4963D59-6389-4E28-9B76-E690B405D4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fa723cfbf711b3765e2dc1caa0e2f527e4a58d","datavalue":{"value":{"entity-type":"item","numeric-id":4018075,"id":"Q4018075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e212587a502a2f14d627007aaa040a1abdc3b9d","datavalue":{"value":{"amount":"+0.8920197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$5A36E7B1-A80F-40A9-A26B-0588502CEC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d32f21b9cce4cd413e22989f005815de7964f8","datavalue":{"value":{"entity-type":"item","numeric-id":1924820,"id":"Q1924820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec3887c21b3d145954dafb28540d6573ec85a51","datavalue":{"value":{"amount":"+0.891813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$77D93729-543F-4C2F-B3A4-4B4A4ADC9B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e651ed3fafa643c2e5063555c8d52c1f5e0fe74","datavalue":{"value":{"entity-type":"item","numeric-id":3571949,"id":"Q3571949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c63f0bfa50124df7db107d864da4a3a4669480","datavalue":{"value":{"amount":"+0.88901746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5236445$6B4F533A-5DFD-4C64-A3FC-B2D7AAA3477A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236445"}}}}}