{"entities":{"Q1176175":{"pageid":1186924,"ns":120,"title":"Item:Q1176175","lastrevid":69808338,"modified":"2026-04-13T09:32:02Z","type":"item","id":"Q1176175","labels":{"en":{"language":"en","value":"Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13554"}},"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":"Q1176175$84768164-F31D-486B-8195-7A518D8E3C3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12350210b9ee3ecb37a59349934408af3775d3da","datavalue":{"value":{"text":"Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176175$E17E6088-7F84-42E0-B08A-1EFD1B2623E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1a22f5a390c3df54af08055a182d36d22165adb","datavalue":{"value":"0738.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176175$898A84D5-329D-459D-B2E7-780460B06C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"167fcbd0e8405ae1b00ddb32452d4de9f9e686f3","datavalue":{"value":"10.1016/0888-613X(91)90020-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176175$0BAD6AE7-669B-415F-856E-0DC852FA58E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a65d3ee39760dbd7e42dd19ee2c3375fc5b0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":766810,"id":"Q766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$6233EEDC-67F9-4229-8F44-01F8C0A3E995","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$9E459300-44E2-4AC4-9295-8AFF8E0A8275","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176175$FC0981DB-3153-4783-B5B7-578860CD473B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176175$BFBAB423-FEA2-45B4-92D8-587B85170DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176175$71B8B593-E1C2-4591-A777-EE02AF581E27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b421d38348369c66df47d92112d7e3b3a275aa","datavalue":{"value":"13554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176175$A5FDDE5D-E43D-475C-9114-5E5507A23AEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ce99f8ad2c9fcc869c3f1298d79bafbd691181","datavalue":{"value":"perception logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$CF33E253-2671-495C-8528-05519BBAEE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b418f2b52f0335c83ec59930f1b7b92036226d","datavalue":{"value":"decomposition scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$34BD89F5-E0D9-464A-99C5-52F466F2FE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b165df2258dd8bf28387bc30a9861fff701afb","datavalue":{"value":"decomposition tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$8E68F545-C335-4F54-8B2F-DCD173953F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$24FB8DD0-03E6-445A-B435-85B90BBB3572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e92f5320278f74629b7d07e0edb28ccbbda8d0c","datavalue":{"value":"D-clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$599BC5B4-E80D-4945-B662-16A91A0B1742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28556cc87db6d65020982562b393f6fbdb98277","datavalue":{"value":"Herbrand universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$837A78A7-35AA-4AD5-BDBA-63E28A026537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$1B15971B-E853-4030-BDB6-C86C968A6B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e96c5c180aa2b4d4f17f62e154d69280e2616d","datavalue":{"value":"resolution system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176175$3DB62A04-E672-4D6B-B06D-34AED08E5B02","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":"Q1176175$DC3D40E2-EB1A-4B64-B018-C59ECF9C659D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c704ff998b44e195f6134a4f2cef8f379bf3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4180316,"id":"Q4180316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$1C341ACB-87AB-4533-B791-050D701BDD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2d1adfae1b81eef721cda5469b95a291ba93d8","datavalue":{"value":{"entity-type":"item","numeric-id":1082071,"id":"Q1082071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$F38D99C6-05EA-47CA-AF52-6379AFE39EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb92b0a600f700b4857ae41d8573c4400da7b8bc","datavalue":{"value":{"entity-type":"item","numeric-id":3811753,"id":"Q3811753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$11AF374C-786A-424B-9CA2-5E10BFCBCDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$543B9C77-E6EA-46FB-8E69-3F43A30FB018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$57ED30E6-66D1-41AC-9C8A-48F61A3F10E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76cbde9dd05d527c97cc033a7687dee65f2bc83","datavalue":{"value":{"entity-type":"item","numeric-id":3714047,"id":"Q3714047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$3AD286D8-72B9-4225-9210-D2CB97121AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$1E5CE596-D9FF-4D82-B855-0EFA6CA6C6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b40d24cb3b42b025786ffee20b5ac897c3be08","datavalue":{"value":{"entity-type":"item","numeric-id":920988,"id":"Q920988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$95D155B9-C017-4808-8D6E-B2E39D57C5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03789000b0fe78519f7e39eaa7683fc959950770","datavalue":{"value":{"entity-type":"item","numeric-id":5668434,"id":"Q5668434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176175$3C2147D3-DA1F-498F-8561-36C9538C72E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d3a729c41211e85da74b121244a23ec682f493","datavalue":{"value":{"entity-type":"item","numeric-id":3602943,"id":"Q3602943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69dde99c6a9110cab9eb07dc33df645bf4ed59a3","datavalue":{"value":{"amount":"+0.7155841588973999","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":"Q1176175$08D38271-F3E8-4FEC-A885-5FE443EDC4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d91591f62f424eeb3d1e8413c56e6c5593d64d","datavalue":{"value":{"entity-type":"item","numeric-id":4576212,"id":"Q4576212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56540d214f4c9462ed30deba9323f9ef7faec72","datavalue":{"value":{"amount":"+0.7028903365135193","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":"Q1176175$C93DD00D-BF69-45EE-BA83-6C5DC06AFDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4f160ef0198b60c3a5d0c0972425c384737755","datavalue":{"value":{"entity-type":"item","numeric-id":1818006,"id":"Q1818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65f05ab8e7e41198f83da54610703870b2c11dd","datavalue":{"value":{"amount":"+0.6999591588973999","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":"Q1176175$B8E8C297-FA58-44E4-8F38-3250E4038A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538cd36670c325004d6051f821c4795888a257e7","datavalue":{"value":{"entity-type":"item","numeric-id":3976584,"id":"Q3976584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d85b09797bd6517f2803f3c3b05d26cae4f1db","datavalue":{"value":{"amount":"+0.6971480846405029","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":"Q1176175$4D3EB17D-886E-4F22-A791-F78C8F7E0DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9268dd06845e00075de3e80191ac096a16c77d1","datavalue":{"value":{"entity-type":"item","numeric-id":1606116,"id":"Q1606116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6772816cbe9a70aca74fcd6faf4f8f1d230b5cdb","datavalue":{"value":{"amount":"+0.6959518194198608","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":"Q1176175$FCD49823-A618-48BF-992C-5C15157A49F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanical_proof_systems_for_logic:_Reaching_consensus_by_groups_of_intelligent_agents"}}}}}