{"entities":{"Q4860310":{"pageid":6889890,"ns":120,"title":"Item:Q4860310","lastrevid":47383393,"modified":"2026-01-01T14:16:12Z","type":"item","id":"Q4860310","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 833906"}},"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":"Q4860310$0D071828-ECBD-430F-877A-A3D793531D0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eabbdc4e2f7ba8d33b166e59e3ed382369bc1929","datavalue":{"value":"0832.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860310$522052A2-D9C0-4A27-996D-8833EB526195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2cea8705da69bc98e462729c6f4d22209ec0bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1877707,"id":"Q1877707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860310$6605662D-64FB-4F3B-B468-7AB280575F01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556c75146a38246bf29cd3f9c2668d597d55ab94","datavalue":{"value":{"time":"+1996-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4860310$DAF7D3E9-2DE9-4946-9BF4-FA0DFB5462F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860310$1ED86E92-D9D8-497F-950F-2D2A4D8950CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860310$D707FB15-F1F2-47B2-B02F-746D9732E193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860310$0626D6B5-49BF-4793-B5A9-80D976709E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860310$C5EAA608-941D-4CD6-957F-3B4465C4C706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a21004f7f723c34127fdd7cd89651b8a8e07e296","datavalue":{"value":"833906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860310$393569AE-7ECE-4591-B3C9-7625E4DF7DC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc733e21e6045f1a40c846262ef150480aeb297e","datavalue":{"value":"calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860310$88936CF7-46B1-4718-B8A3-49DC2A794836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8cee891dbee676085a881b3ef01b23026ac34f","datavalue":{"value":"independence of axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860310$2A78791A-75CF-49E8-9C71-A329E067D5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584e609164a85fd5752000df8a6763ab3580b89a","datavalue":{"value":"computing time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860310$31180947-C8FB-4EBD-B9A2-D9F00AE8810F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a3c01e418bbfcdada123ab767a995c7b26f19c","datavalue":{"value":"probabilistic behavior of resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860310$DDD15ACB-6FB6-489F-9559-2E58E75E431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860310$2F0FF580-572B-4EFE-ABFC-361EA3EDCE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf18d6640fd4c29ce94e14ed81afafc790aa16a","datavalue":{"value":"AND/OR-graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860310$E7184DF0-8067-47E1-8A80-5AF70E1A10A2","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":"Q4860310$FD0E5F71-42EE-458C-AE19-2D3DCC2893E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158b1b876e8a92ccfc5db050e93d6c3caff85862","datavalue":{"value":{"entity-type":"item","numeric-id":4230359,"id":"Q4230359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf04243054f611f48685c5b2e5a535f303f61882","datavalue":{"value":{"amount":"+0.7808221578598022","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":"Q4860310$A98B9A8A-CB48-4ABD-8C2B-B3CEA3C18390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d734cf47ec5d74c2caf3a77a7778b0c7e3a950a6","datavalue":{"value":{"entity-type":"item","numeric-id":4525287,"id":"Q4525287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a191955fc96e269ab115c567d449f741ca119079","datavalue":{"value":{"amount":"+0.7553043365478516","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":"Q4860310$6633F272-5775-403E-A409-C09646D0A434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4b8c1c4510b04f54d1d8f72daf13bf8b78792a","datavalue":{"value":{"entity-type":"item","numeric-id":4729408,"id":"Q4729408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d428872a8a2323a9f479cf8b459797d9d6fbf2c1","datavalue":{"value":{"amount":"+0.7480995059013367","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":"Q4860310$C57A699C-B6F3-42F8-BAB1-80AA8F3DFA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c1f571ae429f17ff8add415658e247a83b2cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4202940,"id":"Q4202940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746d2e7f9a6fecbbc9b8acbe47a6d3332fb18a40","datavalue":{"value":{"amount":"+0.7446033954620361","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":"Q4860310$B305BACE-567D-47D4-8F68-38926BD2242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56211d9323969a4f24bbc94b4d5e64fe6560f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4282591,"id":"Q4282591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746d2e7f9a6fecbbc9b8acbe47a6d3332fb18a40","datavalue":{"value":{"amount":"+0.7446033954620361","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":"Q4860310$942D5A87-406C-4115-8313-FD0FAACB2DA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4860310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4860310"}}}}}