{"entities":{"Q734219":{"pageid":736068,"ns":120,"title":"Item:Q734219","lastrevid":63970233,"modified":"2026-04-11T16:46:42Z","type":"item","id":"Q734219","labels":{"en":{"language":"en","value":"Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618127"}},"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":"Q734219$1F09F576-C096-442C-882A-4307654EE24C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7470ccebfdeda32f26dc36ca53ae91857c5f7c2d","datavalue":{"value":{"text":"Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q734219$738E47D5-C264-4305-99B8-6098EBD0DFB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ce609fcf8d30d59b67c7641aaf3e357c7d42449","datavalue":{"value":"1173.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734219$3CF9A305-8EA1-4212-AB02-B44FDA4EFBD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4f811b9e6b84eb9f8534c077b30f3a2ecdadd6d","datavalue":{"value":"10.1007/978-3-642-02716-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734219$9E79EAB9-399D-4245-A7C5-1093B7B71A72","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":"Q734219$E238D7C1-4267-4D45-91B1-9A4C334E109B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q734219$3BF6AB52-9B98-4315-8721-922492FDC874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734219$BF0F68E4-4F9D-44A8-8829-E7786E54C3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734219$0D1C5197-8216-4085-8B8C-B4BAE8CC7A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734219$1E483941-8B8D-4C82-9CB6-AE699A5EE079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aedd9e75ac775570eea601d92da92f4b062ce89d","datavalue":{"value":"5618127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734219$8199D384-BB5F-4EB0-B396-E6A9137F6429","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":"Q734219$369F52C1-DD92-4B36-9F2B-44402A676151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0087b64f6768894d348a5ca035816c5198de8ac9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02716-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q734219$5D014311-8D3C-4192-9BCB-27C5A14A9319","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b878946104da69b4181a74cc91b561874884100e","datavalue":{"value":"W1649776787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734219$DA9E0423-DCDD-4368-AA8D-04D98C84B3BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1212c3a06f21108ab723d780db285213e484ef","datavalue":{"value":{"entity-type":"item","numeric-id":1613676,"id":"Q1613676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1347534fab3da5249710b40dcfe151bf893856","datavalue":{"value":{"amount":"+0.9141091704368592","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":"Q734219$9C43400F-57BE-4A2A-840C-78B218E9A990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db60ce46f2a44a10ad8b5365045446d254a922","datavalue":{"value":{"entity-type":"item","numeric-id":2493591,"id":"Q2493591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa03d079b3eec1b7c48b894c9d67593d0aacf06","datavalue":{"value":{"amount":"+0.906060516834259","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":"Q734219$4A49419C-C620-4053-B10E-6C93D6DCFA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90950f5fa0c51744d9bb5dda2d4681042519e221","datavalue":{"value":{"entity-type":"item","numeric-id":2455902,"id":"Q2455902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3baa7a95ae30f80b78123a458390cf3e09c7de","datavalue":{"value":{"amount":"+0.9038902521133424","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":"Q734219$AA337F77-BE3E-4464-BEB1-AEFDF14722CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94dceb33d32a6ce1739308a1eea07ebd9cdecb06","datavalue":{"value":{"entity-type":"item","numeric-id":822930,"id":"Q822930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3d28367f44333d1477418f90303c88c8c711b9","datavalue":{"value":{"amount":"+0.8772497773170471","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":"Q734219$03B02F68-A3AB-4801-92BD-7CB20AB69A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17484af13b2a74c32f0521b9ab913e40f8c0b1e4","datavalue":{"value":{"amount":"+0.7380367517471313","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":"Q734219$10ED0038-AC88-4C72-AA58-5076915306FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_with_analytic_tableaux_and_related_methods._18th_international_conference,_TABLEAUX_2009,_Oslo,_Norway,_July_6--10,_2009._Proceedings"}}}}}