{"entities":{"Q2782495":{"pageid":2793233,"ns":120,"title":"Item:Q2782495","lastrevid":47764936,"modified":"2026-01-02T15:28:14Z","type":"item","id":"Q2782495","labels":{"en":{"language":"en","value":"Iterative dialogues and automated proof."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1724422"}},"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":"Q2782495$97133B64-1FEF-4250-BD5E-C58D9AACB2A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a09c9484ea540ccf9eaa335eefd256e2a1c6759b","datavalue":{"value":"1051.68558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782495$232829AA-B482-4306-9676-0302713FA5E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782495$90B76E75-88F5-4D3F-904B-C99AE38A2FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9fad689f750c5db21b8405cfccf604b5cd8abe","datavalue":{"value":{"entity-type":"item","numeric-id":1309244,"id":"Q1309244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782495$7BE2A0FB-E775-4613-8CE1-054CBB838E67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2782495$8DE8CA86-AD6D-4EBD-B6E5-7D77F483E69C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782495$5DD638AA-DB63-425C-A081-B296B9668F40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"844695484ac2558869487b78f44047e10f33cbb6","datavalue":{"value":"1724422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782495$E247BA4B-BAF9-4768-8B3D-589ECACE8788","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452d183d53140ea7ff87eb5ee1235d58b01d59ff","datavalue":{"value":"mechanized proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782495$BB16C889-F8A1-4670-84C3-3757F39B5285","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":"Q2782495$D7343623-A535-494C-8255-53441E7CFB5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1412cf01a5ae4f8b6bde477b038370bd86effde9","datavalue":{"value":{"text":"Iterative dialogues and automated proof.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2782495$FEEA6872-6E96-4949-BA55-E4224900BFDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db65f4a30f1bfae13dbc2dde40a4f8521358003","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f693ec6e3d1c5f824f4adb427711ece856f3bef5","datavalue":{"value":{"amount":"+0.7210111618041992","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":"Q2782495$8BD8B26B-6595-4E50-B763-8226545B0B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31ac5b611e1dc394bc6dbb9071cf4d1998a3862","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb07f480067af1ab1ff62d4f7d728cec01a41ec4","datavalue":{"value":{"amount":"+0.7056653499603271","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":"Q2782495$04194BB5-5797-4203-AC35-2B178DEC1138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00dc74d56da40a5677c93f6b60a0c558418dc60f","datavalue":{"value":{"entity-type":"item","numeric-id":5234725,"id":"Q5234725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3743df4e17f5824eebdc137aa4d70fc61716aae1","datavalue":{"value":{"amount":"+0.6991388201713562","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":"Q2782495$FF009501-8E07-4415-B9CB-7FD9B50B44CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b028676b8970ef098bbbc9e5238ddb908899ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":1353946,"id":"Q1353946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc3fc0fb8fc7ae1ef1ce38ce3f96d7e5e80e5bb","datavalue":{"value":{"amount":"+0.6889312267303467","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":"Q2782495$22293605-646E-4D94-86CF-45E7FD1C965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d3c74f1452c00e4d697b29b4b03afa7c01b35","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7280f3c615621933e6789c196a6e8a72d82527e5","datavalue":{"value":{"amount":"+0.6886906623840332","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":"Q2782495$925AE1E3-C36D-4AE0-BB26-94D44D022C1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2782495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2782495"}}}}}