{"entities":{"Q368052":{"pageid":369819,"ns":120,"title":"Item:Q368052","lastrevid":61351011,"modified":"2026-04-10T22:48:29Z","type":"item","id":"Q368052","labels":{"en":{"language":"en","value":"Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16--19, 2013. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208821"}},"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":"Q368052$190D92B7-C630-4126-B6A8-44E6CA18C8C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62f466d54f07ad78a96d89d0128acfb8221c46fe","datavalue":{"value":{"text":"Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16--19, 2013. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q368052$5B2739B3-EC6A-4580-94D3-D2D8DFAC364B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"332fd3dccb8269e1ea7ca8c828ad776b6f8f31d3","datavalue":{"value":"1272.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368052$E5701854-AA54-45D0-B0AD-01B86F2F4DEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c028d9b93b422c46808c62a1b46f61ffc2ef99f","datavalue":{"value":"10.1007/978-3-642-40537-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368052$C86557AA-B2A8-4AE3-9BE7-7BD0B04FEEDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368052$901FFB76-F4F2-46BE-85B9-262F0963DE0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q368052$78C997B4-D9C0-4ECC-AE5C-A59032A1D653","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368052$9B6A57E8-939C-4A4F-9E77-0BD6ACEE680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368052$DA0285A2-5576-434F-A8CC-344E9E8992AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368052$F3377575-472D-4464-8250-709854EE439D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0238fb05d97da7b0c138c06f6e62f579f7d0a33b","datavalue":{"value":"6208821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368052$2C3DDF3B-0503-4017-B57F-E865CA4F4FB5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368052$3F51E4DE-ED6E-4F07-A17E-77F4D4FC79C5","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":"Q368052$6380DD1D-AC08-40E4-89DD-41809ADEB9E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fabf70c9ca65e2ce5870822ecd81aed43c526c94","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q368052$31DD0E21-C3DC-47F7-B8F4-046DACE50BEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"760f53b80cdabf56afe67732b27e4b52fc843b35","datavalue":{"value":"W2481330961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368052$29BA4E45-2CEF-4FB2-A00F-166D2FE416F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16--19, 2013. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_with_analytic_tableaux_and_related_methods._22nd_international_conference,_TABLEAUX_2013,_Nancy,_France,_September_16--19,_2013._Proceedings"}}}}}