{"entities":{"Q2104525":{"pageid":2115268,"ns":120,"title":"Item:Q2104525","lastrevid":56991660,"modified":"2026-03-25T13:39:41Z","type":"item","id":"Q2104525","labels":{"en":{"language":"en","value":"\\textsf{Go\u00e9land}: a concurrent tableau-based theorem prover (system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628198"}},"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":"Q2104525$4C5D30E3-1A92-4CEB-A9DB-17A964BF7E0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4962615bdef4f1d23d883a502eb4f7e77d414d8b","datavalue":{"value":{"text":"\\textsf{Go\u00e9land}: a concurrent tableau-based theorem prover (system description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104525$BBE2DDC5-A67B-497D-A0BA-C385798D9919","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5b887c190f3590b3d2fb9159372bc29804e0e24","datavalue":{"value":"10.1007/978-3-031-10769-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104525$F749BEA1-CBED-4FAC-B66F-4AB23B573A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cb8e27c4088401d5456a3fb30c2a0b71a6c3462","datavalue":{"value":{"entity-type":"item","numeric-id":2104522,"id":"Q2104522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$59D9BBFA-E0C2-4CFD-9028-A8404619E44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db1148b5652cd52fb1b28060876ec4a59105815e","datavalue":{"value":{"entity-type":"item","numeric-id":2104523,"id":"Q2104523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$FD3F06B1-569F-4F03-9C8E-28C608995E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$29E71029-FB7D-43C0-B272-CB5C6701E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271a0e8db5ca773d7b7fe045738dca9e2e181b42","datavalue":{"value":{"entity-type":"item","numeric-id":1799097,"id":"Q1799097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$77E54277-BDA3-4CE3-81BD-5FCDD1DDC332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8a6c11cee1b6b9d7de98c21741bfd6a04de7bfa","datavalue":{"value":{"entity-type":"item","numeric-id":656065,"id":"Q656065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$69A32420-C6F5-4DE8-B4FE-27AB022B85D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104525$A70BA2CE-4CE5-4D62-BA2E-AFDB495C7A32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104525$66BAEDAB-59AB-45B4-9073-AEDECF74F6B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"565909a1820916a19a51df78297c3dda4105d093","datavalue":{"value":"7628198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104525$93B18169-028C-48DB-94F2-4BB785B5767F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104525$87AFF963-889E-408D-9DAB-3168F07574D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104525$10A55076-2151-4B0A-A5E8-0504551AF41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104525$E2B68F19-ADB3-4B40-8D95-F95DAD05CED0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$CC86F200-F012-46DA-89CA-3865A9868EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$2D3134FF-6682-48A2-98FD-ADB1CF6F7C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba6550e13a376face49ca2fd7481a4fa118fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21958,"id":"Q21958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$BAA705D1-0EEA-4942-8D8F-4A14FE946F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d692673f617481b2d4b5ce1d6ba76dfe8c4c054","datavalue":{"value":{"entity-type":"item","numeric-id":25223,"id":"Q25223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$D664643E-0FDF-490E-8099-5BAA98AEE514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$07F98B70-9A22-4AF0-9D7B-209D40D04506","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":"Q2104525$D8468E65-77ED-4A1A-8E2A-3E43344344E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c50abff434caba41086a755b33fb673b90504d","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104525$F9814BE2-842E-4A78-A111-84215FFA0E8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93567472f4ff0331272a9ca25d33bbc0b63b0872","datavalue":{"value":"W4289104062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104525$68E3C059-B6ED-41D6-BE40-8A206A8C1931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ea882d37bc8b25208b41167eaea5742ca9b7a6","datavalue":{"value":{"entity-type":"item","numeric-id":4797443,"id":"Q4797443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$BDD7FC5E-0BCC-4663-A07B-4726D1EBC84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b069f96fbc561b4a0b296c6a7fbad74f0b8e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3290715,"id":"Q3290715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$6082D771-800A-4975-A02B-94156BC0FDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba795f42c409260a07390f821dadc09ea0ef4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1601867,"id":"Q1601867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$B367799A-009B-461F-AD10-3575EDC83799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218cd55c963b73ad211a84380f3036cc724a2e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4644194,"id":"Q4644194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$68B3DCD5-19EF-408F-8275-58E5401F5FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea55e8090675bfebf34e7fbee4bcbf68f46112c","datavalue":{"value":{"entity-type":"item","numeric-id":2209546,"id":"Q2209546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$226088A0-1B9E-4B35-A39C-D6FEDBDFD119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a93370dc477239bd2034dd100869034108baab","datavalue":{"value":{"entity-type":"item","numeric-id":5881455,"id":"Q5881455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$70AD56A4-FDD3-42A3-909A-D7988B190FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$3BB2AEE4-9251-4DC8-A791-4014BC61F36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$F58DF6D8-D751-4AAD-817F-EAC9DDA4B255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae171cb009776ff965b66a7b067c7304d6508e82","datavalue":{"value":{"entity-type":"item","numeric-id":3227561,"id":"Q3227561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$B4BDF3F6-C16C-4D7F-8B77-AA7258244EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$87A582EE-C44B-4E47-8496-63B9B148A930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc8108f2081291dc2c8a5cfd228eee449a3df8e","datavalue":{"value":{"entity-type":"item","numeric-id":4247078,"id":"Q4247078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$190CEEFF-72D7-40BC-8B66-FCAD2EEAA209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$89AEA0C7-7D6A-401B-BDC0-4CEDBFB70FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f51ee284f00df4ab26e4aab4c52fbc2a272b198","datavalue":{"value":{"entity-type":"item","numeric-id":2753598,"id":"Q2753598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$DB17B8B0-E7A8-4873-8E2B-3862DA53F67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8720918c186edfa89953608e12b233c0a80382","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$DAF3F716-2BDC-440D-AB4C-A7B6739C6B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$135FB4B8-6B5D-4661-9853-9A294D0FFC04","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104525$610A0815-0D6F-4C94-A470-61AFABD1FF54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104525"}}}}}